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	ExitCode {   E_UNKNOWN = 0, E_INTERRUPT = 1, E_SAT = 10, E_EXHAUST = 20,   E_MEMORY = 33, E_ERROR = 65, E_NO_RUN = 128 }
enum	ConfigKey {   config_aux_max_value, config_many, config_usr, config_usr_max_value = 127,   config_asp_default = config_tweety, config_sat_default = config_trendy, config_tester_default = config_frumpy }
	Valid configuration keys. More...
enum	OptionKey { option_category_end }
	Valid option keys. More...

Functions
void	validate (const char *ctx, const SolverParams &solver, const SolveParams &search)
void	format (const Clasp::BasicSolveEvent &ev, char *out, uint32 outSize)
void	format (const Clasp::SolveTestEvent &ev, char *out, uint32 outSize)
template<class T >
bool	store (const char *value, T &out)
bool	isDisabled (const char *optValue)

Variables
const char *const	rowSep = "----------------------------------------------------------------------------|"
const char *const	finalSep = "=============================== Accumulation ===============================|"

Enumeration Type Documentation

enum Clasp::Cli::ConfigKey

Valid configuration keys.

Enumerator
config_aux_max_value
config_many
config_usr
config_usr_max_value
config_asp_default
config_sat_default
config_tester_default

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.

enum Clasp::Cli::OptionKey

Valid option keys.

Enumerator
option_category_end

Function Documentation

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

Here is the call graph for this function:

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

Here is the call graph for this function:

bool Clasp::Cli::isDisabled

(

const char *

optValue

)

template<class T >

bool Clasp::Cli::store	(	const char *	value,
		T &	out
	)

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

Here is the call graph for this function:

Variable Documentation

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

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