Formula.cpp File Reference

#include <assert.h>
#include <iostream>
#include <sstream>
#include <vector>
#include <stack>
#include <list>
#include "fssIO.h"
#include "SatSolver.h"
#include "Formula.h"

Include dependency graph for Formula.cpp:

Go to the source code of this file.

Namespaces

namespace  FastSatSolver

Classes

class  ParserStack
class  Cmd
class  CmdConstant
class  CmdVariable
class  CmdUnaryNot
class  CmdBinary
class  CmdList
struct  InterpretedFormula::Private

Typedefs

typedef std::stack< bool > TRuntimeStack

Functions

int tableGetIndex (EToken e)
EToken tableLookup (EToken topTerm, EToken input)
bool isTokenTerminal (Token token)

Variables

static const int TABLE_SIZE = 8
 Precedence table size (2 dimensional table).
static const EToken table [TABLE_SIZE][TABLE_SIZE]
 Precedence table.


Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4