![]() |
OR-Tools
8.2
|
This is the complete list of members for SatPropagator, including all inherited members.
name_ | SatPropagator | protected |
Propagate(Trail *trail)=0 | SatPropagator | pure virtual |
PropagatePreconditionsAreSatisfied(const Trail &trail) const | SatPropagator | inline |
propagation_trail_index_ | SatPropagator | protected |
PropagationIsDone(const Trail &trail) const | SatPropagator | inline |
propagator_id_ | SatPropagator | protected |
PropagatorId() const | SatPropagator | inline |
Reason(const Trail &trail, int trail_index) const | SatPropagator | inlinevirtual |
SatPropagator(const std::string &name) | SatPropagator | inlineexplicit |
SetPropagatorId(int id) | SatPropagator | inline |
Untrail(const Trail &trail, int trail_index) | SatPropagator | inlinevirtual |
~SatPropagator() | SatPropagator | inlinevirtual |