Classes | Namespaces
lookahead.h File Reference
#include <clasp/solver.h>
#include <clasp/constraint.h>
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.



clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:40