CBMC
Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members
tvt Class Reference

#include <threeval.h>

Public Types

enum  tv_enumt : unsigned char { tv_enumt::TV_FALSE, tv_enumt::TV_UNKNOWN, tv_enumt::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 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: