Package com.artelys.kalis

Class 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
        KDisjunctionArray()
      constructor : creates an empty KDisjunctionArray
      protected KDisjunctionArray​(long cPtr, boolean cMemoryOwn)  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void delete()  
      protected void finalize()  
      protected static long getCPtr​(KDisjunctionArray obj)  

      • 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 Detail

      • KDisjunctionArray

        protected KDisjunctionArray​(long cPtr,
                            boolean cMemoryOwn)

      • KDisjunctionArray

        public KDisjunctionArray()
        constructor : creates an empty KDisjunctionArray

    • Method Detail

      • finalize

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

      • delete

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