tvt Class Reference

#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

Detailed Description

Definition at line 19 of file threeval.h.

Member Enumeration Documentation

tv_enumt

enum class tvt::tv_enumt : unsigned char

strong

Enumerator
TV_FALSE
TV_UNKNOWN
TV_TRUE

Definition at line 23 of file threeval.h.

Constructor & Destructor Documentation

tvt() [1/3]

tvt::tvt ( )

inline

Definition at line 45 of file threeval.h.

tvt() [2/3]

tvt::tvt ( bool  b )

inlineexplicit

Definition at line 49 of file threeval.h.

tvt() [3/3]

tvt::tvt ( tv_enumt  v )

inlineexplicit

Definition at line 53 of file threeval.h.

Member Function Documentation

get_value()

tv_enumt tvt::get_value ( ) const

inline

Definition at line 40 of file threeval.h.

is_false()

bool tvt::is_false ( ) const

inline

Definition at line 26 of file threeval.h.

is_known()

bool tvt::is_known ( ) const

inline

Definition at line 28 of file threeval.h.

is_true()

bool tvt::is_true ( ) const

inline

Definition at line 25 of file threeval.h.

is_unknown()

bool tvt::is_unknown ( ) const

inline

Definition at line 27 of file threeval.h.

operator!()

tvt tvt::operator! ( ) const

inline

Definition at line 87 of file threeval.h.

operator!=()

bool tvt::operator!= ( const tvt  other ) const

inline

Definition at line 62 of file threeval.h.

operator&&()

tvt tvt::operator&& ( const tvt  other ) const

inline

Definition at line 67 of file threeval.h.

operator==()

bool tvt::operator== ( const tvt  other ) const

inline

Definition at line 57 of file threeval.h.

operator||()

tvt tvt::operator|| ( const tvt  other ) const

inline

Definition at line 77 of file threeval.h.

to_string()

const char * tvt::to_string

(

)

const

Definition at line 13 of file threeval.cpp.

unknown()

static tvt tvt::unknown ( )

inlinestatic

Definition at line 33 of file threeval.h.

Member Data Documentation

value

tv_enumt tvt::value

protected

Definition at line 98 of file threeval.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/util/threeval.h
• /home/runner/work/cbmc/cbmc/src/util/threeval.cpp