choco.search
Class IntBranchingTrace

java.lang.Object
  choco.search.IntBranchingTrace

public class IntBranchingTrace
extends java.lang.Object

A class for keeping a trace of the search algorithm, through an IntBranching (storing the current branching object, as well as the label of the current branch)

Constructor Summary

IntBranchingTrace()

IntBranchingTrace(IntBranching ibranching)

Method Summary

void	clear()
int	getBranchIndex()
IntBranching	getBranching()
java.lang.Object	getBranchingObject()
void	setBranchIndex(int bIdx)
void	setBranching(IntBranching ibranching)
void	setBranchingObject(java.lang.Object branchingObj)

Methods inherited from class java.lang.Object

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

Constructor Detail

IntBranchingTrace

public IntBranchingTrace()

IntBranchingTrace

public IntBranchingTrace(IntBranching ibranching)

Method Detail

setBranching

public void setBranching(IntBranching ibranching)

setBranchingObject

public void setBranchingObject(java.lang.Object branchingObj)

setBranchIndex

public void setBranchIndex(int bIdx)

getBranching

public IntBranching getBranching()

getBranchingObject

public java.lang.Object getBranchingObject()

getBranchIndex

public int getBranchIndex()

clear

public void clear()