Clasp::Cli Namespace Reference

Classes
class	ClaspApp
class	ClaspAppBase
struct	ClaspAppOptions
class	ClaspCliConfig
class	ConfigIter
class	JsonOutput
	Prints models and solving statistics in Json-format to stdout. More...
class	Output
class	StatsVisitor
	Interface for printing statistics. More...
class	TextOutput
	Default clasp format printer. More...
class	WriteCnf
class	WriteLemmas
Enumerations
enum	ConfigKey
	Valid configuration keys. More...
enum	ExitCode {   E_UNKNOWN = 0, E_INTERRUPT = 1, E_SAT = 10, E_EXHAUST = 20,   E_MEMORY = 33, E_ERROR = 65, E_NO_RUN = 128 }
enum	OptionKey
	Valid option keys. More...
Functions
template<class T >
static bool	convFlag (const char *value, T &out)
template<class T >
static bool	findInValueList (const char *value, T &out, const char *k1, int v1,...)
static bool	findInValueListImpl (const char *value, int &out, const char *k1, int v1, va_list args)
void	format (const Clasp::BasicSolveEvent &ev, char *out, uint32 outSize)
void	format (const Clasp::SolveTestEvent &ev, char *out, uint32 outSize)
static void	null_term_copy (const char *in, int inSize, char *buf, uint32 bufSize)
static std::string	prettify (const std::string &str)
void	validate (const char *ctx, const SolverParams &solver, const SolveParams &search)
Variables
const char *const	finalSep = "=============================== Accumulation ===============================|"
const char *const	rowSep = "----------------------------------------------------------------------------|"

---

Enumeration Type Documentation

enum Clasp::Cli::ConfigKey

Valid configuration keys.

Definition at line 39 of file clasp_options.h.

enum Clasp::Cli::ExitCode

Enumerator:

E_UNKNOWN	Satisfiablity of problem not knwon; search not started.
E_INTERRUPT	Run was interrupted.
E_SAT	At least one model was found.
E_EXHAUST	Search-space was completely examined.
E_MEMORY	Run was interrupted by out of memory exception.
E_ERROR	Run was interrupted by internal error.
E_NO_RUN	Search not started because of syntax or command line error.

Definition at line 40 of file clasp_app.h.

enum Clasp::Cli::OptionKey

Valid option keys.

Definition at line 54 of file clasp_options.h.

---

Function Documentation

template<class T >

static bool Clasp::Cli::convFlag	(	const char *	value,
		T &	out
	)		[static]

Definition at line 135 of file clasp_options.cpp.

template<class T >

static bool Clasp::Cli::findInValueList	(	const char *	value,
		T &	out,
		const char *	k1,
		int	v1,
			...
	)		[static]

Definition at line 123 of file clasp_options.cpp.

static bool Clasp::Cli::findInValueListImpl	(	const char *	value,
		int &	out,
		const char *	k1,
		int	v1,
		va_list	args
	)		[static]

Definition at line 113 of file clasp_options.cpp.

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

Definition at line 46 of file clasp_output.cpp.

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

Definition at line 63 of file clasp_output.cpp.

static void Clasp::Cli::null_term_copy	(	const char *	in,
		int	inSize,
		char *	buf,
		uint32	bufSize
	)		[static]

Definition at line 40 of file clasp_output.cpp.

static std::string Clasp::Cli::prettify

(

const std::string &

str

)

[inline, static]

Definition at line 559 of file clasp_output.cpp.

void Clasp::Cli::validate	(	const char *	ctx,
		const SolverParams &	solver,
		const SolveParams &	search
	)

Definition at line 595 of file clasp_options.cpp.

---

Variable Documentation

const char* const Clasp::Cli::finalSep = "=============================== Accumulation ===============================|"

Definition at line 557 of file clasp_output.cpp.

const char* const Clasp::Cli::rowSep = "----------------------------------------------------------------------------|"

Definition at line 556 of file clasp_output.cpp.