#include <clasp_app.h>

Collaboration diagram for Clasp::Cli::ClaspAppOptions:

Public Types
enum	OutputFormat { out_def = 0, out_comp = 1, out_json = 2, out_none = 3 }

typedef std::vector< std::string >	StringSeq

Public Member Functions
	ClaspAppOptions ()

void	initOptions (ProgramOptions::OptionContext &root)

bool	validateOptions (const ProgramOptions::ParsedOptions &parsed)

Static Public Member Functions
static bool	mappedOpts (ClaspAppOptions *, const std::string &, const std::string &)

Member Typedef Documentation

Member Enumeration Documentation

Clasp::Cli::ClaspAppOptions::ClaspAppOptions ( )

void Clasp::Cli::ClaspAppOptions::initOptions ( ProgramOptions::OptionContext & root )

Here is the call graph for this function:

bool Clasp::Cli::ClaspAppOptions::mappedOpts	(	ClaspAppOptions *	this_,
		const std::string &	name,
		const std::string &	value
	)

static

Here is the call graph for this function:

bool Clasp::Cli::ClaspAppOptions::validateOptions ( const ProgramOptions::ParsedOptions & parsed )

std::string Clasp::Cli::ClaspAppOptions::hccOut

bool Clasp::Cli::ClaspAppOptions::hideAux

char Clasp::Cli::ClaspAppOptions::ifs

uint8 Clasp::Cli::ClaspAppOptions::inLbd

StringSeq Clasp::Cli::ClaspAppOptions::input

std::string Clasp::Cli::ClaspAppOptions::lemmaIn

std::string Clasp::Cli::ClaspAppOptions::lemmaOut

bool Clasp::Cli::ClaspAppOptions::onlyPre

std::string Clasp::Cli::ClaspAppOptions::outAtom

uint32 Clasp::Cli::ClaspAppOptions::outf

uint8 Clasp::Cli::ClaspAppOptions::outLbd

bool Clasp::Cli::ClaspAppOptions::printPort

uint8 Clasp::Cli::ClaspAppOptions::quiet[3]

The documentation for this struct was generated from the following files:

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/app/clingo/src/clasp/clasp_app.h
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/app/clingo/src/clasp/clasp_app.cpp