|
Clingo
|
This is the complete list of members for Clingo::Heuristic, including all inherited members.
| attach(Assignment assignment, PropagateControl ctl) | Clingo::Propagator | inline |
| check(Assignment assignment, PropagateControl ctl) | Clingo::Propagator | inline |
| decide(Assignment assignment, SolverLiteral literal) -> SolverLiteral | Clingo::Heuristic | inline |
| Heuristic()=default | Clingo::Heuristic | |
| init(Assignment assignment, PropagateInit init) | Clingo::Propagator | inline |
| operator=(Propagator &&other) -> Propagator &=delete | Clingo::Propagator | |
| propagate(Assignment assignment, PropagateControl ctl, ProgramLiteralSpan changes) | Clingo::Propagator | inline |
| Propagator()=default | Clingo::Propagator | |
| Propagator(Propagator &&other)=delete | Clingo::Propagator | |
| undo(Assignment assignment, ProgramLiteralSpan changes) | Clingo::Propagator | inline |
| ~Propagator()=default | Clingo::Propagator | virtual |