com.google.ortools.sat

Class AutomatonConstraint

java.lang.Object

com.google.ortools.sat.Constraint

com.google.ortools.sat.AutomatonConstraint

public class AutomatonConstraint
extends Constraint

Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Constructor Summary

Constructors

Constructor and Description
AutomatonConstraint(CpModelProto.Builder builder)

Method Summary

Methods inherited from class com.google.ortools.sat.Constraint

getBuilder, getIndex, onlyEnforceIf, onlyEnforceIf

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AutomatonConstraint

public AutomatonConstraint(CpModelProto.Builder builder)