Clasp::Cli::ClaspAppOptions Struct Reference

#include <clasp_app.h>

List of all members.

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 &)
Public Attributes
std::string	hccOut
bool	hideAux
char	ifs
uint8	inLbd
StringSeq	input
std::string	lemmaIn
std::string	lemmaOut
bool	onlyPre
std::string	outAtom
uint32	outf
uint8	outLbd
bool	printPort
uint8	quiet [3]

---

Detailed Description

Definition at line 85 of file clasp_app.h.

---

Member Typedef Documentation

typedef std::vector<std::string> Clasp::Cli::ClaspAppOptions::StringSeq

Definition at line 87 of file clasp_app.h.

---

Member Enumeration Documentation

enum Clasp::Cli::ClaspAppOptions::OutputFormat

Enumerator:

out_def
out_comp
out_json
out_none

Definition at line 104 of file clasp_app.h.

---

Constructor & Destructor Documentation

Clasp::Cli::ClaspAppOptions::ClaspAppOptions

(

)

Definition at line 55 of file clasp_app.cpp.

---

Member Function Documentation

void Clasp::Cli::ClaspAppOptions::initOptions

(

ProgramOptions::OptionContext &

root

)

Definition at line 58 of file clasp_app.cpp.

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

Definition at line 83 of file clasp_app.cpp.

bool Clasp::Cli::ClaspAppOptions::validateOptions

(

const ProgramOptions::ParsedOptions &

parsed

)

Definition at line 106 of file clasp_app.cpp.

---

Member Data Documentation

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

Definition at line 94 of file clasp_app.h.

bool Clasp::Cli::ClaspAppOptions::hideAux

Definition at line 98 of file clasp_app.h.

char Clasp::Cli::ClaspAppOptions::ifs

Definition at line 97 of file clasp_app.h.

uint8 Clasp::Cli::ClaspAppOptions::inLbd

Definition at line 103 of file clasp_app.h.

StringSeq Clasp::Cli::ClaspAppOptions::input

Definition at line 91 of file clasp_app.h.

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

Definition at line 93 of file clasp_app.h.

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

Definition at line 92 of file clasp_app.h.

bool Clasp::Cli::ClaspAppOptions::onlyPre

Definition at line 100 of file clasp_app.h.

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

Definition at line 95 of file clasp_app.h.

uint32 Clasp::Cli::ClaspAppOptions::outf

Definition at line 96 of file clasp_app.h.

uint8 Clasp::Cli::ClaspAppOptions::outLbd

Definition at line 102 of file clasp_app.h.

bool Clasp::Cli::ClaspAppOptions::printPort

Definition at line 101 of file clasp_app.h.

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

Definition at line 99 of file clasp_app.h.

---

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

• clasp_app.h
• clasp_app.cpp