choco.kernel.model.constraints.automaton
Class LightState

java.lang.Object
  extended by 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.


Nested Class Summary
 class LightState.Arcs
           
 
Field Summary
protected  Hashtable htransitions
           
protected  int idx
           
protected  int layerIdx
           
protected static Logger LOGGER
           
protected  LightState.Arcs[] trPred
           
 
Constructor Summary
LightState()
           
 
Method Summary
 LightState delta(int value)
           
 Enumeration<? extends LightState.Arcs> getEnumerationPred()
           
 Enumeration<? extends Integer> getEnumerationSucc()
           
 int getIdx()
           
 int getLayerIdx()
           
 int getObjectIdx()
           
 boolean hasDelta(int value)
           
 void init(LightState ls)
           
 void setIdx(int idx)
           
 void setLayerIdx(int idx)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER

idx

protected int idx

layerIdx

protected int layerIdx

htransitions

protected Hashtable htransitions

trPred

protected LightState.Arcs[] trPred
Constructor Detail

LightState

public LightState()
Method Detail

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.