Classes | |
| class | Clasp::Distributor |
| Base class for distributing learnt knowledge between solvers. More... | |
| struct | Clasp::ProblemStats |
| class | Clasp::SharedContext |
| Aggregates information to be shared between solver objects. More... | |
| class | Clasp::SharedDependencyGraph |
| (Positive) Body-Atom-Dependency Graph. More... | |
| class | Clasp::SharedMinimizeData |
| A type holding data (possibly) shared between a set of minimize constraints. More... | |
| class | Clasp::ShortImplicationsGraph |
| A class for efficiently storing and propagating binary and ternary clauses. More... | |
| struct | Clasp::VarInfo |
| Stores static information about a variable. More... | |