#include "clasp_app.h"#include <clasp/parser.h>#include <clasp/solver.h>#include <clasp/dependency_graph.h>#include <iostream>#include <fstream>#include <cstdlib>#include <climits>#include <clasp/clause.h>
Include dependency graph for clasp_app.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | Clasp |
| namespace | Clasp::Cli |
Functions | |
| bool | Clasp::isStdIn (const std::string &in) |
| bool | Clasp::isStdOut (const std::string &out) |
| std::ostream & | Clasp::operator<< (std::ostream &os, Literal l) |
| std::istream & | Clasp::operator>> (std::istream &in, Literal &l) |