operations_research::sat::SymmetryPropagator Member List

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

AddSymmetry(std::unique_ptr< SparsePermutation > permutation)	operations_research::sat::SymmetryPropagator
IsEmpty() const	operations_research::sat::SatPropagator	inlinevirtual
name_	operations_research::sat::SatPropagator	protected
num_permutations() const	operations_research::sat::SymmetryPropagator	inline
operator=(const SymmetryPropagator &)=delete	operations_research::sat::SymmetryPropagator
operations_research::sat::SatPropagator::operator=(const SatPropagator &)=delete	operations_research::sat::SatPropagator
Permute(int index, absl::Span< const Literal > input, std::vector< Literal > *output) const	operations_research::sat::SymmetryPropagator
Propagate(Trail *trail) final	operations_research::sat::SymmetryPropagator	virtual
PropagatePreconditionsAreSatisfied(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagation_trail_index_	operations_research::sat::SatPropagator	protected
PropagationIsDone(const Trail &trail) const	operations_research::sat::SatPropagator	inline
propagator_id_	operations_research::sat::SatPropagator	protected
PropagatorId() const	operations_research::sat::SatPropagator	inline
Reason(const Trail &trail, int trail_index, int64_t conflict_id) const final	operations_research::sat::SymmetryPropagator	virtual
SatPropagator(const std::string &name)	operations_research::sat::SatPropagator	inlineexplicit
SatPropagator(const SatPropagator &)=delete	operations_research::sat::SatPropagator
SetPropagatorId(int id)	operations_research::sat::SatPropagator	inline
SymmetryPropagator()	operations_research::sat::SymmetryPropagator
SymmetryPropagator(const SymmetryPropagator &)=delete	operations_research::sat::SymmetryPropagator
Untrail(const Trail &trail, int trail_index) final	operations_research::sat::SymmetryPropagator	virtual
~SatPropagator()=default	operations_research::sat::SatPropagator	virtual
~SymmetryPropagator() override	operations_research::sat::SymmetryPropagator