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 and Description
AutomatonConstraint	CpModel.addAutomaton(java.lang.Iterable<? extends LinearArgument> transitionExpressions, long startingState, long[] finalStates) Adds an automaton constraint.
AutomatonConstraint	CpModel.addAutomaton(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.