Loading...

Searching...

No Matches

Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members

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

tvt
Generated by doxygen 1.9.8