Public Types | Public Member Functions | Static Public Member Functions | Public Attributes
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

Enumerator:
out_def 
out_comp 
out_json 
out_none 

Definition at line 104 of file clasp_app.h.


Constructor & Destructor Documentation

Definition at line 55 of file clasp_app.cpp.


Member Function Documentation

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.

Definition at line 106 of file clasp_app.cpp.


Member Data Documentation

Definition at line 94 of file clasp_app.h.

Definition at line 98 of file clasp_app.h.

Definition at line 97 of file clasp_app.h.

Definition at line 103 of file clasp_app.h.

Definition at line 91 of file clasp_app.h.

Definition at line 93 of file clasp_app.h.

Definition at line 92 of file clasp_app.h.

Definition at line 100 of file clasp_app.h.

Definition at line 95 of file clasp_app.h.

Definition at line 96 of file clasp_app.h.

Definition at line 102 of file clasp_app.h.

Definition at line 101 of file clasp_app.h.

Definition at line 99 of file clasp_app.h.


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


clasp
Author(s): Benjamin Kaufmann
autogenerated on Thu Aug 27 2015 12:41:41