Line data    Source code

       1             : // Author(s): Thomas Neele
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file answer.h
      10             : 
      11             : #ifndef MCRL2_SMT_ANSWER_H
      12             : #define MCRL2_SMT_ANSWER_H
      13             : 
      14             : #include <iostream>
      15             : 
      16             : namespace mcrl2
      17             : {
      18             : namespace smt
      19             : {
      20             : 
      21             : enum answer
      22             : {
      23             :   UNSAT = 0,
      24             :   UNKNOWN = 1,
      25             :   SAT = 2
      26             : };
      27             : 
      28             : inline
      29           0 : std::ostream& operator<<(std::ostream& out, const answer& a)
      30             : {
      31           0 :   switch(a)
      32             :   {
      33           0 :     case smt::answer::SAT: return out << "sat";
      34           0 :     case smt::answer::UNSAT: return out << "unsat";
      35           0 :     case smt::answer::UNKNOWN: return out << "unknown";
      36           0 :     default: std::abort();
      37             :   }
      38             : }
      39             : 
      40             : } // namespace smt
      41             : } // namespace mcrl2
      42             : 
      43             : #endif // MCRL2_SMT_ANSWER_H