APRONXX  0.9.12
Functions
/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