|
cprover
|
#include <threeval.h>
Public Types | |
| enum class | tv_enumt : unsigned char { TV_FALSE , TV_UNKNOWN , TV_TRUE } |
Public Member Functions | |
| bool | is_true () const |
| bool | is_false () const |
| bool | is_unknown () const |
| bool | is_known () const |
| const char * | to_string () const |
| tv_enumt | get_value () const |
| tvt () | |
| tvt (bool b) | |
| tvt (tv_enumt v) | |
| bool | operator== (const tvt other) const |
| bool | operator!= (const tvt other) const |
| tvt | operator&& (const tvt other) const |
| tvt | operator|| (const tvt other) const |
| tvt | operator! () const |
Static Public Member Functions | |
| static tvt | unknown () |
Protected Attributes | |
| tv_enumt | value |
Definition at line 19 of file threeval.h.
|
strong |
| Enumerator | |
|---|---|
| TV_FALSE | |
| TV_UNKNOWN | |
| TV_TRUE | |
Definition at line 23 of file threeval.h.
|
inline |
Definition at line 45 of file threeval.h.
|
inlineexplicit |
Definition at line 49 of file threeval.h.
|
inlineexplicit |
Definition at line 53 of file threeval.h.
|
inline |
Definition at line 40 of file threeval.h.
|
inline |
Definition at line 26 of file threeval.h.
|
inline |
Definition at line 28 of file threeval.h.
|
inline |
Definition at line 25 of file threeval.h.
|
inline |
Definition at line 27 of file threeval.h.
|
inline |
Definition at line 87 of file threeval.h.
|
inline |
Definition at line 62 of file threeval.h.
Definition at line 67 of file threeval.h.
|
inline |
Definition at line 57 of file threeval.h.
Definition at line 77 of file threeval.h.
| const char * tvt::to_string | ( | ) | const |
Definition at line 13 of file threeval.cpp.
|
inlinestatic |
Definition at line 33 of file threeval.h.
|
protected |
Definition at line 98 of file threeval.h.