operations_research::sat::LinearPropagator Member List

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

AddConstraint(absl::Span< const Literal > enforcement_literals, absl::Span< const IntegerVariable > vars, absl::Span< const IntegerValue > coeffs, IntegerValue upper_bound)	operations_research::sat::LinearPropagator
Explain(int id, IntegerLiteral to_explain, IntegerReason *reason) final	operations_research::sat::LinearPropagator	virtual
IncrementalPropagate(const std::vector< int > &)	operations_research::sat::PropagatorInterface	inlinevirtual
LazyReasonName() const override	operations_research::sat::LinearPropagator	inlinevirtual
LinearPropagator(Model *model)	operations_research::sat::LinearPropagator	explicit
Propagate() final	operations_research::sat::LinearPropagator	virtual
PropagatorInterface()=default	operations_research::sat::PropagatorInterface
SetLevel(int level) final	operations_research::sat::LinearPropagator	virtual
SetPushAffineUbForBinaryRelation()	operations_research::sat::LinearPropagator	inline
~LinearPropagator() override	operations_research::sat::LinearPropagator
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual