Class KSplitNumDomain

java.lang.Object
com.artelys.kalis.KBranchingScheme
com.artelys.kalis.KSplitNumDomain

public class KSplitNumDomain extends KBranchingScheme
SplitDomain Branching scheme



Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSplitNumDomain(KSmallestDomain(),KMaxToMin());


Since:
2016.1
See Also:
KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitNumDomain
  • Constructor Details

    • KSplitNumDomain

      protected KSplitNumDomain(long cPtr, boolean cMemoryOwn)
    • KSplitNumDomain

      public KSplitNumDomain(boolean lowerPartFirst, int minDomainSize)
      Constructor
      Parameters:
      lowerPartFirst - explore the lower part of the domain first (default value = true)
      minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur
    • KSplitNumDomain

      public KSplitNumDomain(boolean lowerPartFirst)
      Constructor
      Parameters:
      lowerPartFirst - explore the lower part of the domain first (default value = true)
    • KSplitNumDomain

      public KSplitNumDomain()
      Constructor
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, boolean lowerPartFirst, int minDomainSize)
      Constructor
      Parameters:
      varSel - the variable selector
      lowerPartFirst - explore the lower part of the domain first (default value = true)
      minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, boolean lowerPartFirst)
      Constructor
      Parameters:
      varSel - the variable selector
      lowerPartFirst - explore the lower part of the domain first (default value = true)
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel)
      Constructor
      Parameters:
      varSel - the variable selector
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel, boolean lowerPartFirst, int minDomainSize)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      lowerPartFirst - explore the lower part of the domain first (default value = true)
      minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel, boolean lowerPartFirst)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      lowerPartFirst - explore the lower part of the domain first (default value = true)
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel, KNumVarArray intVarArray, boolean lowerPartFirst, int minDomainSize)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      intVarArray - the variable array to branch on
      lowerPartFirst - explore the lower part of the domain first (default value = true)
      minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel, KNumVarArray intVarArray, boolean lowerPartFirst)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      intVarArray - the variable array to branch on
      lowerPartFirst - explore the lower part of the domain first (default value = true)
    • KSplitNumDomain

      public KSplitNumDomain(KNumVariableSelector varSel, KNumValueSelector valSel, KNumVarArray intVarArray)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      intVarArray - the variable array to branch on
    • KSplitNumDomain

      public KSplitNumDomain(com.artelys.kalis.SWIGTYPE_p_KSplitNumDomain_I splitNumDomain)
    • KSplitNumDomain

      public KSplitNumDomain(KSplitNumDomain splitDomainToCopy)
  • Method Details