operations_research::sat::ActivityBoundHelper Member List

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

ActivityBoundHelper()=default	operations_research::sat::ActivityBoundHelper
AddAllAtMostOnes(const CpModelProto &proto)	operations_research::sat::ActivityBoundHelper
AddAtMostOne(absl::Span< const int > amo)	operations_research::sat::ActivityBoundHelper
ClearAtMostOnes()	operations_research::sat::ActivityBoundHelper
ComputeMaxActivity(absl::Span< const std::pair< int, int64_t > > terms, std::vector< std::array< int64_t, 2 > > *conditional=nullptr)	operations_research::sat::ActivityBoundHelper	inline
ComputeMinActivity(absl::Span< const std::pair< int, int64_t > > terms, std::vector< std::array< int64_t, 2 > > *conditional=nullptr)	operations_research::sat::ActivityBoundHelper	inline
IsAmo(absl::Span< const int > literals)	operations_research::sat::ActivityBoundHelper
NumAmoForVariable(int var) const	operations_research::sat::ActivityBoundHelper	inline
PartitionLiteralsIntoAmo(absl::Span< const int > literals)	operations_research::sat::ActivityBoundHelper
PresolveEnforcement(absl::Span< const int > refs, ConstraintProto *ct, absl::flat_hash_set< int > *literals_at_true)	operations_research::sat::ActivityBoundHelper
RemoveEnforcementThatMakesConstraintTrivial(absl::Span< const std::pair< int, int64_t > > boolean_terms, const Domain &other_terms, const Domain &rhs, ConstraintProto *ct)	operations_research::sat::ActivityBoundHelper