choco.kernel.model.constraints.automaton
Class State

java.lang.Object
  extended by choco.kernel.model.constraints.automaton.LightState
      extended by 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

Nested Class Summary
 
Nested classes/interfaces inherited from class choco.kernel.model.constraints.automaton.LightState
LightState.Arcs
 
Field Summary
protected  LayeredDFA auto
           
protected  Hashtable<State,BitSet> hashPred
           
protected  int idxLevel
           
protected  int level
           
protected  DoubleLinkedList transitions
           
 
Fields inherited from class choco.kernel.model.constraints.automaton.LightState
htransitions, idx, layerIdx, LOGGER, trPred
 
Constructor Summary
State(LayeredDFA a, int level)
           
State(State origin)
           
 
Method Summary
protected  boolean addNext(State st, int value)
           
protected  void ajoutInTransition(State st, int value)
           
 void clonePred(State origin)
           
protected  LightState convertState(Hashtable ht)
           
 boolean equals(State st)
           
protected  boolean equalState(State st)
           
 int getIdxLevel()
           
 int getLevel()
           
protected  State getNext(int value)
           
protected  boolean hasNext(int value)
           
protected  boolean hasSuccessor()
           
 void pretty()
           
protected  void removeIfNoPred()
           
protected  void removeInTransitions()
           
protected  void removeNext(int value)
           
protected  void removeOutTransitions()
           
protected  void remplaceNext(State st, BitSet bs)
           
protected  void remplaceRef(State st1)
           
protected  void resetState()
           
protected  void retraitTransition(State st, int value)
           
 void setIdxLevel(int idxLevel)
           
 void setLevel(int lvl)
           
 void toDotty(BufferedWriter bw)
           
 
Methods inherited from class choco.kernel.model.constraints.automaton.LightState
delta, getEnumerationPred, getEnumerationSucc, getIdx, getLayerIdx, getObjectIdx, hasDelta, init, setIdx, setLayerIdx
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

auto

protected LayeredDFA auto

level

protected int level

idxLevel

protected int idxLevel

transitions

protected DoubleLinkedList transitions

hashPred

protected Hashtable<State,BitSet> hashPred
Constructor Detail

State

public State(LayeredDFA a,
             int level)

State

public State(State origin)
Method Detail

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.