/home/mine/apron/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

operator!()

tbool operator! ( tbool a )

inline

operator&&()

tbool operator&& ( tbool a, tbool b )

inline

operator<<() [1/2]

std::ostream & operator<< ( std::ostream & os, const manager & s )

inline

operator<<() [2/2]

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

inline

operator||()

tbool operator|| ( tbool a, tbool b )

inline