Static Public Member Functions
Clasp::Input_t Struct Reference

#include <parser.h>

List of all members.

Static Public Member Functions

static InputFormat detectFormat (std::istream &prg)
 Auto-detect input format of program given in prg.
static bool parseDimacs (std::istream &prg, SatBuilder &api)
 Reads a CNF/WCNF in simplified DIMACS-format.
static bool parseLparse (std::istream &prg, Asp::LogicProgram &api)
 Reads a logic program in LPARSE-numeric format.
static bool parseOPB (std::istream &prg, PBBuilder &api)
 Reads a Pseudo-Boolean problem in OPB-format.

Detailed Description

Definition at line 43 of file parser.h.


Member Function Documentation

InputFormat Clasp::Input_t::detectFormat ( std::istream &  prg) [static]

Auto-detect input format of program given in prg.

Definition at line 127 of file parser.cpp.

bool Clasp::Input_t::parseDimacs ( std::istream &  prg,
SatBuilder api 
) [static]

Reads a CNF/WCNF in simplified DIMACS-format.

Parameters:
prgThe stream containing the CNF.
apiThe object in which to store the problem.
Precondition:
The api is ready, i.e. startProgram() was called.

Definition at line 149 of file parser.cpp.

bool Clasp::Input_t::parseLparse ( std::istream &  prg,
Asp::LogicProgram api 
) [static]

Reads a logic program in LPARSE-numeric format.

Parameters:
prgThe stream containing the logic program.
apiThe object in which to store the problem.
Precondition:
The api is ready, i.e. startProgram() was called.

Definition at line 144 of file parser.cpp.

bool Clasp::Input_t::parseOPB ( std::istream &  prg,
PBBuilder api 
) [static]

Reads a Pseudo-Boolean problem in OPB-format.

Parameters:
prgThe stream containing the PB-problem.
apiThe object in which to store the problem.
Precondition:
The api is ready, i.e. startProgram() was called.

Definition at line 154 of file parser.cpp.


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