Clasp::LparseParser Class Reference

#include <parser.h>

Inheritance diagram for Clasp::LparseParser:

List of all members.

Public Member Functions
	LparseParser (Asp::LogicProgram &prg)
void	setProgram (Asp::LogicProgram &prg)
Protected Member Functions
Asp::Rule *	active () const
bool	addRule (const Asp::Rule &r) const
Asp::LogicProgram *	builder () const
virtual bool	doParse ()
virtual bool	endParse ()
Var	parseAtom ()
bool	parseBody (uint32 lits, uint32 neg, bool weights)
virtual bool	parseRuleExtension (int ruleType)=0
Private Member Functions
bool	knownRuleType (int rt)
bool	parseComputeStatement ()
bool	parseModels ()
bool	parseRule (int ruleType)
bool	parseRules ()
bool	parseSymbolTable ()
Private Attributes
Asp::Rule *	active_
Asp::LogicProgram *	builder_

---

Detailed Description

Definition at line 90 of file parser.h.

---

Constructor & Destructor Documentation

Clasp::LparseParser::LparseParser

(

Asp::LogicProgram &

prg

)

[explicit]

Definition at line 174 of file parser.cpp.

---

Member Function Documentation

Asp::Rule* Clasp::LparseParser::active

(

)

const [inline, protected]

Definition at line 101 of file parser.h.

bool Clasp::LparseParser::addRule

(

const Asp::Rule &

r

)

const [protected]

Definition at line 186 of file parser.cpp.

Asp::LogicProgram* Clasp::LparseParser::builder

(

)

const [inline, protected]

Definition at line 100 of file parser.h.

bool Clasp::LparseParser::doParse

(

)

[protected, virtual]

Implements Clasp::StreamParser.

Definition at line 191 of file parser.cpp.

bool Clasp::LparseParser::endParse

(

)

[protected, virtual]

Definition at line 289 of file parser.cpp.

bool Clasp::LparseParser::knownRuleType

(

int

rt

)

[inline, private]

Definition at line 109 of file parser.h.

Var Clasp::LparseParser::parseAtom

(

)

[protected]

Definition at line 181 of file parser.cpp.

bool Clasp::LparseParser::parseBody	(	uint32	lits,
		uint32	neg,
		bool	weights
	)		[protected]

Definition at line 244 of file parser.cpp.

bool Clasp::LparseParser::parseComputeStatement

(

)

[private]

Definition at line 268 of file parser.cpp.

bool Clasp::LparseParser::parseModels

(

)

[private]

Definition at line 283 of file parser.cpp.

bool Clasp::LparseParser::parseRule

(

int

ruleType

)

[private]

Definition at line 211 of file parser.cpp.

virtual bool Clasp::LparseParser::parseRuleExtension

(

int

ruleType

)

[protected, pure virtual]

Implemented in Clasp::DefaultLparseParser.

bool Clasp::LparseParser::parseRules

(

)

[private]

Definition at line 201 of file parser.cpp.

bool Clasp::LparseParser::parseSymbolTable

(

)

[private]

Definition at line 255 of file parser.cpp.

void Clasp::LparseParser::setProgram

(

Asp::LogicProgram &

prg

)

Definition at line 178 of file parser.cpp.

---

Member Data Documentation

Asp::Rule* Clasp::LparseParser::active_ [private]

Definition at line 111 of file parser.h.

Asp::LogicProgram* Clasp::LparseParser::builder_ [private]

Definition at line 110 of file parser.h.

---

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

• parser.h
• parser.cpp