OR-Tools  8.2
SatPropagator Member List

This is the complete list of members for SatPropagator, including all inherited members.

name_SatPropagatorprotected
Propagate(Trail *trail)=0SatPropagatorpure virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constSatPropagatorinline
propagation_trail_index_SatPropagatorprotected
PropagationIsDone(const Trail &trail) constSatPropagatorinline
propagator_id_SatPropagatorprotected
PropagatorId() constSatPropagatorinline
Reason(const Trail &trail, int trail_index) constSatPropagatorinlinevirtual
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
Untrail(const Trail &trail, int trail_index)SatPropagatorinlinevirtual
~SatPropagator()SatPropagatorinlinevirtual