OR-Tools  8.2
SymmetryPropagator Member List

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

AddSymmetry(std::unique_ptr< SparsePermutation > permutation)SymmetryPropagator
name_SatPropagatorprotected
num_permutations() constSymmetryPropagatorinline
Permute(int index, absl::Span< const Literal > input, std::vector< Literal > *output) constSymmetryPropagator
Propagate(Trail *trail) finalSymmetryPropagatorvirtual
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) const finalSymmetryPropagatorvirtual
SatPropagator(const std::string &name)SatPropagatorinlineexplicit
SetPropagatorId(int id)SatPropagatorinline
SymmetryPropagator()SymmetryPropagator
Untrail(const Trail &trail, int trail_index) finalSymmetryPropagatorvirtual
~SatPropagator()SatPropagatorinlinevirtual
~SymmetryPropagator() overrideSymmetryPropagator