APRONXX  0.9.7
Functions
/builddir/build/BUILD/apron-0.9.10/apronxx/apxx_manager_inline.hh File Reference

Go to the source code of this file.

Functions

tbool operator|| (tbool a, tbool b)
 
tbool operator&& (tbool a, tbool b)
 
tbool operator! (tbool a)
 
std::ostream & operator<< (std::ostream &os, tbool x)
 
std::ostream & operator<< (std::ostream &os, const manager &s)
 

Function Documentation

tbool operator! ( tbool  a)
inline
tbool operator&& ( tbool  a,
tbool  b 
)
inline
std::ostream& operator<< ( std::ostream &  os,
tbool  x 
)
inline
std::ostream& operator<< ( std::ostream &  os,
const manager &  s 
)
inline
tbool operator|| ( tbool  a,
tbool  b 
)
inline