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 objectsTransition
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 anAutomaton
from the specified transitions, start and final states.default CtrEntities.CtrEntity
ProblemAPI. mdd(IVar.Var[] scp, Transition[] transitions)
Builds a constraintmdd
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)
-