diff --git a/index.html b/index.html
index 4f9b794..c409d98 100644
--- a/index.html
+++ b/index.html
@@ -5,7 +5,7 @@
 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <meta name="generator" content="Doxygen 1.9.1"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>LogiXpr: Main Page</title>
+<title>LogiXpr: LogiXpr</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="jquery.js"></script>
 <script type="text/javascript" src="dynsections.js"></script>
@@ -62,10 +62,50 @@
 
 <div class="PageDoc"><div class="header">
   <div class="headertitle">
-<div class="title">LogiXpr Documentation</div>  </div>
+<div class="title">LogiXpr </div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><p><a class="anchor" id="md_README"></a> LogiXpr </p>
+<div class="textblock"><p><a class="anchor" id="md_README"></a><img src="https://img.shields.io/github/license/ericlin-jpg/LogiXpr" alt="License" class="inline"/> <a href="https://ericlin-jpg.github.io/LogiXpr/"><img src="https://img.shields.io/badge/docs-read-blue" alt="Static Badge" class="inline"/></a> <img src="https://img.shields.io/github/repo-size/EricLin-jpg/LogiXpr" alt="GitHub repo size" class="inline"/></p>
+<p>LogiXpr is a C++ console application that evaluates boolean expressions. It supports the following operators:</p><ul>
+<li><code>!</code> - not</li>
+<li><code>&amp;</code> - and</li>
+<li><code>|</code> - or</li>
+<li><code>^</code> - xor</li>
+<li><code>-&gt;</code> - implies</li>
+<li><code>&lt;=&gt;</code> - if and only if</li>
+</ul>
+<p>It also supports the following constants:</p><ul>
+<li><code>T</code> - true</li>
+<li><code>F</code> - false</li>
+</ul>
+<p>And variables from <code>a</code> to <code>z</code>.</p>
+<h1><a class="anchor" id="autotoc_md1"></a>
+How it works</h1>
+<p>LogiXpr utilizes the shunting yard algorithm to convert expressions into abstract syntax trees (ASTs). These ASTs are subsequently evaluated to determine their equivalence using a truth table analysis. If an equivalence is detected, LogiXpr proceeds to recursively evaluate the initial AST by testing each node against the possible equivalences defined in the <code>include\<a class="el" href="equivLaws_8h.html" title="Header file for equivalence laws class.">equivLaws.h</a></code> file.</p>
+<p>To find the shortest equivalent expression, LogiXpr employs a breadth-first search algorithm. This search algorithm systematically explores various transformations and evaluates the resulting expressions at each level. By leveraging the breadth-first search approach, LogiXpr efficiently identifies the shortest equivalent expression by considering all possible transformations at each step before delving deeper into the search space.</p>
+<h1><a class="anchor" id="autotoc_md2"></a>
+Preview</h1>
+<div style="display: flex;"> <div style="flex: 50%; padding-right: 5px;"> <img src="preview/preview_1.png" alt="Preview 1" width="100%" class="inline"/> </div> <div style="flex: 50%; padding-left: 5px;"> <img src="preview/preview_2.png" alt="Preview 2" width="100%" class="inline"/> </div> </div><h1><a class="anchor" id="autotoc_md3"></a>
+Installation</h1>
+<p>To build and install LogiXpr, you will need to have CMake installed on your system. You can download CMake from the official website: <a href="https://cmake.org/download/">https://cmake.org/download/</a>.</p>
+<ol type="1">
+<li>Clone the repository <div class="fragment"><div class="line">git clone https://github.com/ericlin-jpg/LogiXpr.git</div>
+</div><!-- fragment --></li>
+<li>Create a build directory <div class="fragment"><div class="line">cd LogiXpr</div>
+<div class="line">mkdir build</div>
+<div class="line">cd build</div>
+</div><!-- fragment --></li>
+<li>Run CMake <div class="fragment"><div class="line">cmake ..</div>
+</div><!-- fragment --></li>
+<li>Build the project <div class="fragment"><div class="line">cmake --build . --config Release</div>
+</div><!-- fragment --></li>
+<li>Go to the <code>bin</code> directory and run the executable <div class="fragment"><div class="line">cd bin</div>
+<div class="line">./LogiXpr</div>
+</div><!-- fragment --></li>
+</ol>
+<h1><a class="anchor" id="autotoc_md4"></a>
+Running Unit Tests</h1>
+<p>To run the unit tests in <code>tests</code>, run <code>build.sh</code>. </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->
diff --git a/search/all_10.js b/search/all_10.js
index fe62c1e..b9f1af2 100644
--- a/search/all_10.js
+++ b/search/all_10.js
@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['tokenize_102',['tokenize',['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp'],['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp']]],
-  ['tostring_103',['toString',['../classExpression.html#a6c01eb2a04250284ec1562f4830e0b68',1,'Expression']]],
-  ['tostringminimal_104',['toStringMinimal',['../classExpression.html#adfab3be63e7acf2f6ed671eadc78c418',1,'Expression']]],
-  ['tostringtree_105',['toStringTree',['../classExpression.html#a72d091fe31b94dec8bcb6a359ccedafb',1,'Expression']]],
-  ['true_106',['TRUE',['../group__stringMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d',1,'expression.h']]]
+  ['tokenize_103',['tokenize',['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp'],['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp']]],
+  ['tostring_104',['toString',['../classExpression.html#a6c01eb2a04250284ec1562f4830e0b68',1,'Expression']]],
+  ['tostringminimal_105',['toStringMinimal',['../classExpression.html#adfab3be63e7acf2f6ed671eadc78c418',1,'Expression']]],
+  ['tostringtree_106',['toStringTree',['../classExpression.html#a72d091fe31b94dec8bcb6a359ccedafb',1,'Expression']]],
+  ['true_107',['TRUE',['../group__stringMacros.html#gaa8cecfc5c5c054d2875c03e77b7be15d',1,'expression.h']]]
 ];
diff --git a/search/all_11.js b/search/all_11.js
index dd006f3..f8533fc 100644
--- a/search/all_11.js
+++ b/search/all_11.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['value_107',['value',['../classExpression.html#adda79355b3caba02c27fe815c3f81769',1,'Expression']]]
+  ['value_108',['value',['../classExpression.html#adda79355b3caba02c27fe815c3f81769',1,'Expression']]]
 ];
diff --git a/search/all_12.js b/search/all_12.js
index 7ca1387..bec4496 100644
--- a/search/all_12.js
+++ b/search/all_12.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['xor_108',['XOR',['../group__stringMacros.html#ga45cd11034d1a7d86c3a88d36f5e7f1ab',1,'expression.h']]]
+  ['xor_109',['XOR',['../group__stringMacros.html#ga45cd11034d1a7d86c3a88d36f5e7f1ab',1,'expression.h']]]
 ];
