APRONXX 0.9.15
/home/mine/apron/apronxx/apxx_interval_inline.hh File Reference

Go to the source code of this file.

Functions

void swap (interval &a, interval &b)
 
std::ostream & operator<< (std::ostream &os, const interval &s)
 
bool operator<= (const interval &a, const interval &b)
 
bool operator>= (const interval &a, const interval &b)
 
bool operator< (const interval &a, const interval &b)
 
bool operator> (const interval &a, const interval &b)
 
bool operator== (const interval &a, const interval &b)
 
bool operator!= (const interval &a, const interval &b)
 
interval::order cmp (const interval &a, const interval &b)
 
std::ostream & operator<< (std::ostream &os, const interval_array &s)
 

Function Documentation

◆ cmp()

interval::order cmp ( const interval & a,
const interval & b )
inline

◆ operator!=()

bool operator!= ( const interval & a,
const interval & b )
inline

◆ operator<()

bool operator< ( const interval & a,
const interval & b )
inline

◆ operator<<() [1/2]

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

◆ operator<<() [2/2]

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

◆ operator<=()

bool operator<= ( const interval & a,
const interval & b )
inline

◆ operator==()

bool operator== ( const interval & a,
const interval & b )
inline

◆ operator>()

bool operator> ( const interval & a,
const interval & b )
inline

◆ operator>=()

bool operator>= ( const interval & a,
const interval & b )
inline

◆ swap()

void swap ( interval & a,
interval & b )
inline