choco.kernel.model.constraints.automaton
Class LightState
java.lang.Object
choco.kernel.model.constraints.automaton.LightState
- All Implemented Interfaces:
- IndexedObject
- Direct Known Subclasses:
- State
public class LightState
- extends Object
- implements IndexedObject
Minimal data structure permitting to store a node and to enumerate his successors and predecessors.
Predecessors are stored in a class Arcs composed of a previous state and the list of values leading
this node.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LOGGER
protected static final Logger LOGGER
idx
protected int idx
layerIdx
protected int layerIdx
htransitions
protected Hashtable htransitions
trPred
protected LightState.Arcs[] trPred
LightState
public LightState()
setIdx
public void setIdx(int idx)
getIdx
public int getIdx()
setLayerIdx
public void setLayerIdx(int idx)
getLayerIdx
public int getLayerIdx()
getObjectIdx
public int getObjectIdx()
- Specified by:
getObjectIdx
in interface IndexedObject
init
public void init(LightState ls)
getEnumerationPred
public Enumeration<? extends LightState.Arcs> getEnumerationPred()
getEnumerationSucc
public Enumeration<? extends Integer> getEnumerationSucc()
delta
public LightState delta(int value)
hasDelta
public boolean hasDelta(int value)
Copyright © 2012. All Rights Reserved.