#include <clasp/literal.h>#include <clasp/constraint.h>#include <clasp/util/left_right_sequence.h>#include <clasp/util/misc_types.h>#include <clasp/util/atomic.h>#include <clasp/solver_strategies.h>
Include dependency graph for shared_context.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | Clasp::SatPreprocessor::Clause |
| A clause class optimized for preprocessing. More... | |
| class | Clasp::Distributor |
| Base class for distributing learnt knowledge between solvers. More... | |
| struct | Clasp::Distributor::Policy |
| struct | Clasp::ProblemStats |
| class | Clasp::SatPreprocessor |
| Base class for preprocessors working on clauses only. More... | |
| struct | Clasp::SharedContext::Share |
| class | Clasp::SharedContext |
| Aggregates information to be shared between solver objects. More... | |
| struct | Clasp::SharedContext::SharedSymTab |
| class | Clasp::ShortImplicationsGraph |
| A class for efficiently storing and propagating binary and ternary clauses. More... | |
| struct | Clasp::SatPreprocessor::Stats |
| struct | Clasp::VarInfo |
| Stores static information about a variable. More... | |
Namespaces | |
| namespace | Clasp |
Detailed Description
Contains some types shared between different solvers
Definition in file shared_context.h.