CBMC
Toggle main menu visibility
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
a
c
d
e
f
g
j
l
m
r
t
w
Functions
a
c
d
f
g
r
t
w
Typedefs
Enumerations
Classes
Class List
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
~
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
~
Variables
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Typedefs
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
Enumerations
a
b
c
d
e
f
g
i
k
l
m
o
p
r
s
t
u
v
w
Enumerator
a
b
c
d
e
f
h
i
k
l
m
n
o
p
q
r
s
t
u
v
Related Symbols
b
c
d
e
g
i
j
m
n
o
s
t
u
v
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
Functions
_
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
r
s
t
u
v
w
x
y
z
Variables
_
a
b
c
d
e
f
g
i
l
m
n
o
p
r
s
t
u
w
y
Typedefs
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
r
s
t
u
v
w
Enumerations
_
a
b
c
d
f
g
i
l
m
p
r
s
t
u
v
w
Enumerator
_
a
c
d
e
f
g
h
i
l
m
n
o
p
r
s
t
u
v
w
Macros
_
a
b
c
d
e
f
g
h
i
j
l
m
n
o
p
q
r
s
t
u
v
w
x
y
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Modules
Pages
Loading...
Searching...
No Matches
threeval.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
#include "
threeval.h
"
10
11
#include <ostream>
12
13
const
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
}
13
const
char
*
tvt::to_string
()
const
{
…
}
23
24
std::ostream &
operator <<
(std::ostream &out,
const
tvt
&
a
)
25
{
26
return
out <<
a
.to_string();
27
}
24
std::ostream &
operator <<
(std::ostream &out,
const
tvt
&
a
) {
…
}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:562
tvt
Definition
threeval.h:20
tvt::value
tv_enumt value
Definition
threeval.h:98
tvt::to_string
const char * to_string() const
Definition
threeval.cpp:13
tvt::tv_enumt::TV_UNKNOWN
@ TV_UNKNOWN
tvt::tv_enumt::TV_TRUE
@ TV_TRUE
tvt::tv_enumt::TV_FALSE
@ TV_FALSE
operator<<
std::ostream & operator<<(std::ostream &out, const tvt &a)
Definition
threeval.cpp:24
threeval.h
src
util
threeval.cpp
Generated by
1.9.8