operations_research::sat::UpperBoundedLinearConstraint Member List

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

activity() const	operations_research::sat::UpperBoundedLinearConstraint	inline
AddToConflict(MutableUpperBoundedLinearConstraint *conflict)	operations_research::sat::UpperBoundedLinearConstraint
already_propagated_end() const	operations_research::sat::UpperBoundedLinearConstraint	inline
ComputeCancelation(const Trail &trail, int trail_index, const MutableUpperBoundedLinearConstraint &conflict)	operations_research::sat::UpperBoundedLinearConstraint
enforcement_id() const	operations_research::sat::UpperBoundedLinearConstraint	inline
FillReason(const Trail &trail, int source_trail_index, absl::Span< const Literal > enforcement_literals, BooleanVariable propagated_variable, std::vector< std::tuple< int, int, int > > *temporary_tuples, std::vector< Literal > *reason)	operations_research::sat::UpperBoundedLinearConstraint
hash() const	operations_research::sat::UpperBoundedLinearConstraint	inline
HasIdenticalTermsAndEnforcement(absl::Span< const Literal > enforcement_literals, absl::Span< const LiteralWithCoeff > cst, EnforcementPropagator *enforcement_propagator)	operations_research::sat::UpperBoundedLinearConstraint
InitializeRhs(EnforcementStatus enforcement_status, absl::Span< const Literal > enforcement_literals, Coefficient rhs, int trail_index, Coefficient *threshold, Trail *trail, PbConstraintsEnqueueHelper *helper)	operations_research::sat::UpperBoundedLinearConstraint
is_learned() const	operations_research::sat::UpperBoundedLinearConstraint	inline
is_marked_for_deletion() const	operations_research::sat::UpperBoundedLinearConstraint	inline
is_used_as_a_reason() const	operations_research::sat::UpperBoundedLinearConstraint	inline
MarkForDeletion()	operations_research::sat::UpperBoundedLinearConstraint	inline
Propagate(int trail_index, Coefficient *threshold, Trail *trail, EnforcementStatus enforcement_status, absl::Span< const Literal > enforcement_literals, PbConstraintsEnqueueHelper *helper, bool *need_untrail_inspection=nullptr)	operations_research::sat::UpperBoundedLinearConstraint
ResolvePBConflict(const Trail &trail, BooleanVariable var, MutableUpperBoundedLinearConstraint *conflict, Coefficient *conflict_slack)	operations_research::sat::UpperBoundedLinearConstraint
Rhs() const	operations_research::sat::UpperBoundedLinearConstraint	inline
set_activity(double activity)	operations_research::sat::UpperBoundedLinearConstraint	inline
set_enforcement_id(EnforcementId enforcement_id)	operations_research::sat::UpperBoundedLinearConstraint	inline
set_is_learned(bool is_learned)	operations_research::sat::UpperBoundedLinearConstraint	inline
Untrail(Coefficient *threshold, int trail_index)	operations_research::sat::UpperBoundedLinearConstraint
UpperBoundedLinearConstraint(const std::vector< Literal > &enforcement_literals, const std::vector< LiteralWithCoeff > &cst)	operations_research::sat::UpperBoundedLinearConstraint