This is the complete list of members for operations_research::sat::PrecedenceRelations, including all inherited members.
Add(IntegerVariable tail, IntegerVariable head, IntegerValue offset) | operations_research::sat::PrecedenceRelations | |
Build() | operations_research::sat::PrecedenceRelations | |
CollectPrecedences(absl::Span< const IntegerVariable > vars, std::vector< PrecedenceData > *output) | operations_research::sat::PrecedenceRelations | |
ComputeFullPrecedences(absl::Span< const IntegerVariable > vars, std::vector< FullIntegerPrecedence > *output) | operations_research::sat::PrecedenceRelations | |
GetConditionalEnforcements(IntegerVariable a, IntegerVariable b) const | operations_research::sat::PrecedenceRelations | |
GetConditionalOffset(IntegerVariable a, IntegerVariable b) const | operations_research::sat::PrecedenceRelations | |
GetOffset(IntegerVariable a, IntegerVariable b) const | operations_research::sat::PrecedenceRelations | |
PrecedenceRelations(Model *model) | operations_research::sat::PrecedenceRelations | inlineexplicit |
PushConditionalRelation(absl::Span< const Literal > enforcements, IntegerVariable a, IntegerVariable b, IntegerValue rhs) | operations_research::sat::PrecedenceRelations | |
Resize(int num_variables) | operations_research::sat::PrecedenceRelations | inline |
ReversibleInterface() | operations_research::ReversibleInterface | inline |
SetLevel(int level) final | operations_research::sat::PrecedenceRelations | virtual |
~ReversibleInterface() | operations_research::ReversibleInterface | inlinevirtual |