equivLaws.h

Go to the documentation of this file.

 
#pragma once
 
#include "expression.h"
#include <unordered_map>
 
 
class EquivLaws {
public:
  typedef bool (*EquivLaw)(std::shared_ptr<Expression> &);
 
  static std::unordered_map<EquivLaw, std::string> laws;
 
  static std::unordered_map<EquivLaw, std::string> implications;
 
  static std::unordered_map<EquivLaw, std::string> bidirectionalImplications;
 
  static void replace(std::shared_ptr<Expression> &expression, std::shared_ptr<Expression> newExpression);
 
  static bool identity(std::shared_ptr<Expression> &expression);
 
  static bool domination(std::shared_ptr<Expression> &expression);
 
  static bool idempotent(std::shared_ptr<Expression> &expression);
 
  static bool doubleNegation(std::shared_ptr<Expression> &expression);
 
  static bool commutative(std::shared_ptr<Expression> &expression);
 
  static bool associative(std::shared_ptr<Expression> &expression);
 
  static bool associativeReversed(std::shared_ptr<Expression> &expression);
 
  static bool distributive(std::shared_ptr<Expression> &expression);
 
  static bool distributiveReversed(std::shared_ptr<Expression> &expression);
 
  static bool deMorgan(std::shared_ptr<Expression> &expression);
 
  static bool deMorganReversed(std::shared_ptr<Expression> &expression);
 
  static bool absorption(std::shared_ptr<Expression> &expression);
 
  static bool negation(std::shared_ptr<Expression> &expression);
 
  static bool implication0(std::shared_ptr<Expression> &expression);
 
  static bool implication0Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication1(std::shared_ptr<Expression> &expression);
 
  static bool implication1Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication2(std::shared_ptr<Expression> &expression);
 
  static bool implication2Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication3(std::shared_ptr<Expression> &expression);
 
  static bool implication3Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication4(std::shared_ptr<Expression> &expression);
 
  static bool implication4Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication5(std::shared_ptr<Expression> &expression);
 
  static bool implication5Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication6(std::shared_ptr<Expression> &expression);
 
  static bool implication6Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication7(std::shared_ptr<Expression> &expression);
 
  static bool implication7Reversed(std::shared_ptr<Expression> &expression);
 
  static bool implication8(std::shared_ptr<Expression> &expression);
 
  static bool implication8Reversed(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication0(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication0Reversed(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication1(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication2(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication2Reversed(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication3(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication3Reversed(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication4(std::shared_ptr<Expression> &expression);
 
  static bool bidirectionalImplication4Reversed(std::shared_ptr<Expression> &expression);
};