Package com.google.ortools.sat
Class AutomatonConstraint
java.lang.Object
com.google.ortools.sat.Constraint
com.google.ortools.sat.AutomatonConstraint
Specialized automaton constraint.
This constraint allows adding transitions to the automaton constraint incrementally.
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class com.google.ortools.sat.Constraint
getBuilder, getIndex, onlyEnforceIf, onlyEnforceIf
-
Constructor Details
-
AutomatonConstraint
-