operations_research::sat::GreaterThanAtLeastOneOfDetector Member List

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

Add(Literal lit, LinearTerm a, LinearTerm b, IntegerValue lhs, IntegerValue rhs)	operations_research::sat::GreaterThanAtLeastOneOfDetector
AddGreaterThanAtLeastOneOfConstraints(Model *model, bool auto_detect_clauses=false)	operations_research::sat::GreaterThanAtLeastOneOfDetector