operations_research::sat::PrecedenceRelations Member List

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

AddBounds(LinearExpression2 expr, IntegerValue lb, IntegerValue ub)	operations_research::sat::PrecedenceRelations
AddReasonForUpperBoundLowerThan(LinearExpression2 expr, IntegerValue ub, std::vector< Literal > *literal_reason, std::vector< IntegerLiteral > *integer_reason) const	operations_research::sat::PrecedenceRelations
AddUpperBound(LinearExpression2 expr, IntegerValue ub)	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
LevelZeroUpperBound(LinearExpression2 expr) const	operations_research::sat::PrecedenceRelations
PrecedenceRelations(Model *model)	operations_research::sat::PrecedenceRelations	inlineexplicit
PushConditionalRelation(absl::Span< const Literal > enforcements, LinearExpression2 expr, 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
UpperBound(LinearExpression2 expr) const	operations_research::sat::PrecedenceRelations
~ReversibleInterface()	operations_research::ReversibleInterface	inlinevirtual