Class KProbeDisjunction

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

public class KProbeDisjunction extends KBranchingScheme
ProbeDisjunction branching scheme

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

    • KProbeDisjunction

      protected KProbeDisjunction(long cPtr, boolean cMemoryOwn)
    • KProbeDisjunction

      public KProbeDisjunction(KDisjunctionSelector disjunctionSelector, int discrepancyLimit)
      Constructor

      Parameters:
      disjunctionSelector - pointer to the disjunction selector heuristic
      discrepancyLimit - number of differences from heuristic allowed
    • KProbeDisjunction

      public KProbeDisjunction(KDisjunctionSelector disjunctionSelector)
      Constructor

      Parameters:
      disjunctionSelector - pointer to the disjunction selector heuristic
    • KProbeDisjunction

      public KProbeDisjunction()
      Constructor


    • KProbeDisjunction

      public KProbeDisjunction(KDisjunctionArray disjunctionArray, KDisjunctionSelector disjunctionSelector, int discrepancyLimit)
      Constructor

      Parameters:
      disjunctionArray - the disjunction array to branch on
    • KProbeDisjunction

      public KProbeDisjunction(KDisjunctionArray disjunctionArray, KDisjunctionSelector disjunctionSelector)
      Constructor

      Parameters:
      disjunctionArray - the disjunction array to branch on
    • KProbeDisjunction

      public KProbeDisjunction(KDisjunctionArray disjunctionArray)
      Constructor

      Parameters:
      disjunctionArray - the disjunction array to branch on
    • KProbeDisjunction

      public KProbeDisjunction(com.artelys.kalis.SWIGTYPE_p_KProbeDisjunction_I probeDisjunction)
      Constructor with KProbeDisjunction_I*
    • KProbeDisjunction

      public KProbeDisjunction(KProbeDisjunction toCopy)
      Copy constructor
  • Method Details