Class KSplitDomain


public class KSplitDomain extends KBranchingScheme
SplitDomain Branching scheme



Example :

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


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

    • KSplitDomain

      protected KSplitDomain(long cPtr, boolean cMemoryOwn)
    • KSplitDomain

      public KSplitDomain(boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)
      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
    • KSplitDomain

      public KSplitDomain(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
    • KSplitDomain

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

      public KSplitDomain()
      Constructor
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)
      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
    • KSplitDomain

      public KSplitDomain(KVariableSelector 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
    • KSplitDomain

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

      public KSplitDomain(KVariableSelector varSel)
      Constructor
      Parameters:
      varSel - the variable selector
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)
      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
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector 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
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector 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)
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)
      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
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray 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
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray 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)
    • KSplitDomain

      public KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray)
      Constructor
      Parameters:
      varSel - the variable selector
      valSel - the value selector
      intVarArray - the variable array to branch on
    • KSplitDomain

      public KSplitDomain(com.artelys.kalis.SWIGTYPE_p_KSplitDomain_I splitDomain)
    • KSplitDomain

      public KSplitDomain(KSplitDomain splitDomainToCopy)
  • Method Details