operations_research::sat::BinaryRelationRepository Member List

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

Add(Literal lit, LinearTerm a, LinearTerm b, IntegerValue lhs, IntegerValue rhs)	operations_research::sat::BinaryRelationRepository
AddPartialRelation(Literal lit, IntegerVariable a, IntegerVariable b)	operations_research::sat::BinaryRelationRepository
Build()	operations_research::sat::BinaryRelationRepository
IndicesOfRelationsBetween(IntegerVariable var1, IntegerVariable var2) const	operations_research::sat::BinaryRelationRepository	inline
IndicesOfRelationsContaining(IntegerVariable var) const	operations_research::sat::BinaryRelationRepository	inline
IndicesOfRelationsEnforcedBy(LiteralIndex lit) const	operations_research::sat::BinaryRelationRepository	inline
PropagateLocalBounds(const IntegerTrail &integer_trail, Literal lit, const absl::flat_hash_map< IntegerVariable, IntegerValue > &input, absl::flat_hash_map< IntegerVariable, IntegerValue > *output) const	operations_research::sat::BinaryRelationRepository
relation(int index) const	operations_research::sat::BinaryRelationRepository	inline
size() const	operations_research::sat::BinaryRelationRepository	inline