Clasp::DimacsParser Class Reference

#include <parser.h>

Inheritance diagram for Clasp::DimacsParser:

List of all members.

Public Member Functions
	DimacsParser (SatBuilder &prg)
void	setProgram (SatBuilder &prg)
Protected Member Functions
bool	doParse ()
Private Member Functions
void	parseClauses ()
void	parseHeader ()
Private Attributes
SatBuilder *	builder_
int	numVar_
bool	wcnf_

---

Detailed Description

Definition at line 123 of file parser.h.

---

Constructor & Destructor Documentation

Clasp::DimacsParser::DimacsParser

(

SatBuilder &

prg

)

[explicit]

Definition at line 295 of file parser.cpp.

---

Member Function Documentation

bool Clasp::DimacsParser::doParse

(

)

[protected, virtual]

Implements Clasp::StreamParser.

Definition at line 298 of file parser.cpp.

void Clasp::DimacsParser::parseClauses

(

)

[private]

Definition at line 318 of file parser.cpp.

void Clasp::DimacsParser::parseHeader

(

)

[private]

Definition at line 305 of file parser.cpp.

void Clasp::DimacsParser::setProgram

(

SatBuilder &

prg

)

Definition at line 296 of file parser.cpp.

---

Member Data Documentation

SatBuilder* Clasp::DimacsParser::builder_ [private]

Definition at line 132 of file parser.h.

int Clasp::DimacsParser::numVar_ [private]

Definition at line 133 of file parser.h.

bool Clasp::DimacsParser::wcnf_ [private]

Definition at line 134 of file parser.h.

---

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

• parser.h
• parser.cpp