[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["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,[]]
