expression.h

Go to the documentation of this file.

 
#pragma once
 
#include <cctype>
#include <iostream>
#include <memory>
#include <set>
#include <stack>
#include <string>
#include <unordered_map>
 
#define AND "&"
#define OR "|"
#define NOT "!"
#define XOR "^"
#define IMPLIES "->"
#define IFF "<=>"
#define OPEN "("
#define CLOSE ")"
#define TRUE "T"
#define FALSE "F"
const static std::unordered_map<std::string, int> precedence = {
    {NOT, 5}, {AND, 4}, {OR, 3}, {XOR, 2}, {IMPLIES, 1}, {IFF, 0}};
 
class Expression {
public:
  Expression(std::string value);
 
  std::string getValue();
 
  bool hasLeft();
 
  bool hasRight();
 
  bool isBinary();
 
  bool isVar();
 
  std::shared_ptr<Expression> getParent();
 
  std::shared_ptr<Expression> getLeft();
 
  std::shared_ptr<Expression> getRight();
 
  void setLeft(std::shared_ptr<Expression> left, std::shared_ptr<Expression> parent);
 
  void setRight(std::shared_ptr<Expression> right, std::shared_ptr<Expression> parent);
 
  void setParent(std::shared_ptr<Expression> parent);
 
  std::set<std::string> getVariables();
 
  std::shared_ptr<Expression> clone();
 
  std::shared_ptr<Expression> cloneTree();
 
  bool compare(std::shared_ptr<Expression> other);
 
  bool compareTree(std::shared_ptr<Expression> other);
 
  std::string toString();
 
  std::string toStringTree();
 
  std::string toStringMinimal();
 
private:
  std::string value;
 
  std::shared_ptr<Expression> parent;
 
  std::shared_ptr<Expression> left;
 
  std::shared_ptr<Expression> right;
};