Class KDisjunctionPriorityOrder

java.lang.Object
com.artelys.kalis.KDisjunctionSelector
com.artelys.kalis.KDisjunctionPriorityOrder

public class KDisjunctionPriorityOrder extends KDisjunctionSelector
This class implements a disjunction selector that selects first the disjunction ith the highest priority

Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSettleDisjunction(new KDisjunctionPriorityOrder());


Since:
2016.1
See Also:
KDisjunctionSelector