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, IntegerValue propagation_slack, IntegerVariable var_to_explain, int trail_index, std::vector< Literal > *literals_reason, std::vector< int > *trail_indices_reason) final	operations_research::sat::LinearPropagator	virtual
IncrementalPropagate(const std::vector< int > &)	operations_research::sat::PropagatorInterface	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
~LinearPropagator() override	operations_research::sat::LinearPropagator
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual