operations_research::sat::AllDifferentConstraint Member List

This is the complete list of members for operations_research::sat::AllDifferentConstraint, including all inherited members.

AllDifferentConstraint(absl::Span< const IntegerVariable > variables, Model *model)	operations_research::sat::AllDifferentConstraint
AllDifferentConstraint(int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > literals, Model *model)	operations_research::sat::AllDifferentConstraint
Propagate() final	operations_research::sat::AllDifferentConstraint	virtual
RegisterWith(GenericLiteralWatcher *watcher)	operations_research::sat::AllDifferentConstraint