clasp_output.h File Reference

#include <clasp/clasp_facade.h>
#include <clasp/dependency_graph.h>
#include <clasp/solver_types.h>
#include <string>

Include dependency graph for clasp_output.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Clasp::Cli::Output
class	Clasp::Cli::StatsVisitor
	Interface for printing statistics. More...
class	Clasp::Cli::JsonOutput
	Prints models and solving statistics in Json-format to stdout. More...
class	Clasp::Cli::TextOutput
	Default clasp format printer. More...

Namespaces
	Clasp
	Clasp::Cli

Functions
void	Clasp::Cli::format (const Clasp::BasicSolveEvent &ev, char *out, uint32 outSize)
void	Clasp::Cli::format (const Clasp::SolveTestEvent &ev, char *out, uint32 outSize)