LogiXpr
Loading...
Searching...
No Matches
Classes | Macros
expression.h File Reference

Header file for expression class. More...

#include <cctype>
#include <iostream>
#include <memory>
#include <set>
#include <stack>
#include <string>
#include <unordered_map>

Go to the source code of this file.

Classes

class  Expression
 Abstract syntax tree for logic expressions. More...
 

Macros

#define AND   "&"
 
#define OR   "|"
 
#define NOT   "!"
 
#define XOR   "^"
 
#define IMPLIES   "->"
 
#define IFF   "<=>"
 
#define OPEN   "("
 
#define CLOSE   ")"
 
#define TRUE   "T"
 
#define FALSE   "F"
 

Detailed Description

Header file for expression class.

Definition in file expression.h.