C++ Reference: class AutomatonConstraint

Note: This documentation is automatically generated.

Method
AddTransition

Return type: void

Arguments: int tail, int head, int64_t transition_label

Adds a transitions to the automaton.