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 and 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 and Description
RegState	RegEdge.dest The destination state.
RegState	RegEdge.org The origin state.
RegState[]	RegState.successors It specifies the list of successor states for this state.

Methods in org.jacop.constraints.regular that return RegState

Modifier and Type	Method and 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 and Description
abstract void	RegState.addTransition(RegState suc, 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, Integer val)
void	RegStateInt.addTransition(RegState suc, 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 and Description
RegEdge(RegState org, RegState dest) The constructor which creates an edge.