Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::PrecedenceRelations Member List

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) constoperations_research::sat::PrecedenceRelations
GetConditionalOffset(IntegerVariable a, IntegerVariable b) constoperations_research::sat::PrecedenceRelations
GetOffset(IntegerVariable a, IntegerVariable b) constoperations_research::sat::PrecedenceRelations
PrecedenceRelations(Model *model)operations_research::sat::PrecedenceRelationsinlineexplicit
PushConditionalRelation(absl::Span< const Literal > enforcements, IntegerVariable a, IntegerVariable b, IntegerValue rhs)operations_research::sat::PrecedenceRelations
Resize(int num_variables)operations_research::sat::PrecedenceRelationsinline
ReversibleInterface()operations_research::ReversibleInterfaceinline
SetLevel(int level) finaloperations_research::sat::PrecedenceRelationsvirtual
~ReversibleInterface()operations_research::ReversibleInterfaceinlinevirtual