choco.kernel.solver.search
Interface IntBranchingDecision

All Known Implementing Classes:
IntBranchingTrace

public interface IntBranchingDecision


Method Summary
 int getBranchIndex()
          get the index of the current alternative (branch).
 IntDomainVar getBranchingIntVar()
          get and cast the branching object.
 Object getBranchingObject()
          get the branching object.
 RealVar getBranchingRealVar()
          get and cast the branching object.
 SetVar getBranchingSetVar()
          get and cast the branching object.
 int getBranchingValue()
          get the next value to try, if any (optional).
 void remIntVal()
          apply the integer removal decision, i.e. remove the branching value from the domain of the branching int var.
 void setBranchingValue(int branchingValue)
          set the next value to try.
 void setIntVal()
          apply the integer assignment decision, i.e. assign the branching value to the branching int var.
 void setValInSet()
          apply the set assignment decision, i.e. put the value into the kernel.
 void setValOutSet()
          apply the set removal decision, i.e. remove the value from the enveloppe.
 

Method Detail

getBranchingObject

Object getBranchingObject()
get the branching object. It is often a variable


getBranchingValue

int getBranchingValue()
get the next value to try, if any (optional).


setBranchingValue

void setBranchingValue(int branchingValue)
set the next value to try.


getBranchIndex

int getBranchIndex()
get the index of the current alternative (branch).

Returns:

getBranchingIntVar

IntDomainVar getBranchingIntVar()
get and cast the branching object.


getBranchingSetVar

SetVar getBranchingSetVar()
get and cast the branching object.


getBranchingRealVar

RealVar getBranchingRealVar()
get and cast the branching object.


setIntVal

void setIntVal()
               throws ContradictionException
apply the integer assignment decision, i.e. assign the branching value to the branching int var.

Throws:
ContradictionException

remIntVal

void remIntVal()
               throws ContradictionException
apply the integer removal decision, i.e. remove the branching value from the domain of the branching int var.

Throws:
ContradictionException

setValInSet

void setValInSet()
                 throws ContradictionException
apply the set assignment decision, i.e. put the value into the kernel.

Throws:
ContradictionException

setValOutSet

void setValOutSet()
                  throws ContradictionException
apply the set removal decision, i.e. remove the value from the enveloppe.

Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.