Uses of Class
org.jacop.constraints.regular.RegState
Packages that use RegState
-
Uses of RegState in org.jacop.constraints.regular
Subclasses of RegState in org.jacop.constraints.regularModifier and TypeClassDescriptionclass
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
It is an implementation of the Regular state which uses a separate successor for each value.Fields in org.jacop.constraints.regular declared as RegStateModifier and TypeFieldDescriptionRegEdge.dest
The destination state.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 RegStateModifier and TypeMethodDescriptionRegular.getState
(int level, int id) Find the state with the corresponding id.Methods in org.jacop.constraints.regular with parameters of type RegStateModifier and TypeMethodDescriptionprivate 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