diff --git a/search/all_9.js b/search/all_9.js
index f25b0c3..5def839 100644
--- a/search/all_9.js
+++ b/search/all_9.js
@@ -1,5 +1,6 @@
 var searchData=
 [
   ['laws_76',['laws',['../classEquivLaws.html#a2cedb4157e4f9bdce82bb14138d10459',1,'EquivLaws']]],
-  ['left_77',['left',['../classExpression.html#a77cb37b491d271a0e61f6144fb81e382',1,'Expression']]]
+  ['left_77',['left',['../classExpression.html#a77cb37b491d271a0e61f6144fb81e382',1,'Expression']]],
+  ['logixpr_78',['LogiXpr',['../index.html',1,'']]]
 ];
diff --git a/search/all_a.js b/search/all_a.js
index 48e3764..caac5a6 100644
--- a/search/all_a.js
+++ b/search/all_a.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['main_78',['main',['../main_8cpp.html#ae66f6b31b5ad750f1fe042a706a4e3d4',1,'main.cpp']]],
-  ['main_2ecpp_79',['main.cpp',['../main_8cpp.html',1,'']]]
+  ['main_79',['main',['../main_8cpp.html#ae66f6b31b5ad750f1fe042a706a4e3d4',1,'main.cpp']]],
+  ['main_2ecpp_80',['main.cpp',['../main_8cpp.html',1,'']]]
 ];
diff --git a/search/all_b.js b/search/all_b.js
index e9cc0e6..3b88484 100644
--- a/search/all_b.js
+++ b/search/all_b.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['negation_80',['negation',['../classEquivLaws.html#ad98580eb9e0a31f095de0c32d8413437',1,'EquivLaws']]],
-  ['not_81',['NOT',['../group__stringMacros.html#gad3e9fe0ec59d2dbb3982ababa042720c',1,'expression.h']]]
+  ['negation_81',['negation',['../classEquivLaws.html#ad98580eb9e0a31f095de0c32d8413437',1,'EquivLaws']]],
+  ['not_82',['NOT',['../group__stringMacros.html#gad3e9fe0ec59d2dbb3982ababa042720c',1,'expression.h']]]
 ];
diff --git a/search/all_c.js b/search/all_c.js
index bc1f8bd..c62eabf 100644
--- a/search/all_c.js
+++ b/search/all_c.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['open_82',['OPEN',['../group__stringMacros.html#ga1354b70ac6803a06beebe84f61b5f95b',1,'expression.h']]],
-  ['or_83',['OR',['../group__stringMacros.html#ga3363ca4d6d3cc0230b2804280591c991',1,'expression.h']]]
+  ['open_83',['OPEN',['../group__stringMacros.html#ga1354b70ac6803a06beebe84f61b5f95b',1,'expression.h']]],
+  ['or_84',['OR',['../group__stringMacros.html#ga3363ca4d6d3cc0230b2804280591c991',1,'expression.h']]]
 ];
diff --git a/search/all_d.js b/search/all_d.js
index 9744ff1..40354d5 100644
--- a/search/all_d.js
+++ b/search/all_d.js
@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['parent_84',['parent',['../classExpression.html#afcbaac896b3d7619794c9e3eefd8d4e2',1,'Expression']]],
-  ['parse_85',['parse',['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp'],['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp']]],
-  ['parser_20functions_86',['Parser functions',['../group__parser.html',1,'']]],
-  ['parser_2ecpp_87',['parser.cpp',['../parser_8cpp.html',1,'']]],
-  ['parser_2eh_88',['parser.h',['../parser_8h.html',1,'']]],
-  ['preprocess_89',['preprocess',['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]],
-  ['proveequivalence_90',['proveEquivalence',['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]]
+  ['parent_85',['parent',['../classExpression.html#afcbaac896b3d7619794c9e3eefd8d4e2',1,'Expression']]],
+  ['parse_86',['parse',['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp'],['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp']]],
+  ['parser_20functions_87',['Parser functions',['../group__parser.html',1,'']]],
+  ['parser_2ecpp_88',['parser.cpp',['../parser_8cpp.html',1,'']]],
+  ['parser_2eh_89',['parser.h',['../parser_8h.html',1,'']]],
+  ['preprocess_90',['preprocess',['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]],
+  ['proveequivalence_91',['proveEquivalence',['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]]
 ];
diff --git a/search/all_e.js b/search/all_e.js
index c5f852a..327ae72 100644
--- a/search/all_e.js
+++ b/search/all_e.js
@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['readme_2emd_91',['README.md',['../README_8md.html',1,'']]],
-  ['replace_92',['replace',['../classEquivLaws.html#a464b315e2ce4946447041066e69d1e05',1,'EquivLaws']]],
-  ['right_93',['right',['../classExpression.html#a0156954da1ef8ecbde7994ba001fc265',1,'Expression']]]
+  ['readme_2emd_92',['README.md',['../README_8md.html',1,'']]],
+  ['replace_93',['replace',['../classEquivLaws.html#a464b315e2ce4946447041066e69d1e05',1,'EquivLaws']]],
+  ['right_94',['right',['../classExpression.html#a0156954da1ef8ecbde7994ba001fc265',1,'Expression']]]
 ];
diff --git a/search/all_f.js b/search/all_f.js
index 93c4978..04bc592 100644
--- a/search/all_f.js
+++ b/search/all_f.js
@@ -1,11 +1,11 @@
 var searchData=
 [
-  ['setleft_94',['setLeft',['../classExpression.html#afa65e7451f6b17779c2a44e7c388dd00',1,'Expression']]],
-  ['setparent_95',['setParent',['../classExpression.html#ab7f8b63431f2d840612fe5a48d11c7c2',1,'Expression']]],
-  ['setright_96',['setRight',['../classExpression.html#a475e30b6c83e8b4ee7f5e761431d51d0',1,'Expression']]],
-  ['solver_20functions_97',['Solver functions',['../group__solver.html',1,'']]],
-  ['solver_2ecpp_98',['solver.cpp',['../solver_8cpp.html',1,'']]],
-  ['solver_2eh_99',['solver.h',['../solver_8h.html',1,'']]],
-  ['string_20macros_100',['String macros',['../group__stringMacros.html',1,'']]],
-  ['success_101',['SUCCESS',['../main_8cpp.html#aa90cac659d18e8ef6294c7ae337f6b58',1,'main.cpp']]]
+  ['setleft_95',['setLeft',['../classExpression.html#afa65e7451f6b17779c2a44e7c388dd00',1,'Expression']]],
+  ['setparent_96',['setParent',['../classExpression.html#ab7f8b63431f2d840612fe5a48d11c7c2',1,'Expression']]],
+  ['setright_97',['setRight',['../classExpression.html#a475e30b6c83e8b4ee7f5e761431d51d0',1,'Expression']]],
+  ['solver_20functions_98',['Solver functions',['../group__solver.html',1,'']]],
+  ['solver_2ecpp_99',['solver.cpp',['../solver_8cpp.html',1,'']]],
+  ['solver_2eh_100',['solver.h',['../solver_8h.html',1,'']]],
+  ['string_20macros_101',['String macros',['../group__stringMacros.html',1,'']]],
+  ['success_102',['SUCCESS',['../main_8cpp.html#aa90cac659d18e8ef6294c7ae337f6b58',1,'main.cpp']]]
 ];
diff --git a/search/classes_0.js b/search/classes_0.js
index b4c2662..0f59c45 100644
--- a/search/classes_0.js
+++ b/search/classes_0.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['equivlaws_109',['EquivLaws',['../classEquivLaws.html',1,'']]],
-  ['expression_110',['Expression',['../classExpression.html',1,'']]]
+  ['equivlaws_110',['EquivLaws',['../classEquivLaws.html',1,'']]],
+  ['expression_111',['Expression',['../classExpression.html',1,'']]]
 ];
diff --git a/search/defines_0.js b/search/defines_0.js
index 0f1b2e6..a63a7b4 100644
--- a/search/defines_0.js
+++ b/search/defines_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['alert_202',['ALERT',['../main_8cpp.html#ada3f1f3fa9b684d837200490fbb07c26',1,'main.cpp']]]
+  ['alert_203',['ALERT',['../main_8cpp.html#ada3f1f3fa9b684d837200490fbb07c26',1,'main.cpp']]]
 ];
diff --git a/search/defines_1.js b/search/defines_1.js
index 125d4c5..2fb192c 100644
--- a/search/defines_1.js
+++ b/search/defines_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['failure_203',['FAILURE',['../main_8cpp.html#a6d58f9ac447476b4e084d7ca383f5183',1,'main.cpp']]]
+  ['failure_204',['FAILURE',['../main_8cpp.html#a6d58f9ac447476b4e084d7ca383f5183',1,'main.cpp']]]
 ];
diff --git a/search/defines_2.js b/search/defines_2.js
index 5a4f4b0..9736eb1 100644
--- a/search/defines_2.js
+++ b/search/defines_2.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['success_204',['SUCCESS',['../main_8cpp.html#aa90cac659d18e8ef6294c7ae337f6b58',1,'main.cpp']]]
+  ['success_205',['SUCCESS',['../main_8cpp.html#aa90cac659d18e8ef6294c7ae337f6b58',1,'main.cpp']]]
 ];
diff --git a/search/files_0.js b/search/files_0.js
index 244cbca..ca0830f 100644
--- a/search/files_0.js
+++ b/search/files_0.js
@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['equivlaws_2ecpp_111',['equivLaws.cpp',['../equivLaws_8cpp.html',1,'']]],
-  ['equivlaws_2eh_112',['equivLaws.h',['../equivLaws_8h.html',1,'']]],
-  ['evaluator_2ecpp_113',['evaluator.cpp',['../evaluator_8cpp.html',1,'']]],
-  ['evaluator_2eh_114',['evaluator.h',['../evaluator_8h.html',1,'']]],
-  ['expression_2ecpp_115',['expression.cpp',['../expression_8cpp.html',1,'']]],
-  ['expression_2eh_116',['expression.h',['../expression_8h.html',1,'']]]
+  ['equivlaws_2ecpp_112',['equivLaws.cpp',['../equivLaws_8cpp.html',1,'']]],
+  ['equivlaws_2eh_113',['equivLaws.h',['../equivLaws_8h.html',1,'']]],
+  ['evaluator_2ecpp_114',['evaluator.cpp',['../evaluator_8cpp.html',1,'']]],
+  ['evaluator_2eh_115',['evaluator.h',['../evaluator_8h.html',1,'']]],
+  ['expression_2ecpp_116',['expression.cpp',['../expression_8cpp.html',1,'']]],
+  ['expression_2eh_117',['expression.h',['../expression_8h.html',1,'']]]
 ];
diff --git a/search/files_1.js b/search/files_1.js
index a55e2be..72134dd 100644
--- a/search/files_1.js
+++ b/search/files_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['main_2ecpp_117',['main.cpp',['../main_8cpp.html',1,'']]]
+  ['main_2ecpp_118',['main.cpp',['../main_8cpp.html',1,'']]]
 ];
diff --git a/search/files_2.js b/search/files_2.js
index bc7e93c..917a793 100644
--- a/search/files_2.js
+++ b/search/files_2.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['parser_2ecpp_118',['parser.cpp',['../parser_8cpp.html',1,'']]],
-  ['parser_2eh_119',['parser.h',['../parser_8h.html',1,'']]]
+  ['parser_2ecpp_119',['parser.cpp',['../parser_8cpp.html',1,'']]],
+  ['parser_2eh_120',['parser.h',['../parser_8h.html',1,'']]]
 ];
diff --git a/search/files_3.js b/search/files_3.js
index b8055dc..5d7ea81 100644
--- a/search/files_3.js
+++ b/search/files_3.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['readme_2emd_120',['README.md',['../README_8md.html',1,'']]]
+  ['readme_2emd_121',['README.md',['../README_8md.html',1,'']]]
 ];
diff --git a/search/files_4.js b/search/files_4.js
index 464476b..5b9b4e2 100644
--- a/search/files_4.js
+++ b/search/files_4.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['solver_2ecpp_121',['solver.cpp',['../solver_8cpp.html',1,'']]],
-  ['solver_2eh_122',['solver.h',['../solver_8h.html',1,'']]]
+  ['solver_2ecpp_122',['solver.cpp',['../solver_8cpp.html',1,'']]],
+  ['solver_2eh_123',['solver.h',['../solver_8h.html',1,'']]]
 ];
diff --git a/search/functions_0.js b/search/functions_0.js
index 20c21cb..2be35fb 100644
--- a/search/functions_0.js
+++ b/search/functions_0.js
@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['absorption_123',['absorption',['../classEquivLaws.html#a688085551abdc907ade11ca45da406cb',1,'EquivLaws']]],
-  ['associative_124',['associative',['../classEquivLaws.html#a49aed8dae1a6e850bd976c02873401bc',1,'EquivLaws']]],
-  ['associativereversed_125',['associativeReversed',['../classEquivLaws.html#ab3ac59b7e474af1558614859a423c162',1,'EquivLaws']]]
+  ['absorption_124',['absorption',['../classEquivLaws.html#a688085551abdc907ade11ca45da406cb',1,'EquivLaws']]],
+  ['associative_125',['associative',['../classEquivLaws.html#a49aed8dae1a6e850bd976c02873401bc',1,'EquivLaws']]],
+  ['associativereversed_126',['associativeReversed',['../classEquivLaws.html#ab3ac59b7e474af1558614859a423c162',1,'EquivLaws']]]
 ];
diff --git a/search/functions_1.js b/search/functions_1.js
index cab7d1b..beccad1 100644
--- a/search/functions_1.js
+++ b/search/functions_1.js
@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['bidirectionalimplication0_126',['bidirectionalImplication0',['../classEquivLaws.html#a0a674a082136e812b2534a6dc41e3b2b',1,'EquivLaws']]],
-  ['bidirectionalimplication0reversed_127',['bidirectionalImplication0Reversed',['../classEquivLaws.html#ae478888f9d88af1e7a332ec094b50240',1,'EquivLaws']]],
-  ['bidirectionalimplication1_128',['bidirectionalImplication1',['../classEquivLaws.html#ac215fdf1005eb0e68e02aec0a944f9e2',1,'EquivLaws']]],
-  ['bidirectionalimplication2_129',['bidirectionalImplication2',['../classEquivLaws.html#a8d89920dfe378458c815f9984b917ce5',1,'EquivLaws']]],
-  ['bidirectionalimplication2reversed_130',['bidirectionalImplication2Reversed',['../classEquivLaws.html#a2d4f6a5c6ef8b0a77a9db644e3f5a5dc',1,'EquivLaws']]],
-  ['bidirectionalimplication3_131',['bidirectionalImplication3',['../classEquivLaws.html#a2b060a607ed9ce4fd1bedbf9eba2774d',1,'EquivLaws']]],
-  ['bidirectionalimplication3reversed_132',['bidirectionalImplication3Reversed',['../classEquivLaws.html#adda0d2f3195397f28b85c8e8b7a2fd46',1,'EquivLaws']]],
-  ['bidirectionalimplication4_133',['bidirectionalImplication4',['../classEquivLaws.html#af6a98182da383e73e51d32cecd92fedc',1,'EquivLaws']]],
-  ['bidirectionalimplication4reversed_134',['bidirectionalImplication4Reversed',['../classEquivLaws.html#ac9b31f5118e554eb3232314806d45d90',1,'EquivLaws']]]
+  ['bidirectionalimplication0_127',['bidirectionalImplication0',['../classEquivLaws.html#a0a674a082136e812b2534a6dc41e3b2b',1,'EquivLaws']]],
+  ['bidirectionalimplication0reversed_128',['bidirectionalImplication0Reversed',['../classEquivLaws.html#ae478888f9d88af1e7a332ec094b50240',1,'EquivLaws']]],
+  ['bidirectionalimplication1_129',['bidirectionalImplication1',['../classEquivLaws.html#ac215fdf1005eb0e68e02aec0a944f9e2',1,'EquivLaws']]],
+  ['bidirectionalimplication2_130',['bidirectionalImplication2',['../classEquivLaws.html#a8d89920dfe378458c815f9984b917ce5',1,'EquivLaws']]],
+  ['bidirectionalimplication2reversed_131',['bidirectionalImplication2Reversed',['../classEquivLaws.html#a2d4f6a5c6ef8b0a77a9db644e3f5a5dc',1,'EquivLaws']]],
+  ['bidirectionalimplication3_132',['bidirectionalImplication3',['../classEquivLaws.html#a2b060a607ed9ce4fd1bedbf9eba2774d',1,'EquivLaws']]],
+  ['bidirectionalimplication3reversed_133',['bidirectionalImplication3Reversed',['../classEquivLaws.html#adda0d2f3195397f28b85c8e8b7a2fd46',1,'EquivLaws']]],
+  ['bidirectionalimplication4_134',['bidirectionalImplication4',['../classEquivLaws.html#af6a98182da383e73e51d32cecd92fedc',1,'EquivLaws']]],
+  ['bidirectionalimplication4reversed_135',['bidirectionalImplication4Reversed',['../classEquivLaws.html#ac9b31f5118e554eb3232314806d45d90',1,'EquivLaws']]]
 ];
diff --git a/search/functions_2.js b/search/functions_2.js
index d4cfab5..83076f9 100644
--- a/search/functions_2.js
+++ b/search/functions_2.js
@@ -1,8 +1,8 @@
 var searchData=
 [
-  ['clone_135',['clone',['../classExpression.html#ad307c4a066b114d506a53ad61bc1691d',1,'Expression']]],
-  ['clonetree_136',['cloneTree',['../classExpression.html#a999fa1aabafdfca3178177259211bc88',1,'Expression']]],
-  ['commutative_137',['commutative',['../classEquivLaws.html#a39a8514b3383a434a5586075c07166e1',1,'EquivLaws']]],
-  ['compare_138',['compare',['../classExpression.html#a3aca4814f95328919d9d0be996ba0010',1,'Expression']]],
-  ['comparetree_139',['compareTree',['../classExpression.html#a0c0c508b8b26b4182df600e0ecc360f1',1,'Expression']]]
+  ['clone_136',['clone',['../classExpression.html#ad307c4a066b114d506a53ad61bc1691d',1,'Expression']]],
+  ['clonetree_137',['cloneTree',['../classExpression.html#a999fa1aabafdfca3178177259211bc88',1,'Expression']]],
+  ['commutative_138',['commutative',['../classEquivLaws.html#a39a8514b3383a434a5586075c07166e1',1,'EquivLaws']]],
+  ['compare_139',['compare',['../classExpression.html#a3aca4814f95328919d9d0be996ba0010',1,'Expression']]],
+  ['comparetree_140',['compareTree',['../classExpression.html#a0c0c508b8b26b4182df600e0ecc360f1',1,'Expression']]]
 ];
diff --git a/search/functions_3.js b/search/functions_3.js
index 94d4f3d..0437190 100644
--- a/search/functions_3.js
+++ b/search/functions_3.js
@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['demorgan_140',['deMorgan',['../classEquivLaws.html#ad14007b64daf53cbbb86f2ec11364889',1,'EquivLaws']]],
-  ['demorganreversed_141',['deMorganReversed',['../classEquivLaws.html#aae3cff16cab37a2203cd9c91ff9a119c',1,'EquivLaws']]],
-  ['distributive_142',['distributive',['../classEquivLaws.html#a307508c734eadb5d9bcfb936818b0bb5',1,'EquivLaws']]],
-  ['distributivereversed_143',['distributiveReversed',['../classEquivLaws.html#a6e376cdb40a0d09cf11062f0b3a0190b',1,'EquivLaws']]],
-  ['domination_144',['domination',['../classEquivLaws.html#a411e741a9c5b20c3be9e3ae5b6a235ce',1,'EquivLaws']]],
-  ['doublenegation_145',['doubleNegation',['../classEquivLaws.html#afe97f1d782ffda7851bec85d041e5c8f',1,'EquivLaws']]]
+  ['demorgan_141',['deMorgan',['../classEquivLaws.html#ad14007b64daf53cbbb86f2ec11364889',1,'EquivLaws']]],
+  ['demorganreversed_142',['deMorganReversed',['../classEquivLaws.html#aae3cff16cab37a2203cd9c91ff9a119c',1,'EquivLaws']]],
+  ['distributive_143',['distributive',['../classEquivLaws.html#a307508c734eadb5d9bcfb936818b0bb5',1,'EquivLaws']]],
+  ['distributivereversed_144',['distributiveReversed',['../classEquivLaws.html#a6e376cdb40a0d09cf11062f0b3a0190b',1,'EquivLaws']]],
+  ['domination_145',['domination',['../classEquivLaws.html#a411e741a9c5b20c3be9e3ae5b6a235ce',1,'EquivLaws']]],
+  ['doublenegation_146',['doubleNegation',['../classEquivLaws.html#afe97f1d782ffda7851bec85d041e5c8f',1,'EquivLaws']]]
 ];
diff --git a/search/functions_4.js b/search/functions_4.js
index 3bd7b70..62a71f3 100644
--- a/search/functions_4.js
+++ b/search/functions_4.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['evaluateexpression_146',['evaluateExpression',['../group__evaluator.html#gada545b126061d2eec6f6db9359e6c40c',1,'evaluateExpression(std::shared_ptr&lt; Expression &gt; expression, std::unordered_map&lt; std::string, bool &gt; inputs):&#160;evaluator.cpp'],['../group__evaluator.html#gada545b126061d2eec6f6db9359e6c40c',1,'evaluateExpression(std::shared_ptr&lt; Expression &gt; expression, std::unordered_map&lt; std::string, bool &gt; inputs):&#160;evaluator.cpp']]],
-  ['expression_147',['Expression',['../classExpression.html#a5be1ed392532e3862ab3479b4719d7a4',1,'Expression']]]
+  ['evaluateexpression_147',['evaluateExpression',['../group__evaluator.html#gada545b126061d2eec6f6db9359e6c40c',1,'evaluateExpression(std::shared_ptr&lt; Expression &gt; expression, std::unordered_map&lt; std::string, bool &gt; inputs):&#160;evaluator.cpp'],['../group__evaluator.html#gada545b126061d2eec6f6db9359e6c40c',1,'evaluateExpression(std::shared_ptr&lt; Expression &gt; expression, std::unordered_map&lt; std::string, bool &gt; inputs):&#160;evaluator.cpp']]],
+  ['expression_148',['Expression',['../classExpression.html#a5be1ed392532e3862ab3479b4719d7a4',1,'Expression']]]
 ];
diff --git a/search/functions_5.js b/search/functions_5.js
index 5778196..13d2c60 100644
--- a/search/functions_5.js
+++ b/search/functions_5.js
@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['generatenextsteps_148',['generateNextSteps',['../group__solver.html#ga12a9f577fbc43c3bac000826c300398a',1,'generateNextSteps(std::shared_ptr&lt; Expression &gt; expr, std::shared_ptr&lt; Expression &gt; end, bool &amp;found, std::queue&lt; std::shared_ptr&lt; Expression &gt;&gt; &amp;queue, std::unordered_map&lt; std::string, std::pair&lt; std::string, std::string &gt;&gt; &amp;visited):&#160;solver.cpp'],['../group__solver.html#ga12a9f577fbc43c3bac000826c300398a',1,'generateNextSteps(std::shared_ptr&lt; Expression &gt; expr, std::shared_ptr&lt; Expression &gt; end, bool &amp;found, std::queue&lt; std::shared_ptr&lt; Expression &gt;&gt; &amp;queue, std::unordered_map&lt; std::string, std::pair&lt; std::string, std::string &gt;&gt; &amp;visited):&#160;solver.cpp']]],
-  ['getleft_149',['getLeft',['../classExpression.html#a3aae7dd9a4460265763aaf02c2e355b3',1,'Expression']]],
-  ['getparent_150',['getParent',['../classExpression.html#a7d7722f90807eea2b7069992deb291cb',1,'Expression']]],
-  ['getright_151',['getRight',['../classExpression.html#a58f70e5003920d8ec6ca9daa70310c30',1,'Expression']]],
-  ['gettruthtableinputs_152',['getTruthTableInputs',['../group__evaluator.html#gae354885c3af5e15f264ce34d6b1ea967',1,'getTruthTableInputs(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp'],['../group__evaluator.html#gae354885c3af5e15f264ce34d6b1ea967',1,'getTruthTableInputs(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp']]],
-  ['getvalue_153',['getValue',['../classExpression.html#a260676a1e4334bc7b7bb90df1a67737b',1,'Expression']]],
-  ['getvariables_154',['getVariables',['../classExpression.html#a3bba0cd7622afd1e705c1c589d7f3064',1,'Expression']]]
+  ['generatenextsteps_149',['generateNextSteps',['../group__solver.html#ga12a9f577fbc43c3bac000826c300398a',1,'generateNextSteps(std::shared_ptr&lt; Expression &gt; expr, std::shared_ptr&lt; Expression &gt; end, bool &amp;found, std::queue&lt; std::shared_ptr&lt; Expression &gt;&gt; &amp;queue, std::unordered_map&lt; std::string, std::pair&lt; std::string, std::string &gt;&gt; &amp;visited):&#160;solver.cpp'],['../group__solver.html#ga12a9f577fbc43c3bac000826c300398a',1,'generateNextSteps(std::shared_ptr&lt; Expression &gt; expr, std::shared_ptr&lt; Expression &gt; end, bool &amp;found, std::queue&lt; std::shared_ptr&lt; Expression &gt;&gt; &amp;queue, std::unordered_map&lt; std::string, std::pair&lt; std::string, std::string &gt;&gt; &amp;visited):&#160;solver.cpp']]],
+  ['getleft_150',['getLeft',['../classExpression.html#a3aae7dd9a4460265763aaf02c2e355b3',1,'Expression']]],
+  ['getparent_151',['getParent',['../classExpression.html#a7d7722f90807eea2b7069992deb291cb',1,'Expression']]],
+  ['getright_152',['getRight',['../classExpression.html#a58f70e5003920d8ec6ca9daa70310c30',1,'Expression']]],
+  ['gettruthtableinputs_153',['getTruthTableInputs',['../group__evaluator.html#gae354885c3af5e15f264ce34d6b1ea967',1,'getTruthTableInputs(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp'],['../group__evaluator.html#gae354885c3af5e15f264ce34d6b1ea967',1,'getTruthTableInputs(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp']]],
+  ['getvalue_154',['getValue',['../classExpression.html#a260676a1e4334bc7b7bb90df1a67737b',1,'Expression']]],
+  ['getvariables_155',['getVariables',['../classExpression.html#a3bba0cd7622afd1e705c1c589d7f3064',1,'Expression']]]
 ];
diff --git a/search/functions_6.js b/search/functions_6.js
index 2d006e5..09f5bc5 100644
--- a/search/functions_6.js
+++ b/search/functions_6.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['hasleft_155',['hasLeft',['../classExpression.html#aee9013ecd9657f95cb221a78bcb6f582',1,'Expression']]],
-  ['hasright_156',['hasRight',['../classExpression.html#a81c99d55807d6c9cd8eda4a02782519f',1,'Expression']]]
+  ['hasleft_156',['hasLeft',['../classExpression.html#aee9013ecd9657f95cb221a78bcb6f582',1,'Expression']]],
+  ['hasright_157',['hasRight',['../classExpression.html#a81c99d55807d6c9cd8eda4a02782519f',1,'Expression']]]
 ];
