APRONXX  0.9.7
Public Member Functions | Public Attributes | Friends | List of all members
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::tbool ( bool  a)
inline

Converts true to tbool_true and false to tbool_false.

tbool::tbool ( tbool_t  a)
inline

Conversion from tbool_t.

Member Function Documentation

tbool::operator bool ( )
inline

Returns true if and only if the value is tbool_true.

tbool::operator tbool_t ( )
inline

Conversion to tbool_t.

Friends And Related Function Documentation

tbool operator! ( tbool  a)
friend

3-valued logical not.

tbool operator&& ( tbool  a,
tbool  b 
)
friend

3-valued logical and.

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

Printing.

tbool operator|| ( tbool  a,
tbool  b 
)
friend

3-valued logical or.

Member Data Documentation

tbool_t apron::tbool::x

Either tbool_false, tbool_true, or tbool_top.


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