is_fixed

Purpose

Returns true if the status of the disjunction passed in argument is known.

Synopsis

function is_fixed(disj:cpctr) : boolean

Argument

disj	the disjunction

Return value

true if disjunction is fixed

Example

The following example shows how to see if a cpctr disj is fixed

if is_fixed(disj) then
 write('status of disj is known')
end-if