![]() |
Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
|
This is the complete list of members for operations_research::sat::BooleanXorPropagator, including all inherited members.
| BooleanXorPropagator(absl::Span< const Literal > enforcement_literals, const std::vector< Literal > &literals, bool value, Model *model) | operations_research::sat::BooleanXorPropagator | |
| 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 | |
| ~PropagatorInterface()=default | operations_research::sat::PropagatorInterface | virtual |