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 an Automaton from the specified transitions, start and final states.
default Automaton	ProblemAPIBase.automaton(String startState, Transition[] transitions, String... finalStates)	Builds an Automaton from the specified transitions, start and final states.
default Automaton	ProblemAPIBase.automaton(String startState, Transitions transitions, String... finalStates)	Builds an Automaton 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 constraint regular 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)