CAPD RedHom Library
EuclBitSetT< P_BitSet, dim >::interval< word, dim > Class Template Reference

#include <capd/bitSet/EuclBitSet_interval.h>

Public Member Functions

 interval ()
 
 interval (int a)
 
 interval (int a, int b)
 
intervaloperator*= (interval iv2)
 
bool empty ()
 

Constructor & Destructor Documentation

template<typename P_BitSet, int dim>
template<typename word , int dim>
EuclBitSetT< P_BitSet, dim >::interval< word, dim >::interval ( )
inline
template<typename P_BitSet, int dim>
template<typename word , int dim>
EuclBitSetT< P_BitSet, dim >::interval< word, dim >::interval ( int  a)
inline
template<typename P_BitSet, int dim>
template<typename word , int dim>
EuclBitSetT< P_BitSet, dim >::interval< word, dim >::interval ( int  a,
int  b 
)
inline

Member Function Documentation

template<typename P_BitSet, int dim>
template<typename word , int dim>
bool EuclBitSetT< P_BitSet, dim >::interval< word, dim >::empty ( )
inline
template<typename P_BitSet, int dim>
template<typename word , int dim>
interval& EuclBitSetT< P_BitSet, dim >::interval< word, dim >::operator*= ( interval< word, dim >  iv2)
inline