clasp_app.cpp File Reference

#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:

Namespaces
	Clasp
	Clasp::Cli

Functions
std::ostream &	Clasp::operator<< (std::ostream &os, Literal l)
std::istream &	Clasp::operator>> (std::istream &in, Literal &l)
bool	Clasp::isStdIn (const std::string &in)
bool	Clasp::isStdOut (const std::string &out)