CAPD RedHom Library
SetPairT< P_Set > Class Template Reference

#include <capd/homComplexity/SetPairT.h>

Public Types

typedef P_Set SetType
 

Public Member Functions

 SetPairT (CRef< SetType > A_subSetCR, CRef< SetType > A_supSetCR)
 
int cardinality ()
 
int embDim ()
 
int getUnpaddedWidth (int j)
 

Member Typedef Documentation

template<typename P_Set >
typedef P_Set SetPairT< P_Set >::SetType

Constructor & Destructor Documentation

template<typename P_Set >
SetPairT< P_Set >::SetPairT ( CRef< SetType A_subSetCR,
CRef< SetType A_supSetCR 
)
inline

Member Function Documentation

template<typename P_Set >
int SetPairT< P_Set >::cardinality ( )
inline
template<typename P_Set >
int SetPairT< P_Set >::embDim ( )
inline
template<typename P_Set >
int SetPairT< P_Set >::getUnpaddedWidth ( int  j)
inline