choco.palm.dbt.search
Class TraceState

java.lang.Object
  choco.palm.dbt.search.PalmAbstractSolverTool
      choco.palm.dbt.search.PalmState
          choco.palm.dbt.search.TraceState

public class TraceState
extends PalmState

Created by IntelliJ IDEA. User: grochart Date: 7 janv. 2004 Time: 15:43:05 To change this template use Options | File Templates.

Field Summary

Fields inherited from class choco.palm.dbt.search.PalmState

logger, path

Fields inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

manager

Constructor Summary

TraceState(PalmExplanation expl)

Method Summary

void	addDecision(AbstractConstraint constraint) Adds a new decision constraints in the state.
void	removeDecision(AbstractConstraint constraint) Removes a decision constraint.

Methods inherited from class choco.palm.dbt.search.PalmState

discardCurrentSolution, getPath, reverseDecision

Methods inherited from class choco.palm.dbt.search.PalmAbstractSolverTool

getManager, setManager

Methods inherited from class java.lang.Object

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

Constructor Detail

TraceState

public TraceState(PalmExplanation expl)

Method Detail

addDecision

public void addDecision(AbstractConstraint constraint)

Description copied from class: PalmState

Adds a new decision constraints in the state.

Overrides:

addDecision in class PalmState

Parameters:

constraint - New decision constraint posted.

removeDecision

public void removeDecision(AbstractConstraint constraint)

Description copied from class: PalmState

Removes a decision constraint.

Overrides:

removeDecision in class PalmState

Parameters:

constraint - The involved constraint.