LogiXpr
Loading...
Searching...
No Matches
Functions
evaluator.h File Reference

Header file for evaluator functions. More...

#include "expression.h"
#include <vector>
#include <cmath>

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.
 

Detailed Description

Header file for evaluator functions.

Definition in file evaluator.h.