C++ Reference: class AutomatonConstraint
Note: This documentation is automatically generated.
| Method | |
|---|---|
AddTransition | Return type: Arguments: Adds a transitions to the automaton. |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[[["\u003cp\u003eThe \u003ccode\u003eAutomatonConstraint\u003c/code\u003e class in C++ enforces constraints based on a finite automaton.\u003c/p\u003e\n"],["\u003cp\u003eIt utilizes the \u003ccode\u003eAddTransition\u003c/code\u003e method to define transitions between states within the automaton, using parameters for the tail state, head state, and transition label.\u003c/p\u003e\n"]]],["The `AutomatonConstraint` class in C++ allows users to define an automaton by adding transitions. The `AddTransition` method is used to define these transitions. Each transition is characterized by a tail state (`int tail`), a head state (`int head`), and a transition label (`int64_t transition_label`). This method, with its specified arguments, is the core action within this class, allowing for the construction of the automaton's structure.\n"],null,["# AutomatonConstraint\n\nC++ Reference: class AutomatonConstraint\n========================================\n\n\nNote: This documentation is automatically generated.\n\n| Method ||\n|---------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------|\n| [`AddTransition`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/cp_model.h#L665) | Return type: `void ` Arguments: `int tail, int head, int64_t transition_label` Adds a transitions to the automaton. |"]]