#include <parser.h>
Inheritance diagram for Clasp::OPBParser:
Classes | |
| struct | Constraint |
Public Member Functions | |
| OPBParser (PBBuilder &prg) | |
| void | setProgram (PBBuilder &prg) |
Protected Member Functions | |
| bool | doParse () |
Private Member Functions | |
| void | parseConstraint () |
| void | parseHeader () |
| void | parseOptObjective () |
| void | parseSum () |
| void | parseTerm () |
Private Attributes | |
| struct Clasp::OPBParser::Constraint | active_ |
| PBBuilder * | builder_ |
| weight_t | maxCost_ |
| weight_t | minCost_ |
| LitVec | term_ |
Detailed Description
Constructor & Destructor Documentation
| Clasp::OPBParser::OPBParser | ( | PBBuilder & | prg | ) | [explicit] |
Definition at line 338 of file parser.cpp.
Member Function Documentation
| bool Clasp::OPBParser::doParse | ( | ) | [protected, virtual] |
Implements Clasp::StreamParser.
Definition at line 340 of file parser.cpp.
| void Clasp::OPBParser::parseConstraint | ( | ) | [private] |
Definition at line 409 of file parser.cpp.
| void Clasp::OPBParser::parseHeader | ( | ) | [private] |
Definition at line 357 of file parser.cpp.
| void Clasp::OPBParser::parseOptObjective | ( | ) | [private] |
Definition at line 391 of file parser.cpp.
| void Clasp::OPBParser::parseSum | ( | ) | [private] |
Definition at line 427 of file parser.cpp.
| void Clasp::OPBParser::parseTerm | ( | ) | [private] |
Definition at line 442 of file parser.cpp.
| void Clasp::OPBParser::setProgram | ( | PBBuilder & | prg | ) |
Definition at line 339 of file parser.cpp.
Member Data Documentation
struct Clasp::OPBParser::Constraint Clasp::OPBParser::active_ [private] |
PBBuilder* Clasp::OPBParser::builder_ [private] |
weight_t Clasp::OPBParser::maxCost_ [private] |
weight_t Clasp::OPBParser::minCost_ [private] |
LitVec Clasp::OPBParser::term_ [private] |
The documentation for this class was generated from the following files: