choco.kernel.model.constraints.automaton
Class State
java.lang.Object
choco.kernel.model.constraints.automaton.LightState
choco.kernel.model.constraints.automaton.State
- All Implemented Interfaces:
- IndexedObject
public class State
- extends LightState
State
- Version:
- 0.1 Nov 19, 2005.
- Author:
- Cambazard Hadrien, Richaud Guillaume
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
auto
protected LayeredDFA auto
level
protected int level
idxLevel
protected int idxLevel
transitions
protected DoubleLinkedList transitions
hashPred
protected Hashtable<State,BitSet> hashPred
State
public State(LayeredDFA a,
int level)
State
public State(State origin)
clonePred
public void clonePred(State origin)
setLevel
public void setLevel(int lvl)
getLevel
public int getLevel()
setIdxLevel
public void setIdxLevel(int idxLevel)
getIdxLevel
public int getIdxLevel()
getNext
protected State getNext(int value)
hasNext
protected boolean hasNext(int value)
retraitTransition
protected void retraitTransition(State st,
int value)
removeIfNoPred
protected void removeIfNoPred()
ajoutInTransition
protected void ajoutInTransition(State st,
int value)
resetState
protected void resetState()
remplaceRef
protected void remplaceRef(State st1)
remplaceNext
protected void remplaceNext(State st,
BitSet bs)
removeInTransitions
protected void removeInTransitions()
removeOutTransitions
protected void removeOutTransitions()
addNext
protected boolean addNext(State st,
int value)
removeNext
protected void removeNext(int value)
equalState
protected boolean equalState(State st)
equals
public boolean equals(State st)
hasSuccessor
protected boolean hasSuccessor()
convertState
protected LightState convertState(Hashtable ht)
pretty
public void pretty()
toDotty
public void toDotty(BufferedWriter bw)
throws IOException
- Throws:
IOException
Copyright © 2012. All Rights Reserved.