OR-Tools  8.2
SymmetryPropagator

Detailed Description

Definition at line 61 of file symmetry.h.

Public Member Functions

 SymmetryPropagator ()
 
 ~SymmetryPropagator () override
 
bool Propagate (Trail *trail) final
 
void Untrail (const Trail &trail, int trail_index) final
 
absl::Span< const LiteralReason (const Trail &trail, int trail_index) const final
 
void AddSymmetry (std::unique_ptr< SparsePermutation > permutation)
 
int num_permutations () const
 
void Permute (int index, absl::Span< const Literal > input, std::vector< Literal > *output) const
 
void SetPropagatorId (int id)
 
int PropagatorId () const
 
bool PropagatePreconditionsAreSatisfied (const Trail &trail) const
 
bool PropagationIsDone (const Trail &trail) const
 

Protected Attributes

const std::string name_
 
int propagator_id_
 
int propagation_trail_index_
 

Constructor & Destructor Documentation

◆ SymmetryPropagator()

Definition at line 22 of file symmetry.cc.

◆ ~SymmetryPropagator()

~SymmetryPropagator ( )
override

Definition at line 28 of file symmetry.cc.

Member Function Documentation

◆ AddSymmetry()

void AddSymmetry ( std::unique_ptr< SparsePermutation permutation)

Definition at line 36 of file symmetry.cc.

◆ num_permutations()

int num_permutations ( ) const
inline

Definition at line 88 of file symmetry.h.

◆ Permute()

void Permute ( int  index,
absl::Span< const Literal input,
std::vector< Literal > *  output 
) const

Definition at line 192 of file symmetry.cc.

◆ Propagate()

bool Propagate ( Trail trail)
finalvirtual

Implements SatPropagator.

Definition at line 126 of file symmetry.cc.

◆ PropagatePreconditionsAreSatisfied()

bool PropagatePreconditionsAreSatisfied ( const Trail trail) const
inlineinherited

Definition at line 517 of file sat_base.h.

◆ PropagationIsDone()

bool PropagationIsDone ( const Trail trail) const
inlineinherited

Definition at line 500 of file sat_base.h.

◆ PropagatorId()

int PropagatorId ( ) const
inlineinherited

Definition at line 453 of file sat_base.h.

◆ Reason()

absl::Span< const Literal > Reason ( const Trail trail,
int  trail_index 
) const
finalvirtual

Reimplemented from SatPropagator.

Definition at line 147 of file symmetry.cc.

◆ SetPropagatorId()

void SetPropagatorId ( int  id)
inlineinherited

Definition at line 452 of file sat_base.h.

◆ Untrail()

void Untrail ( const Trail trail,
int  trail_index 
)
finalvirtual

Reimplemented from SatPropagator.

Definition at line 134 of file symmetry.cc.

Member Data Documentation

◆ name_

const std::string name_
protectedinherited

Definition at line 505 of file sat_base.h.

◆ propagation_trail_index_

int propagation_trail_index_
protectedinherited

Definition at line 507 of file sat_base.h.

◆ propagator_id_

int propagator_id_
protectedinherited

Definition at line 506 of file sat_base.h.


The documentation for this class was generated from the following files: