LogiXpr/solver_8h_source.html

#pragma once


#include "equivLaws.h"

#include "expression.h"

#include <queue>

#include <utility>

#include <vector>

#include <algorithm>


extern std::unordered_map<EquivLaws::EquivLaw, std::string> equivalences;


extern int MAX_QUEUE_SIZE;


extern int MAX_EXPRESSION_LENGTH;


void preprocess(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);


std::vector<std::vector<std::string>> proveEquivalence(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);


void generateNextSteps(std::shared_ptr<Expression> expr, std::shared_ptr<Expression> end, bool &found, std::queue<std::shared_ptr<Expression>> &queue, std::unordered_map<std::string, std::pair<std::string, std::string>> &visited);

equivLaws.h
Header file for equivalence laws class.

expression.h
Header file for expression class.

MAX_EXPRESSION_LENGTH
int MAX_EXPRESSION_LENGTH
Maximum length of the expressions in the queue.
Definition solver.cpp:11

generateNextSteps
void generateNextSteps(std::shared_ptr< Expression > expr, std::shared_ptr< Expression > end, bool &found, std::queue< std::shared_ptr< Expression > > &queue, std::unordered_map< std::string, std::pair< std::string, std::string > > &visited)
Generate the next expressions from the current expression. Creates a new expression for each law that...
Definition solver.cpp:78

proveEquivalence
std::vector< std::vector< std::string > > proveEquivalence(std::shared_ptr< Expression > lhs, std::shared_ptr< Expression > rhs)
Prove the expressions are equivalence using equivalence laws by solving the left hand side to the rig...
Definition solver.cpp:34

equivalences
std::unordered_map< EquivLaws::EquivLaw, std::string > equivalences
Map of equivalences to be applied to the expressions.
Definition solver.cpp:8

MAX_QUEUE_SIZE
int MAX_QUEUE_SIZE
Maximum size of the queue of expressions to be processed.
Definition solver.cpp:10

preprocess
void preprocess(std::shared_ptr< Expression > lhs, std::shared_ptr< Expression > rhs)
Fill the map of equivalences to be applied to the expressions. Must be called before any other functi...
Definition solver.cpp:13