text: /*
   * TermEquality.cpp
   *
   *  Created on: Dec 11, 2014
   *      Author: Philipp
   */
  
  #include <TermEquality.h>
  
  namespace alica
  {
  namespace reasoner
  {
  namespace cnsat
  {
  
  TermEquality::TermEquality()
  {
      // TODO Auto-generated constructor stub
  }
  
  TermEquality::~TermEquality()
  {
      // TODO Auto-generated destructor stub
  }
  
  } /* namespace cnsat */
  } /* namespace reasoner */
  } /* namespace alica */
  