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 objectTransitions
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 objectTransitions
.default Transitions
ProblemAPIBase. transitions(String transitions)
Builds and returns an objectTransitions
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 anAutomaton
from the specified transitions, start and final states.default CtrEntities.CtrEntity
ProblemAPI. mdd(IVar.Var[] scp, Transitions transitions)
-