operations_research::sat::BooleanXorPropagator Member List

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

BooleanXorPropagator(const std::vector< Literal > &literals, bool value, Trail *trail, IntegerTrail *integer_trail)	operations_research::sat::BooleanXorPropagator	inline
BooleanXorPropagator(const BooleanXorPropagator &)=delete	operations_research::sat::BooleanXorPropagator
IncrementalPropagate(const std::vector< int > &)	operations_research::sat::PropagatorInterface	inlinevirtual
operator=(const BooleanXorPropagator &)=delete	operations_research::sat::BooleanXorPropagator
Propagate() final	operations_research::sat::BooleanXorPropagator	virtual
PropagatorInterface()=default	operations_research::sat::PropagatorInterface
RegisterWith(GenericLiteralWatcher *watcher)	operations_research::sat::BooleanXorPropagator
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual