C++ Reference
C++ Reference: CP-SAT
AutomatonConstraint Member List
This is the complete list of members for AutomatonConstraint, including all inherited members.
| AddTransition(int tail, int head, int64 transition_label) | AutomatonConstraint | |
| operations_research::sat::Constraint::Constraint(ConstraintProto *proto) | Constraint | explicitprotected |
| CpModelBuilder class | AutomatonConstraint | friend |
| MutableProto() const | Constraint | inline |
| Name() const | Constraint | |
| OnlyEnforceIf(absl::Span< const BoolVar > literals) | Constraint | |
| OnlyEnforceIf(BoolVar literal) | Constraint | |
| Proto() const | Constraint | inline |
| proto_ | Constraint | protected |
| WithName(const std::string &name) | Constraint |