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

Packages that use Transition

Package	Description
org.xcsp.common.structures
org.xcsp.modeler.api
org.xcsp.modeler.implementation
org.xcsp.parser.callbacks

Uses of Transition in org.xcsp.common.structures

Fields in org.xcsp.common.structures declared as Transition

Modifier and Type	Field	Description
Transition[]	Automaton.transitions	The set (array) of transitions.

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

Modifier and Type	Method	Description
Transition[]	Transitions.toArray()	Returns an array with collected objects Transition

Methods in org.xcsp.common.structures with parameters of type Transition

Modifier and Type	Method	Description
Transitions	Transitions.add(Transition transition)	Adds a transition to this object.

Method parameters in org.xcsp.common.structures with type arguments of type Transition

Modifier and Type	Method	Description
Transitions	Transitions.add(java.util.stream.Stream<Transition> transitions)	Adds transitions from a stream to this object.

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

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

Uses of Transition in org.xcsp.modeler.api

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

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

Uses of Transition in org.xcsp.modeler.implementation

Methods in org.xcsp.modeler.implementation with parameters of type Transition

Modifier and Type	Method	Description
abstract CtrEntities.CtrEntity	ProblemIMP.mdd(IVar.Var[] scp, Transition[] transitions)
CtrEntities.CtrAlone	ProblemIMP3.mdd(IVar.Var[] list, Transition[] transitions)

Uses of Transition in org.xcsp.parser.callbacks

Methods in org.xcsp.parser.callbacks with parameters of type Transition

Modifier and Type	Method	Description
void	CompetitionValidator.buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)
void	SolutionChecker.buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)
void	XCallbacks.buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)
void	CompetitionValidator.buildCtrRegular(String id, XVariables.XVarInteger[] list, Transition[] transitions, String startState, String[] finalStates)
void	SolutionChecker.buildCtrRegular(String id, XVariables.XVarInteger[] list, Transition[] transitions, String startState, String[] finalStates)
void	XCallbacks.buildCtrRegular(String id, XVariables.XVarInteger[] list, Transition[] transitions, String startState, String[] finalStates)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	XCallbacks2.buildCtrRegular(String id, XVariables.XVarInteger[] list, Transition[] transitions, String startState, String[] finalStates)