|
LogiXpr
|
Implementation file for evaluator functions. More...
#include "../include/evaluator.h"Go to the source code of this file.
Functions | |
| std::vector< std::unordered_map< std::string, bool > > | getTruthTableInputs (std::shared_ptr< Expression > lhs, std::shared_ptr< Expression > rhs) |
| Generate the truth table inputs for the given expressions. | |
| bool | evaluateExpression (std::shared_ptr< Expression > expression, std::unordered_map< std::string, bool > inputs) |
| Evaluate the expression with the given inputs. | |
| bool | isEquivalent (std::shared_ptr< Expression > lhs, std::shared_ptr< Expression > rhs) |
| Check if two expressions are equivalent. | |
Implementation file for evaluator functions.
Definition in file evaluator.cpp.