![]() |
OR-Tools
8.2
|
This is the complete list of members for SymmetryPropagator, including all inherited members.
AddSymmetry(std::unique_ptr< SparsePermutation > permutation) | SymmetryPropagator | |
name_ | SatPropagator | protected |
num_permutations() const | SymmetryPropagator | inline |
Permute(int index, absl::Span< const Literal > input, std::vector< Literal > *output) const | SymmetryPropagator | |
Propagate(Trail *trail) final | SymmetryPropagator | 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 final | SymmetryPropagator | virtual |
SatPropagator(const std::string &name) | SatPropagator | inlineexplicit |
SetPropagatorId(int id) | SatPropagator | inline |
SymmetryPropagator() | SymmetryPropagator | |
Untrail(const Trail &trail, int trail_index) final | SymmetryPropagator | virtual |
~SatPropagator() | SatPropagator | inlinevirtual |
~SymmetryPropagator() override | SymmetryPropagator |