choco.palm.cbj.search
Class JumpAssignVar

java.lang.Object
  choco.branch.AbstractBranching
      choco.search.AbstractIntBranching
          choco.search.AbstractLargeIntBranching
              choco.search.AssignVar
                  choco.palm.cbj.search.JumpAssignVar

All Implemented Interfaces:

Branching, IntBranching

public class JumpAssignVar
extends AssignVar

Nested Class Summary

Nested classes/interfaces inherited from class choco.search.AssignVar

AssignVar.ValIteratorWrapper, AssignVar.ValSelectorWrapper, AssignVar.ValueChooserWrapper

Field Summary

Fields inherited from class choco.search.AssignVar

wrapper

Fields inherited from class choco.branch.AbstractBranching

logger, manager, nextBranching

Constructor Summary

JumpAssignVar(IVarSelector varSel, IValIterator valHeuri)

JumpAssignVar(IVarSelector varSel, IValSelector valHeuri)

Method Summary

void	goDownBranch(java.lang.Object x, int i) performs the action, so that we go down a branch from the current choice point
void	gologDownBranch(java.lang.Object x, int i)
void	gologUpBranch(java.lang.Object x, int i)
void	goUpBranch(java.lang.Object x, int i, Explanation e)

Methods inherited from class choco.search.AssignVar

finishedBranching, getFirstBranch, getNextBranch, goUpBranch, selectBranchingObject

Methods inherited from class choco.search.AbstractLargeIntBranching

branchOn

Methods inherited from class choco.search.AbstractIntBranching

explore

Methods inherited from class choco.branch.AbstractBranching

getNextBranching, setNextBranching, setSolver

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JumpAssignVar

public JumpAssignVar(IVarSelector varSel,
                     IValIterator valHeuri)

JumpAssignVar

public JumpAssignVar(IVarSelector varSel,
                     IValSelector valHeuri)

Method Detail

gologDownBranch

public void gologDownBranch(java.lang.Object x,
                            int i)
                     throws ContradictionException

Throws:

ContradictionException

gologUpBranch

public void gologUpBranch(java.lang.Object x,
                          int i)
                   throws ContradictionException

Throws:

ContradictionException

goDownBranch

public void goDownBranch(java.lang.Object x,
                         int i)
                  throws ContradictionException

Description copied from interface: IntBranching

performs the action, so that we go down a branch from the current choice point

Specified by:

goDownBranch in interface IntBranching

Overrides:

goDownBranch in class AssignVar

Parameters:

x - the object on which the alternative is set

i - the label of the branch that we want to go down

Throws:

ContradictionException

goUpBranch

public void goUpBranch(java.lang.Object x,
                       int i,
                       Explanation e)
                throws ContradictionException

Throws:

ContradictionException