SymmetryPropagator Member List

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

AddSymmetry(std::unique_ptr< SparsePermutation > permutation)	SymmetryPropagator
IsEmpty() const	SatPropagator	inlinevirtual
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