APRONXX: /home/mine/apron/apronxx/apxx_manager_inline.hh File Reference

APRONXX 0.9.12

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,
		tbool	b
	)

inline

◆ operator!()

tbool operator! ( tbool a )

inline

◆ operator<<() [1/2]

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

inline

◆ operator<<() [2/2]

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

inline

◆ operator||()

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

inline