fr.inria.oadymppac.solver
Interface State

All Superinterfaces:
ChronoProvider, ConstraintStatusCollection, DepthProvider, Indexable, SolverElement, SolverMainElement, SolverManagable, UpdateCollection, VariableStatusCollection
All Known Implementing Classes:
DefaultState

public interface State
extends SolverMainElement, VariableStatusCollection, ConstraintStatusCollection, UpdateCollection

Author:
raf TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
static java.lang.String EVENT_TYPE
           
 
Method Summary
 SearchNode getCurrentNode()
           
 java.lang.String getMisc()
           
 java.lang.String getName()
           
 void setCurrentNode(SearchNode node)
           
 void setMisc(java.lang.String misc)
           
 void setName(java.lang.String name)
           
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverMainElement
getContext, getFile, getLine, getTime, setContext, setFile, setLine, setTime
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverElement
getEventType, getLabel, getSolverType
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, getKey, reset, setIndex
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 
Methods inherited from interface fr.inria.oadymppac.solver.DepthProvider
getDepth, setDepth
 
Methods inherited from interface fr.inria.oadymppac.solver.ChronoProvider
getChrono, setChrono
 
Methods inherited from interface fr.inria.oadymppac.solver.VariableStatusCollection
addVariable, clearVariables, countVariables, getVariables, removeVariable, setVariables
 
Methods inherited from interface fr.inria.oadymppac.solver.ConstraintStatusCollection
addConstraint, clearConstraints, countConstraints, getConstraints, removeConstraint, setConstraints
 
Methods inherited from interface fr.inria.oadymppac.solver.UpdateCollection
addUpdate, clearUpdates, countUpdates, getUpdates, removeUpdate, setUpdates
 

Field Detail

EVENT_TYPE

public static final java.lang.String EVENT_TYPE
See Also:
Constant Field Values
Method Detail

getCurrentNode

public SearchNode getCurrentNode()

getName

public java.lang.String getName()

getMisc

public java.lang.String getMisc()

setCurrentNode

public void setCurrentNode(SearchNode node)

setName

public void setName(java.lang.String name)

setMisc

public void setMisc(java.lang.String misc)