Package 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	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 Details

AutomatonConstraint

public AutomatonConstraint(CpModelProto.Builder builder)