diff --git a/search/functions_7.js b/search/functions_7.js
index 55e24a2..ac9ce9f 100644
--- a/search/functions_7.js
+++ b/search/functions_7.js
@@ -1,26 +1,26 @@
 var searchData=
 [
-  ['idempotent_157',['idempotent',['../classEquivLaws.html#a6c775a7ad9ef0112bde9310c0b3f816c',1,'EquivLaws']]],
-  ['identity_158',['identity',['../classEquivLaws.html#aa958ef68733e755352500b3797ad5b72',1,'EquivLaws']]],
-  ['implication0_159',['implication0',['../classEquivLaws.html#a4d05eb35e2b70dd9b65881977ca17c1c',1,'EquivLaws']]],
-  ['implication0reversed_160',['implication0Reversed',['../classEquivLaws.html#a4b5cfd12754d50e7a7e2bfe8367bebbd',1,'EquivLaws']]],
-  ['implication1_161',['implication1',['../classEquivLaws.html#a71b924ea01234a15280bf5948b938501',1,'EquivLaws']]],
-  ['implication1reversed_162',['implication1Reversed',['../classEquivLaws.html#aaad48c77875ad72dd01bfd5a31c9b55a',1,'EquivLaws']]],
-  ['implication2_163',['implication2',['../classEquivLaws.html#aa767b0e1e5b451ea8ffd34f5b0d2bfbe',1,'EquivLaws']]],
-  ['implication2reversed_164',['implication2Reversed',['../classEquivLaws.html#a0dfc0d93a740d6c9b63bd456f18180dd',1,'EquivLaws']]],
-  ['implication3_165',['implication3',['../classEquivLaws.html#a86f066c8379b7d5292635729f50ceb84',1,'EquivLaws']]],
-  ['implication3reversed_166',['implication3Reversed',['../classEquivLaws.html#a19e61c5201c539dc4de6bbe475c2c356',1,'EquivLaws']]],
-  ['implication4_167',['implication4',['../classEquivLaws.html#ab991de51dfa047cd1a7b286d12ea557a',1,'EquivLaws']]],
-  ['implication4reversed_168',['implication4Reversed',['../classEquivLaws.html#ab3ee3fd4eea23e696b921d2b4cef2480',1,'EquivLaws']]],
-  ['implication5_169',['implication5',['../classEquivLaws.html#a550b101e4f8db9304fb68d80c75eae15',1,'EquivLaws']]],
-  ['implication5reversed_170',['implication5Reversed',['../classEquivLaws.html#aaf24ebc09788086fc15a193f460cd01e',1,'EquivLaws']]],
-  ['implication6_171',['implication6',['../classEquivLaws.html#a091c224a0cc483e3613c48f0e4a3b74a',1,'EquivLaws']]],
-  ['implication6reversed_172',['implication6Reversed',['../classEquivLaws.html#a55d21a8f2f6a62d87d968cb5c8919641',1,'EquivLaws']]],
-  ['implication7_173',['implication7',['../classEquivLaws.html#a35aa6b370d187bf59dcad977cc890543',1,'EquivLaws']]],
-  ['implication7reversed_174',['implication7Reversed',['../classEquivLaws.html#a9305cf9bc21c077c680e1167d5dafe61',1,'EquivLaws']]],
-  ['implication8_175',['implication8',['../classEquivLaws.html#ad84c2226a9998c6380b595180e9cca04',1,'EquivLaws']]],
-  ['implication8reversed_176',['implication8Reversed',['../classEquivLaws.html#a2ef503b8c4fba3034403252ccc6573cb',1,'EquivLaws']]],
-  ['isbinary_177',['isBinary',['../classExpression.html#a8c0c6af86336d8ba7c6039684d710fc8',1,'Expression']]],
-  ['isequivalent_178',['isEquivalent',['../group__evaluator.html#gab79b552763289fa4a9c806705e27c669',1,'isEquivalent(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp'],['../group__evaluator.html#gab79b552763289fa4a9c806705e27c669',1,'isEquivalent(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp']]],
-  ['isvar_179',['isVar',['../classExpression.html#aa78af69351d79716af4c81bb7ffa48b9',1,'Expression']]]
+  ['idempotent_158',['idempotent',['../classEquivLaws.html#a6c775a7ad9ef0112bde9310c0b3f816c',1,'EquivLaws']]],
+  ['identity_159',['identity',['../classEquivLaws.html#aa958ef68733e755352500b3797ad5b72',1,'EquivLaws']]],
+  ['implication0_160',['implication0',['../classEquivLaws.html#a4d05eb35e2b70dd9b65881977ca17c1c',1,'EquivLaws']]],
+  ['implication0reversed_161',['implication0Reversed',['../classEquivLaws.html#a4b5cfd12754d50e7a7e2bfe8367bebbd',1,'EquivLaws']]],
+  ['implication1_162',['implication1',['../classEquivLaws.html#a71b924ea01234a15280bf5948b938501',1,'EquivLaws']]],
+  ['implication1reversed_163',['implication1Reversed',['../classEquivLaws.html#aaad48c77875ad72dd01bfd5a31c9b55a',1,'EquivLaws']]],
+  ['implication2_164',['implication2',['../classEquivLaws.html#aa767b0e1e5b451ea8ffd34f5b0d2bfbe',1,'EquivLaws']]],
+  ['implication2reversed_165',['implication2Reversed',['../classEquivLaws.html#a0dfc0d93a740d6c9b63bd456f18180dd',1,'EquivLaws']]],
+  ['implication3_166',['implication3',['../classEquivLaws.html#a86f066c8379b7d5292635729f50ceb84',1,'EquivLaws']]],
+  ['implication3reversed_167',['implication3Reversed',['../classEquivLaws.html#a19e61c5201c539dc4de6bbe475c2c356',1,'EquivLaws']]],
+  ['implication4_168',['implication4',['../classEquivLaws.html#ab991de51dfa047cd1a7b286d12ea557a',1,'EquivLaws']]],
+  ['implication4reversed_169',['implication4Reversed',['../classEquivLaws.html#ab3ee3fd4eea23e696b921d2b4cef2480',1,'EquivLaws']]],
+  ['implication5_170',['implication5',['../classEquivLaws.html#a550b101e4f8db9304fb68d80c75eae15',1,'EquivLaws']]],
+  ['implication5reversed_171',['implication5Reversed',['../classEquivLaws.html#aaf24ebc09788086fc15a193f460cd01e',1,'EquivLaws']]],
+  ['implication6_172',['implication6',['../classEquivLaws.html#a091c224a0cc483e3613c48f0e4a3b74a',1,'EquivLaws']]],
+  ['implication6reversed_173',['implication6Reversed',['../classEquivLaws.html#a55d21a8f2f6a62d87d968cb5c8919641',1,'EquivLaws']]],
+  ['implication7_174',['implication7',['../classEquivLaws.html#a35aa6b370d187bf59dcad977cc890543',1,'EquivLaws']]],
+  ['implication7reversed_175',['implication7Reversed',['../classEquivLaws.html#a9305cf9bc21c077c680e1167d5dafe61',1,'EquivLaws']]],
+  ['implication8_176',['implication8',['../classEquivLaws.html#ad84c2226a9998c6380b595180e9cca04',1,'EquivLaws']]],
+  ['implication8reversed_177',['implication8Reversed',['../classEquivLaws.html#a2ef503b8c4fba3034403252ccc6573cb',1,'EquivLaws']]],
+  ['isbinary_178',['isBinary',['../classExpression.html#a8c0c6af86336d8ba7c6039684d710fc8',1,'Expression']]],
+  ['isequivalent_179',['isEquivalent',['../group__evaluator.html#gab79b552763289fa4a9c806705e27c669',1,'isEquivalent(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp'],['../group__evaluator.html#gab79b552763289fa4a9c806705e27c669',1,'isEquivalent(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;evaluator.cpp']]],
+  ['isvar_180',['isVar',['../classExpression.html#aa78af69351d79716af4c81bb7ffa48b9',1,'Expression']]]
 ];
