cprover
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.

Referenced by operator &&(), operator!(), operator||(), and unknown().

§ 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

§ is_false()

§ is_known()

§ is_true()

§ is_unknown()

bool tvt::is_unknown ( ) const
inline

Definition at line 27 of file threeval.h.

References TV_UNKNOWN, and value.

Referenced by invariant_sett::implies_rec(), and operator!().

§ operator &&()

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

Definition at line 67 of file threeval.h.

References is_false(), is_true(), tvt(), and unknown().

§ operator!()

tvt tvt::operator! ( ) const
inline

Definition at line 87 of file threeval.h.

References is_true(), is_unknown(), tvt(), and unknown().

§ operator!=()

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

Definition at line 62 of file threeval.h.

References value.

§ operator==()

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

Definition at line 57 of file threeval.h.

References value.

§ operator||()

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

Definition at line 77 of file threeval.h.

References is_false(), is_true(), tvt(), and unknown().

§ to_string()

§ unknown()

Member Data Documentation

§ value

tv_enumt tvt::value
protected

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