clang-format

Eric-exe · Jul 8, 2023 · a1999dc · a1999dc
1 parent 4e074ac
commit a1999dc
Show file tree

Hide file tree

Showing 15 changed files with 3,835 additions and 3,750 deletions.
diff --git a/include/equivLaws.h b/include/equivLaws.h
diff --git a/include/evaluator.h b/include/evaluator.h
@@ -5,8 +5,9 @@
 
 #pragma once
 
-#include <vector>
 #include "expression.h"
+#include <vector>
+
 
 /**
  * @defgroup evaluator Evaluator functions
@@ -19,10 +20,12 @@
  *
  * @param lhs pointer to left hand side expression
  * @param rhs pointer to right hand side expression
- * 
+ *
  * @return vector of maps of input variables
  */
-std::vector<std::unordered_map<std::string, bool>> getTruthTableInputs(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);
+std::vector<std::unordered_map<std::string, bool>>
+getTruthTableInputs(std::shared_ptr<Expression> lhs,
+                    std::shared_ptr<Expression> rhs);
 
 /**
  * @brief Evaluate the expression with the given inputs
@@ -32,7 +35,8 @@ std::vector<std::unordered_map<std::string, bool>> getTruthTableInputs(std::shar
  *
  * @return bool of whether the expression is true or false
  */
-bool evaluateExpression(std::shared_ptr<Expression> expression, std::unordered_map<std::string, bool> inputs);
+bool evaluateExpression(std::shared_ptr<Expression> expression,
+                        std::unordered_map<std::string, bool> inputs);
 
 /**
  * @brief Check if two expressions are equivalent
@@ -42,6 +46,7 @@ bool evaluateExpression(std::shared_ptr<Expression> expression, std::unordered_m
  *
  * @return bool of whether the expressions are equivalent
  */
-bool isEquivalent(std::shared_ptr<Expression> lhs, std::shared_ptr<Expression> rhs);
+bool isEquivalent(std::shared_ptr<Expression> lhs,
+                  std::shared_ptr<Expression> rhs);
 
 /** @} */