operations_research::sat::PropagatorInterface Member List

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

IncrementalPropagate(const std::vector< int > &)	operations_research::sat::PropagatorInterface	inlinevirtual
Propagate()=0	operations_research::sat::PropagatorInterface	pure virtual
PropagatorInterface()=default	operations_research::sat::PropagatorInterface
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual