Include dependency graph for lookahead.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | Clasp::Lookahead::LitNode |
| class | Clasp::Lookahead |
| Lookahead extends propagation with failed-literal detection. More... | |
| struct | Clasp::Lookahead::Params |
| struct | Clasp::ScoreLook |
| A small helper class used to score the result of a lookahead operation. More... | |
| class | Clasp::UnitHeuristic |
| Heuristic that uses the results of lookahead. More... | |
| struct | Clasp::VarScore |
| Type used to store lookahead-information for one variable. More... | |
Namespaces | |
| namespace | Clasp |
Detailed Description
Defines lookahead related types. Lookahead can be used as a post propagator (e.g. failed-literal detection) and optionally as an heuristic.
Definition in file lookahead.h.