Class KDisjunctionArray

java.lang.Object
com.artelys.kalis.disjunctionlist
com.artelys.kalis.KDisjunctionArray

public class KDisjunctionArray extends com.artelys.kalis.disjunctionlist
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);


Since:
2016.1
See Also:
KDisjunction KBranchingScheme KSettleDisjunction
  • Field Summary

    Fields inherited from class com.artelys.kalis.disjunctionlist

    swigCMemOwn
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
     
    constructor : creates an empty KDisjunctionArray
    protected
    KDisjunctionArray​(long cPtr, boolean cMemoryOwn)
     
  • Method Summary

    Modifier and Type
    Method
    Description
    void
     
    protected void
     
    protected static long
     

    Methods inherited from class com.artelys.kalis.disjunctionlist

    add, add, check, emptyAndDelete, getCopyPtr, getCPtr, getElt, getNumberOfElements, initializeAsEmptyList, initializeListWithVa_list, insert, insert, isEmpty, makeList, print, removeLastElement, replace, replace

    Methods inherited from class java.lang.Object

    clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • KDisjunctionArray

      protected KDisjunctionArray(long cPtr, boolean cMemoryOwn)
    • KDisjunctionArray

      public KDisjunctionArray()
      constructor : creates an empty KDisjunctionArray
  • Method Details

    • getCPtr

      protected static long getCPtr(KDisjunctionArray obj)
    • finalize

      protected void finalize()
      Overrides:
      finalize in class com.artelys.kalis.disjunctionlist
    • delete

      public void delete()
      Overrides:
      delete in class com.artelys.kalis.disjunctionlist