ParserStack Class Reference

List of all members.

---

Detailed Description

Definition at line 103 of file Formula.cpp.

Public Member Functions
void	push (Token token)
void	insertLt ()
Token	top ()
Token	pop ()
bool	popAndCompare (EToken e)
Token	topTerm ()

---

Member Function Documentation

void push

(

Token

token

)

[inline]

Definition at line 105 of file Formula.cpp.

Referenced by InterpretedFormula::InterpretedFormula(), and InterpretedFormula::parse().

void insertLt

(

)

[inline]

Definition at line 110 of file Formula.cpp.

References FastSatSolver::isTokenTerminal(), and FastSatSolver::T_PARSER_LT.

Referenced by InterpretedFormula::parse().

Token top

(

)

[inline]

Definition at line 122 of file Formula.cpp.

Referenced by InterpretedFormula::isValid().

Token pop

(

)

[inline]

Definition at line 126 of file Formula.cpp.

Referenced by InterpretedFormula::parse(), and ParserStack::popAndCompare().

bool popAndCompare

(

EToken

e

)

[inline]

Definition at line 132 of file Formula.cpp.

References Token::m_token, and ParserStack::pop().

Referenced by InterpretedFormula::parse().

Token topTerm

(

)

[inline]

Definition at line 137 of file Formula.cpp.

References FastSatSolver::isTokenTerminal().

Referenced by InterpretedFormula::isValid(), and InterpretedFormula::parse().

---

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

• Formula.cpp

---