Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::SatPropagator Member List

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

IsEmpty() constoperations_research::sat::SatPropagatorinlinevirtual
name_operations_research::sat::SatPropagatorprotected
operator=(const SatPropagator &)=deleteoperations_research::sat::SatPropagator
Propagate(Trail *trail)=0operations_research::sat::SatPropagatorpure virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) constoperations_research::sat::SatPropagatorinline
propagation_trail_index_operations_research::sat::SatPropagatorprotected
PropagationIsDone(const Trail &trail) constoperations_research::sat::SatPropagatorinline
propagator_id_operations_research::sat::SatPropagatorprotected
PropagatorId() constoperations_research::sat::SatPropagatorinline
Reason(const Trail &, int, int64_t) constoperations_research::sat::SatPropagatorinlinevirtual
SatPropagator(const std::string &name)operations_research::sat::SatPropagatorinlineexplicit
SatPropagator(const SatPropagator &)=deleteoperations_research::sat::SatPropagator
SetPropagatorId(int id)operations_research::sat::SatPropagatorinline
Untrail(const Trail &, int trail_index)operations_research::sat::SatPropagatorinlinevirtual
~SatPropagator()=defaultoperations_research::sat::SatPropagatorvirtual