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

Modifier and Type	Method and Description
AutomatonConstraint	addTransition(int tail, int head, long label) Adds a transitions to the automaton.

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)

Method Detail

addTransition

public AutomatonConstraint addTransition(int tail,
                                         int head,
                                         long label)

Adds a transitions to the automaton.

Parameters:

tail - the tail of the transition

head - the head of the transition

label - the label of the transition

Returns:

this constraint