Verifiable.h

//-----------------------------------------------------------------------------
//
// Module:       Verifiable.h
//
// Author:       Feng Xie -- xief@mcmaster.ca
//
// Discription:  A combinatorial object whose legality can be verified using 
//               certain axioms.
//
// Change log:
//   09-07-03    Created.
//
//-----------------------------------------------------------------------------

#ifndef OMC_VERIFIABLE_H
#define OMC_VERIFIABLE_H

#include <string>

namespace omc
{
  class Verifiable
  {
  public:
    virtual bool verify () = 0;
    
    std::string getFalseCertificate () const; // get the failed test case

    void setFalseCertificate (std::string);   // set the failed test case

  private:
    std::string m_falseCertificate;           // string of the failed test case
  };

  
  inline std::string Verifiable::getFalseCertificate () const {
    return m_falseCertificate;
  }
  
  inline void Verifiable::setFalseCertificate (std::string msg) {
    m_falseCertificate = msg;
  }

} // namespace omc

#endif

---