diff --git a/search/functions_8.js b/search/functions_8.js
index 74c4f4a..254d0e9 100644
--- a/search/functions_8.js
+++ b/search/functions_8.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['main_180',['main',['../main_8cpp.html#ae66f6b31b5ad750f1fe042a706a4e3d4',1,'main.cpp']]]
+  ['main_181',['main',['../main_8cpp.html#ae66f6b31b5ad750f1fe042a706a4e3d4',1,'main.cpp']]]
 ];
diff --git a/search/functions_9.js b/search/functions_9.js
index c5ef3f0..5034888 100644
--- a/search/functions_9.js
+++ b/search/functions_9.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['negation_181',['negation',['../classEquivLaws.html#ad98580eb9e0a31f095de0c32d8413437',1,'EquivLaws']]]
+  ['negation_182',['negation',['../classEquivLaws.html#ad98580eb9e0a31f095de0c32d8413437',1,'EquivLaws']]]
 ];
diff --git a/search/functions_a.js b/search/functions_a.js
index f3b5c1a..97098f2 100644
--- a/search/functions_a.js
+++ b/search/functions_a.js
@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['parse_182',['parse',['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp'],['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp']]],
-  ['preprocess_183',['preprocess',['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]],
-  ['proveequivalence_184',['proveEquivalence',['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]]
+  ['parse_183',['parse',['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp'],['../group__parser.html#ga31d1a69dc8ed9d81edfffba6d280a5a0',1,'parse(std::string expression, std::shared_ptr&lt; Expression &gt; &amp;root):&#160;parser.cpp']]],
+  ['preprocess_184',['preprocess',['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gaf7935087118c246c6765e386c49a2f00',1,'preprocess(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]],
+  ['proveequivalence_185',['proveEquivalence',['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp'],['../group__solver.html#gab854492a6d115d58b907a18a7301e9cc',1,'proveEquivalence(std::shared_ptr&lt; Expression &gt; lhs, std::shared_ptr&lt; Expression &gt; rhs):&#160;solver.cpp']]]
 ];
diff --git a/search/functions_b.js b/search/functions_b.js
index 115c30a..30eb776 100644
--- a/search/functions_b.js
+++ b/search/functions_b.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['replace_185',['replace',['../classEquivLaws.html#a464b315e2ce4946447041066e69d1e05',1,'EquivLaws']]]
+  ['replace_186',['replace',['../classEquivLaws.html#a464b315e2ce4946447041066e69d1e05',1,'EquivLaws']]]
 ];
diff --git a/search/functions_c.js b/search/functions_c.js
index 2767a85..c41c74d 100644
--- a/search/functions_c.js
+++ b/search/functions_c.js
@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['setleft_186',['setLeft',['../classExpression.html#afa65e7451f6b17779c2a44e7c388dd00',1,'Expression']]],
-  ['setparent_187',['setParent',['../classExpression.html#ab7f8b63431f2d840612fe5a48d11c7c2',1,'Expression']]],
-  ['setright_188',['setRight',['../classExpression.html#a475e30b6c83e8b4ee7f5e761431d51d0',1,'Expression']]]
+  ['setleft_187',['setLeft',['../classExpression.html#afa65e7451f6b17779c2a44e7c388dd00',1,'Expression']]],
+  ['setparent_188',['setParent',['../classExpression.html#ab7f8b63431f2d840612fe5a48d11c7c2',1,'Expression']]],
+  ['setright_189',['setRight',['../classExpression.html#a475e30b6c83e8b4ee7f5e761431d51d0',1,'Expression']]]
 ];
diff --git a/search/functions_d.js b/search/functions_d.js
index e8799f4..fa7283b 100644
--- a/search/functions_d.js
+++ b/search/functions_d.js
@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['tokenize_189',['tokenize',['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp'],['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp']]],
-  ['tostring_190',['toString',['../classExpression.html#a6c01eb2a04250284ec1562f4830e0b68',1,'Expression']]],
-  ['tostringminimal_191',['toStringMinimal',['../classExpression.html#adfab3be63e7acf2f6ed671eadc78c418',1,'Expression']]],
-  ['tostringtree_192',['toStringTree',['../classExpression.html#a72d091fe31b94dec8bcb6a359ccedafb',1,'Expression']]]
+  ['tokenize_190',['tokenize',['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp'],['../group__parser.html#ga8432bd0a0fa24dbd96290cbefd1ad628',1,'tokenize(std::string expression):&#160;parser.cpp']]],
+  ['tostring_191',['toString',['../classExpression.html#a6c01eb2a04250284ec1562f4830e0b68',1,'Expression']]],
+  ['tostringminimal_192',['toStringMinimal',['../classExpression.html#adfab3be63e7acf2f6ed671eadc78c418',1,'Expression']]],
+  ['tostringtree_193',['toStringTree',['../classExpression.html#a72d091fe31b94dec8bcb6a359ccedafb',1,'Expression']]]
 ];
diff --git a/search/groups_0.js b/search/groups_0.js
index 7949c7e..0368d96 100644
--- a/search/groups_0.js
+++ b/search/groups_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['evaluator_20functions_205',['Evaluator functions',['../group__evaluator.html',1,'']]]
+  ['evaluator_20functions_206',['Evaluator functions',['../group__evaluator.html',1,'']]]
 ];
diff --git a/search/groups_1.js b/search/groups_1.js
index c43f011..5f4ef2d 100644
--- a/search/groups_1.js
+++ b/search/groups_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['parser_20functions_206',['Parser functions',['../group__parser.html',1,'']]]
+  ['parser_20functions_207',['Parser functions',['../group__parser.html',1,'']]]
 ];
diff --git a/search/groups_2.js b/search/groups_2.js
index d03efc5..bc2d094 100644
--- a/search/groups_2.js
+++ b/search/groups_2.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['solver_20functions_207',['Solver functions',['../group__solver.html',1,'']]],
-  ['string_20macros_208',['String macros',['../group__stringMacros.html',1,'']]]
+  ['solver_20functions_208',['Solver functions',['../group__solver.html',1,'']]],
+  ['string_20macros_209',['String macros',['../group__stringMacros.html',1,'']]]
 ];
diff --git a/search/pages_0.html b/search/pages_0.html
new file mode 100644
index 0000000..8517b48
--- /dev/null
+++ b/search/pages_0.html
@@ -0,0 +1,37 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head><title></title>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta name="generator" content="Doxygen 1.9.1"/>
+<link rel="stylesheet" type="text/css" href="search.css"/>
+<script type="text/javascript" src="pages_0.js"></script>
+<script type="text/javascript" src="search.js"></script>
+</head>
+<body class="SRPage">
+<div id="SRIndex">
+<div class="SRStatus" id="Loading">Loading...</div>
+<div id="SRResults"></div>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+createResults();
+/* @license-end */
+</script>
+<div class="SRStatus" id="Searching">Searching...</div>
+<div class="SRStatus" id="NoMatches">No Matches</div>
+<script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
+document.getElementById("Loading").style.display="none";
+document.getElementById("NoMatches").style.display="none";
+var searchResults = new SearchResults("searchResults");
+searchResults.Search();
+window.addEventListener("message", function(event) {
+  if (event.data == "take_focus") {
+    var elem = searchResults.NavNext(0);
+    if (elem) elem.focus();
+  }
+});
+/* @license-end */
+</script>
+</div>
+</body>
+</html>
diff --git a/search/pages_0.js b/search/pages_0.js
new file mode 100644
index 0000000..f66c335
--- /dev/null
+++ b/search/pages_0.js
@@ -0,0 +1,4 @@
+var searchData=
+[
+  ['logixpr_210',['LogiXpr',['../index.html',1,'']]]
+];
diff --git a/search/searchdata.js b/search/searchdata.js
index 2ebb06a..be8eee0 100644
--- a/search/searchdata.js
+++ b/search/searchdata.js
@@ -7,7 +7,8 @@ var indexSectionsWithContent =
   4: "beilprv",
   5: "e",
   6: "afs",
-  7: "eps"
+  7: "eps",
+  8: "l"
 };
 
 var indexSectionNames =
@@ -19,7 +20,8 @@ var indexSectionNames =
   4: "variables",
   5: "typedefs",
   6: "defines",
-  7: "groups"
+  7: "groups",
+  8: "pages"
 };
 
 var indexSectionLabels =
