C++ Reference: class AutomatonConstraint

This documentation is automatically generated.



Specialized automaton constraint.

This constraint allows adding transitions to the automaton constraint incrementally.

Method
AddTransition

Return type: void

Arguments: int tail, int head, int64 transition_label

Adds a transitions to the automaton.