#include <assert.h>
#include <iostream>
#include <sstream>
#include <vector>
#include <stack>
#include <list>
#include "fssIO.h"
#include "SatSolver.h"
#include "Formula.h"
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. |