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)Constraintexplicitprotected
CpModelBuilder classAutomatonConstraintfriend
MutableProto() constConstraintinline
Name() constConstraint
OnlyEnforceIf(absl::Span< const BoolVar > literals)Constraint
OnlyEnforceIf(BoolVar literal)Constraint
Proto() constConstraintinline
proto_Constraintprotected
WithName(const std::string &name)Constraint