Uses of Class
org.xcsp.common.structures.Automaton
-
Packages that use Automaton Package Description org.xcsp.modeler.api org.xcsp.modeler.implementation -
-
Uses of Automaton in org.xcsp.modeler.api
Methods in org.xcsp.modeler.api that return Automaton Modifier and Type Method Description default Automaton
ProblemAPIBase. automaton(String startState, String transitions, String... finalStates)
Builds anAutomaton
from the specified transitions, start and final states.default Automaton
ProblemAPIBase. automaton(String startState, Transition[] transitions, String... finalStates)
Builds anAutomaton
from the specified transitions, start and final states.default Automaton
ProblemAPIBase. automaton(String startState, Transitions transitions, String... finalStates)
Builds anAutomaton
from the specified transitions, start and final states.Methods in org.xcsp.modeler.api with parameters of type Automaton Modifier and Type Method Description default CtrEntities.CtrEntity
ProblemAPI. regular(IVar.Var[] scp, Automaton automaton)
Builds a constraintregular
from the specified scope and the specified automaton. -
Uses of Automaton in org.xcsp.modeler.implementation
Methods in org.xcsp.modeler.implementation with parameters of type Automaton Modifier and Type Method Description abstract CtrEntities.CtrEntity
ProblemIMP. regular(IVar.Var[] list, Automaton automaton)
CtrEntities.CtrAlone
ProblemIMP3. regular(IVar.Var[] list, Automaton automaton)
-