apron::tbool Struct Reference

3-valued boolean (tbool_t wrapper). More...

#include <apxx_manager.hh>

Public Member Functions
	tbool (bool a)
	Converts true to tbool_true and false to tbool_false. More...
	tbool (tbool_t a)
	Conversion from tbool_t. More...
	operator tbool_t ()
	Conversion to tbool_t. More...
	operator bool ()
	Returns true if and only if the value is tbool_true. More...

Public Attributes
tbool_t	x
	Either tbool_false, tbool_true, or tbool_top. More...

Friends
tbool	operator|| (tbool a, tbool b)
	3-valued logical or. More...
tbool	operator && (tbool a, tbool b)
	3-valued logical and. More...
tbool	operator! (tbool a)
	3-valued logical not. More...
std::ostream &	operator<< (std::ostream &os, tbool x)
	Printing. More...

Detailed Description

3-valued boolean (tbool_t wrapper).

A tbool_t holds a value in 3-valued logic: tbool_true, tbool_false, or tbool_top (don't know).

Constructor & Destructor Documentation

tbool() [1/2]

tbool::tbool ( bool  a )

inline

Converts true to tbool_true and false to tbool_false.

tbool() [2/2]

tbool::tbool ( tbool_t  a )

inline

Conversion from tbool_t.

Member Function Documentation

operator bool()

tbool::operator bool ( )

inline

Returns true if and only if the value is tbool_true.

operator tbool_t()

tbool::operator tbool_t ( )

inline

Conversion to tbool_t.

Friends And Related Function Documentation

operator &&

tbool operator && ( tbool  a, tbool  b  )

friend

3-valued logical and.

operator!

tbool operator! ( tbool  a )

friend

3-valued logical not.

operator<<

std::ostream& operator<< ( std::ostream &  os, tbool  x  )

friend

Printing.

operator||

tbool operator|| ( tbool  a, tbool  b  )

friend

3-valued logical or.

Member Data Documentation

x

tbool_t apron::tbool::x

Either tbool_false, tbool_true, or tbool_top.

---

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

• /home/mine/apron/apronxx/apxx_manager.hh
• /home/mine/apron/apronxx/apxx_manager_inline.hh