operations_research::sat::CircuitPropagator Member List

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

CircuitPropagator(int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > literals, Options options, Model *model)	operations_research::sat::CircuitPropagator
CircuitPropagator(const CircuitPropagator &)=delete	operations_research::sat::CircuitPropagator
IncrementalPropagate(const std::vector< int > &watch_indices) final	operations_research::sat::CircuitPropagator	virtual
operator=(const CircuitPropagator &)=delete	operations_research::sat::CircuitPropagator
Propagate() final	operations_research::sat::CircuitPropagator	virtual
RegisterWith(GenericLiteralWatcher *watcher)	operations_research::sat::CircuitPropagator
SetLevel(int level) final	operations_research::sat::CircuitPropagator	virtual