Uses of Class
org.xcsp.common.structures.Transitions

Packages that use Transitions

Package	Description
org.xcsp.common.structures
org.xcsp.modeler.api

Uses of Transitions in org.xcsp.common.structures

Methods in org.xcsp.common.structures that return Transitions

Modifier and Type	Method	Description
Transitions	Transitions.add(String transitions)	Adds transitions to this object.
Transitions	Transitions.add(String firstState, int[] symbols, String secondState)	Adds some transitions to this object, one for each (integer) symbol.
Transitions	Transitions.add(String firstState, Object symbol, String secondState)	Adds a transition to this object.
Transitions	Transitions.add(String firstState, Range range, String secondState)	Adds some transitions to this object, one for each (integer) symbol contained in the specified range.
Transitions	Transitions.add(java.util.stream.Stream<Transition> transitions)	Adds transitions from a stream to this object.
Transitions	Transitions.add(Transition transition)	Adds a transition to this object.
static Transitions	Transitions.parse(String transitions)	Parses the specified string and returns an object Transitions that contains a list of transitions.

Constructors in org.xcsp.common.structures with parameters of type Transitions

Constructor	Description
Automaton(String startState, Transitions transitions, String... finalStates)	Constructs an automaton from the specified arguments.

Uses of Transitions in org.xcsp.modeler.api

Methods in org.xcsp.modeler.api that return Transitions

Modifier and Type	Method	Description
default Transitions	ProblemAPIBase.transitions()	Builds and returns an empty object Transitions.
default Transitions	ProblemAPIBase.transitions(String transitions)	Builds and returns an object Transitions after parsing the specified string.

Methods in org.xcsp.modeler.api with parameters of type Transitions

Modifier and Type	Method	Description
default Automaton	ProblemAPIBase.automaton(String startState, Transitions transitions, String... finalStates)	Builds an Automaton from the specified transitions, start and final states.
default CtrEntities.CtrEntity	ProblemAPI.mdd(IVar.Var[] scp, Transitions transitions)