/home/mine/apron/apronxx/apxx_dimension_inline.hh File Reference

Go to the source code of this file.

Functions
template<class charT, class Traits>
std::basic_ostream< charT, Traits > &	operator<< (std::basic_ostream< charT, Traits > &os, const varname &v)
template<class charT, class Traits>
std::vector< std::string > *	get_varname (std::basic_ostream< charT, Traits > &os)
std::ostream &	operator<< (std::ostream &os, const dimchange &s)
std::ostream &	operator<< (std::ostream &os, const dimperm &s)
dimperm	operator* (const dimperm &x, const dimperm &y)

Function Documentation

get_varname()

template<class charT, class Traits>

std::vector< std::string > * get_varname ( std::basic_ostream< charT, Traits > & os )

inline

Returns

a pointer to the vector formerly associated to the stream, or NULL.

operator*()

dimperm operator* ( const dimperm & x, const dimperm & y )

inline

operator<<() [1/3]

template<class charT, class Traits>

std::basic_ostream< charT, Traits > & operator<< ( std::basic_ostream< charT, Traits > & os, const varname & v )

inline

operator<<() [2/3]

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

inline

operator<<() [3/3]

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

inline