Definition at line 61 of file symmetry.h.
◆ SymmetryPropagator()
◆ ~SymmetryPropagator()
◆ AddSymmetry()
◆ num_permutations()
int num_permutations |
( |
| ) |
const |
|
inline |
◆ Permute()
void Permute |
( |
int |
index, |
|
|
absl::Span< const Literal > |
input, |
|
|
std::vector< Literal > * |
output |
|
) |
| const |
◆ Propagate()
bool Propagate |
( |
Trail * |
trail | ) |
|
|
finalvirtual |
◆ PropagatePreconditionsAreSatisfied()
bool PropagatePreconditionsAreSatisfied |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagationIsDone()
bool PropagationIsDone |
( |
const Trail & |
trail | ) |
const |
|
inlineinherited |
◆ PropagatorId()
int PropagatorId |
( |
| ) |
const |
|
inlineinherited |
◆ Reason()
absl::Span< const Literal > Reason |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| const |
|
finalvirtual |
◆ SetPropagatorId()
void SetPropagatorId |
( |
int |
id | ) |
|
|
inlineinherited |
◆ Untrail()
void Untrail |
( |
const Trail & |
trail, |
|
|
int |
trail_index |
|
) |
| |
|
finalvirtual |
◆ name_
◆ propagation_trail_index_
int propagation_trail_index_ |
|
protectedinherited |
◆ propagator_id_
The documentation for this class was generated from the following files: