src/expr/proof_rule.cpp

   1 /*********************                                                        */
   2 /*! \file proof_rule.cpp
   3  ** \verbatim
   4  ** Top contributors (to current version):
   5  **   Andrew Reynolds
   6  ** This file is part of the CVC4 project.
   7  ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
   8  ** in the top-level source directory) and their institutional affiliations.
   9  ** All rights reserved.  See the file COPYING in the top-level source
  10  ** directory for licensing information.\endverbatim
  11  **
  12  ** \brief Implementation of proof rule
  13  **/
  14
  15 #include "expr/proof_rule.h"
  16
  17 #include <iostream>
  18
  19 namespace CVC4 {
  20
  21 const char* toString(PfRule id)
  22 {
  23   switch (id)
  24   {
  25     //================================================= Core rules
  26     case PfRule::ASSUME: return "ASSUME";
  27     case PfRule::SCOPE: return "SCOPE";
  28
  29     //================================================= Unknown rule
  30     case PfRule::UNKNOWN: return "UNKNOWN";
  31     default: return "?";
  32   }
  33 }
  34
  35 std::ostream& operator<<(std::ostream& out, PfRule id)
  36 {
  37   out << toString(id);
  38   return out;
  39 }
  40
  41 }  // namespace CVC4