#include <parser.h>

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:

prg	The stream containing the CNF.
api	The object in which to store the problem.

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:

prg	The stream containing the logic program.
api	The object in which to store the problem.

Definition at line 144 of file parser.cpp.

Reads a Pseudo-Boolean problem in OPB-format.

Parameters:

prg	The stream containing the PB-problem.
api	The object in which to store the problem.

Definition at line 154 of file parser.cpp.

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