Token Struct Reference
[SAT Problem]

#include <Scanner.h>

Collaboration diagram for Token:

[legend]

List of all members.

---

Detailed Description

Syntax unit representation - also called token.

Definition at line 74 of file Scanner.h.

Public Member Functions
	Token ()
	Empty default initializer - optimized.
	Token (EToken e)
	Fast initializer of abstract token.
Public Attributes
int	m_line
	Line number in input file (starting with number 1).
EToken	m_token
	token enumeration
int	m_ext_number
	Extra number carried with token.
std::string	m_ext_text
	Extra text carried with token.

---

Constructor & Destructor Documentation

Token

(

)

[inline]

Empty default initializer - optimized.

Attention:

Data are not initialized by default constructor.

Definition at line 85 of file Scanner.h.

Token

(

EToken

e

)

[inline]

Fast initializer of abstract token.

Parameters:

e

token enumeration

Definition at line 91 of file Scanner.h.

---

Member Data Documentation

int m_line

Line number in input file (starting with number 1).

Definition at line 75 of file Scanner.h.

Referenced by FastSatSolver::operator<<(), SatProblem::Private::printError(), and RawScanner::readNext().

EToken m_token

token enumeration

Definition at line 77 of file Scanner.h.

Referenced by Cmd::fromToken(), FastSatSolver::isTokenTerminal(), FastSatSolver::operator<<(), InterpretedFormula::parse(), SatProblem::Private::parserLoop(), ParserStack::popAndCompare(), SatProblem::Private::printError(), ScannerFormulaHandler::readNext(), ScannerStringHandler::readNext(), and RawScanner::readNext().

int m_ext_number

Extra number carried with token.

Definition at line 78 of file Scanner.h.

Referenced by Cmd::fromToken(), FastSatSolver::operator<<(), and ScannerStringHandler::readNext().

std::string m_ext_text

Extra text carried with token.

Definition at line 79 of file Scanner.h.

Referenced by FastSatSolver::operator<<(), ScannerStringHandler::readNext(), and RawScanner::readNext().

---

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

• Scanner.h

---