KDisjunctionArray

class KDisjunctionArray : public ArtelysList<KDisjunction>

This class implements an array of KDisjunction

Example :

KIntVar TASK0(...)
KIntVar TASK1(...)
KIntVar TASK2(...)
KDisjunctionArray disjunctionArray;

disjunctionArray += (TASK0 + 10 < TASK1) || (TASK1 + 4 < TASK0);
disjunctionArray += (TASK1 + 4 < TASK2) || (TASK2 + 7 < TASK1);
disjunctionArray += (TASK2 + 7 < TASK0) || (TASK0 + 10 < TASK2);

 KBranchingSchemeArray myBranchingSchemeArray;
 myBranchingSchemeArray += KSettleDisjunction(disjunctionArray);

See

ArtelysList KDisjunction KBranchingScheme KSettleDisjunction

Since

2016.1

Public Functions

KDisjunctionArray()

constructor : creates an empty KDisjunctionArray