Definition at line 432 of file bop_ls.h.
◆ OneFlipConstraintRepairer()
◆ ConstraintToRepair()
ConstraintIndex ConstraintToRepair |
( |
| ) |
const |
◆ GetFlip()
sat::Literal GetFlip |
( |
ConstraintIndex |
ct_index, |
|
|
TermIndex |
term_index |
|
) |
| const |
◆ NextRepairingTerm()
TermIndex NextRepairingTerm |
( |
ConstraintIndex |
ct_index, |
|
|
TermIndex |
init_term_index, |
|
|
TermIndex |
start_term_index |
|
) |
| const |
◆ RepairIsValid()
bool RepairIsValid |
( |
ConstraintIndex |
ct_index, |
|
|
TermIndex |
term_index |
|
) |
| const |
◆ kInitTerm
const TermIndex kInitTerm |
|
static |
◆ kInvalidConstraint
const ConstraintIndex kInvalidConstraint |
|
static |
◆ kInvalidTerm
const TermIndex kInvalidTerm |
|
static |
The documentation for this class was generated from the following files: