CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
threeval.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "threeval.h"
10
11#include <ostream>
12
13const char *tvt::to_string() const
14{
15 switch(value)
16 {
17 case tv_enumt::TV_TRUE: return "TRUE";
18 case tv_enumt::TV_FALSE: return "FALSE";
19 case tv_enumt::TV_UNKNOWN: return "UNKNOWN";
20 default: return "ERROR";
21 }
22}
23
24std::ostream &operator << (std::ostream &out, const tvt &a)
25{
26 return out << a.to_string();
27}
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
Definition threeval.h:20
tv_enumt value
Definition threeval.h:98
const char * to_string() const
Definition threeval.cpp:13
std::ostream & operator<<(std::ostream &out, const tvt &a)
Definition threeval.cpp:24