ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
tvt Class Reference

#include <threeval.h>

Public Types

enum  tv_enumt { 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 ()=default
 tvt (bool b)
 tvt (tv_enumt v)
tvt invert ()

Protected Attributes

tv_enumt value

Friends

bool operator== (const tvt a, const tvt b)
bool operator!= (const tvt a, const tvt b)
tvt operator&& (const tvt a, const tvt b)
tvt operator|| (const tvt a, const tvt b)
tvt operator! (const tvt a)
std::ostream & operator<< (std::ostream &out, const tvt &a)

Member Enumeration Documentation

◆ tv_enumt

Enumerator
TV_FALSE 
TV_UNKNOWN 
TV_TRUE 

Constructor & Destructor Documentation

◆ tvt() [1/3]

tvt::tvt ( )
default

◆ tvt() [2/3]

tvt::tvt ( bool b)
inlineexplicit

◆ tvt() [3/3]

tvt::tvt ( tv_enumt v)
inlineexplicit

Member Function Documentation

◆ get_value()

tv_enumt tvt::get_value ( ) const
inline

◆ invert()

tvt tvt::invert ( )
inline

◆ is_false()

bool tvt::is_false ( ) const
inline

◆ is_known()

bool tvt::is_known ( ) const
inline

◆ is_true()

bool tvt::is_true ( ) const
inline

◆ is_unknown()

bool tvt::is_unknown ( ) const
inline

◆ to_string()

const char * tvt::to_string ( ) const

◆ operator!

tvt operator! ( const tvt a)
friend

◆ operator!=

bool operator!= ( const tvt a,
const tvt b )
friend

◆ operator&&

tvt operator&& ( const tvt a,
const tvt b )
friend

◆ operator<<

std::ostream & operator<< ( std::ostream & out,
const tvt & a )
friend

◆ operator==

bool operator== ( const tvt a,
const tvt b )
friend

◆ operator||

tvt operator|| ( const tvt a,
const tvt b )
friend

Member Data Documentation

◆ value

tv_enumt tvt::value
protected

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