Uses of Class
org.jacop.constraints.regular.RegState
-
Packages that use RegState Package Description org.jacop.constraints.regular -
-
Uses of RegState in org.jacop.constraints.regular
Subclasses of RegState in org.jacop.constraints.regular Modifier and Type Class Description class
RegStateDom
It is a state representation which uses a domain representation to represent all integers which can transition from this state to the given successor state.class
RegStateInt
It is an implementation of the Regular state which uses a separate successor for each value.Fields in org.jacop.constraints.regular declared as RegState Modifier and Type Field Description RegState
RegEdge. dest
The destination state.RegState
RegEdge. org
The origin state.private RegState[][]
Regular. stateLevels
Stores the states of all graph levelsRegState[]
RegState. successors
It specifies the list of successor states for this state.(package private) RegState[]
Regular. touchedStates
Methods in org.jacop.constraints.regular that return RegState Modifier and Type Method Description RegState
Regular. getState(int level, int id)
Find the state with the corresponding id.Methods in org.jacop.constraints.regular with parameters of type RegState Modifier and Type Method Description private void
Regular. addTouchedState(RegState s)
abstract void
RegState. addTransition(RegState suc, java.lang.Integer val)
It specifies that for a given value an automata will move from the current state to the successor state.void
RegStateDom. addTransition(RegState suc, java.lang.Integer val)
void
RegStateInt. addTransition(RegState suc, java.lang.Integer val)
abstract void
RegState. addTransitions(RegState suc, IntervalDomain val)
It specifies that for a given values from an interval an automata will move from the current state to the successor state.void
RegStateDom. addTransitions(RegState suc, IntervalDomain val)
void
RegStateInt. addTransitions(RegState suc, IntervalDomain val)
Constructors in org.jacop.constraints.regular with parameters of type RegState Constructor Description RegEdge(RegState org, RegState dest)
The constructor which creates an edge.
-