SatProblem::Private Struct Reference

Collaboration diagram for SatProblem::Private:

[legend]

List of all members.

---

Detailed Description

Definition at line 39 of file SatProblem.cpp.

Public Member Functions
void	parseFile (FILE *)
void	parserLoop (IScanner *)
void	printError (Token)
Public Attributes
bool	hasError
VariableContainer	vc
FormulaContainer	fc
std::string	fileName

---

Member Function Documentation

void parseFile

(

FILE *

fd

)

Definition at line 88 of file SatProblem.cpp.

References SatProblem::Private::fc, VariableContainer::getLength(), FormulaContainer::getLength(), SatProblem::Private::hasError, SatProblem::Private::parserLoop(), and SatProblem::Private::vc.

Referenced by SatProblem::loadFromFile(), and SatProblem::loadFromInput().

void parserLoop

(

IScanner *

scanner

)

Definition at line 130 of file SatProblem.cpp.

References Token::m_token, SatProblem::Private::printError(), IScanner::readNext(), FastSatSolver::T_EOF, FastSatSolver::T_ERR_EXPR, FastSatSolver::T_ERR_LEX, and FastSatSolver::T_ERR_PARSE.

Referenced by SatProblem::Private::parseFile().

void printError

(

Token

token

)

Definition at line 148 of file SatProblem.cpp.

References SatProblem::Private::fileName, SatProblem::Private::hasError, Token::m_line, Token::m_token, FastSatSolver::T_ERR_EXPR, FastSatSolver::T_ERR_LEX, and FastSatSolver::T_ERR_PARSE.

Referenced by SatProblem::Private::parserLoop().

---

Member Data Documentation

bool hasError

Definition at line 40 of file SatProblem.cpp.

Referenced by SatProblem::hasError(), SatProblem::Private::parseFile(), SatProblem::Private::printError(), and SatProblem::SatProblem().

VariableContainer vc

Definition at line 41 of file SatProblem.cpp.

Referenced by SatProblem::getVarName(), SatProblem::getVarsCount(), and SatProblem::Private::parseFile().

FormulaContainer fc

Definition at line 42 of file SatProblem.cpp.

Referenced by SatProblem::getFormulasCount(), SatProblem::getSatsCount(), and SatProblem::Private::parseFile().

std::string fileName

Definition at line 43 of file SatProblem.cpp.

Referenced by SatProblem::loadFromFile(), SatProblem::loadFromInput(), and SatProblem::Private::printError().

---

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

• SatProblem.cpp

---