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 levels.
RegState[]	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, 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

Modifier	Constructor	Description
	RegEdge(RegState org, RegState dest)	The constructor which creates an edge.