@@ -31,6 +33,7 @@ var indexSectionLabels =
   4: "Variables",
   5: "Typedefs",
   6: "Macros",
-  7: "Modules"
+  7: "Modules",
+  8: "Pages"
 };
 
diff --git a/search/typedefs_0.js b/search/typedefs_0.js
index 466ca91..c151f02 100644
--- a/search/typedefs_0.js
+++ b/search/typedefs_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['equivlaw_201',['EquivLaw',['../classEquivLaws.html#ac6831e0f19653f5d9565b83d979927da',1,'EquivLaws']]]
+  ['equivlaw_202',['EquivLaw',['../classEquivLaws.html#ac6831e0f19653f5d9565b83d979927da',1,'EquivLaws']]]
 ];
diff --git a/search/variables_0.js b/search/variables_0.js
index 648b05b..bcb6ac5 100644
--- a/search/variables_0.js
+++ b/search/variables_0.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['bidirectionalimplications_193',['bidirectionalImplications',['../classEquivLaws.html#aa7e24eb33fedfe7f01e7e19d7a46ebb4',1,'EquivLaws']]]
+  ['bidirectionalimplications_194',['bidirectionalImplications',['../classEquivLaws.html#aa7e24eb33fedfe7f01e7e19d7a46ebb4',1,'EquivLaws']]]
 ];
diff --git a/search/variables_1.js b/search/variables_1.js
index 16f6d0c..49ecf68 100644
--- a/search/variables_1.js
+++ b/search/variables_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['equivalences_194',['equivalences',['../group__solver.html#ga4d7c8f771b1ec198b19413faa95bdcab',1,'equivalences():&#160;solver.cpp'],['../group__solver.html#ga4d7c8f771b1ec198b19413faa95bdcab',1,'equivalences():&#160;solver.cpp']]]
+  ['equivalences_195',['equivalences',['../group__solver.html#ga4d7c8f771b1ec198b19413faa95bdcab',1,'equivalences():&#160;solver.cpp'],['../group__solver.html#ga4d7c8f771b1ec198b19413faa95bdcab',1,'equivalences():&#160;solver.cpp']]]
 ];
diff --git a/search/variables_2.js b/search/variables_2.js
index acb06c7..af11063 100644
--- a/search/variables_2.js
+++ b/search/variables_2.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['implications_195',['implications',['../classEquivLaws.html#a01125a23881bf97835317589159441e2',1,'EquivLaws']]]
+  ['implications_196',['implications',['../classEquivLaws.html#a01125a23881bf97835317589159441e2',1,'EquivLaws']]]
 ];
diff --git a/search/variables_3.js b/search/variables_3.js
index 54cb279..34a8403 100644
--- a/search/variables_3.js
+++ b/search/variables_3.js
@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['laws_196',['laws',['../classEquivLaws.html#a2cedb4157e4f9bdce82bb14138d10459',1,'EquivLaws']]],
-  ['left_197',['left',['../classExpression.html#a77cb37b491d271a0e61f6144fb81e382',1,'Expression']]]
+  ['laws_197',['laws',['../classEquivLaws.html#a2cedb4157e4f9bdce82bb14138d10459',1,'EquivLaws']]],
+  ['left_198',['left',['../classExpression.html#a77cb37b491d271a0e61f6144fb81e382',1,'Expression']]]
 ];
diff --git a/search/variables_4.js b/search/variables_4.js
index 11d5589..3eed5bd 100644
--- a/search/variables_4.js
+++ b/search/variables_4.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['parent_198',['parent',['../classExpression.html#afcbaac896b3d7619794c9e3eefd8d4e2',1,'Expression']]]
+  ['parent_199',['parent',['../classExpression.html#afcbaac896b3d7619794c9e3eefd8d4e2',1,'Expression']]]
 ];
diff --git a/search/variables_5.js b/search/variables_5.js
index db773c6..00842cb 100644
--- a/search/variables_5.js
+++ b/search/variables_5.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['right_199',['right',['../classExpression.html#a0156954da1ef8ecbde7994ba001fc265',1,'Expression']]]
+  ['right_200',['right',['../classExpression.html#a0156954da1ef8ecbde7994ba001fc265',1,'Expression']]]
 ];
diff --git a/search/variables_6.js b/search/variables_6.js
index e013407..ae230d1 100644
--- a/search/variables_6.js
+++ b/search/variables_6.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['value_200',['value',['../classExpression.html#adda79355b3caba02c27fe815c3f81769',1,'Expression']]]
+  ['value_201',['value',['../classExpression.html#adda79355b3caba02c27fe815c3f81769',1,'Expression']]]
 ];