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.

---