Uses of Class
com.google.ortools.sat.AutomatonConstraint

Packages that use AutomatonConstraint

Package	Description
com.google.ortools.sat

Uses of AutomatonConstraint in com.google.ortools.sat

Methods in com.google.ortools.sat that return AutomatonConstraint

Modifier and Type	Method	Description
AutomatonConstraint	CpModel.addAutomaton(LinearArgument[] transitionExpressions, long startingState, long[] finalStates)	Adds an automaton constraint.
AutomatonConstraint	CpModel.addAutomaton(Iterable<? extends LinearArgument> transitionExpressions, long startingState, long[] finalStates)	Adds an automaton constraint.
AutomatonConstraint	AutomatonConstraint.addTransition(int tail, int head, long label)	Adds a transitions to the automaton.