KALIS_DISJ_PRIORITY_ORDER
|
Description
|
Input order disjunction selection heuristic
|
||
|
Type
|
String, read only
|
||
|
Values
|
|
||
|
Notes
|
Passes this constant to the constructor of
settle_disjunction or
probe_settle_disjunction to specify the disjunction selection heuristic.
|
||
|
See also
|