evaluator.h

Go to the documentation of this file.

 
#pragma once
 
#include "expression.h"
#include <vector>
#include <cmath>
 
 
std::vector<std::unordered_map<std::string, bool>> getTruthTableInputs(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);
 
bool evaluateExpression(std::shared_ptr<Expression> expression, std::unordered_map<std::string, bool> inputs);
 
bool isEquivalent(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);