FreePOOMA
2.4.1
|
#include <DomainBase.h>
Static Public Member Functions | |
static DomainArithOpsTraits < typename T1::Domain_t, typename T2::Domain_t > ::AddResult_t | add (const DomainBase< T1 > &d1, const DomainBase< T2 > &d2) |
static DomainArithOpsTraits < typename T1::Domain_t, typename T2::Domain_t > ::SubResult_t | sub (const DomainBase< T1 > &d1, const DomainBase< T2 > &d2) |
static DomainArithOpsTraits < typename T1::Domain_t, typename T2::Domain_t > ::MultResult_t | mult (const DomainBase< T1 > &d1, const DomainBase< T2 > &d2) |
static DomainArithOpsTraits<typename T1::Domain_t, typename T2::Domain_t>::AddResult_t DomPair< T1, T2, false >::add | ( | const DomainBase< T1 > & | d1, |
const DomainBase< T2 > & | d2 | ||
) | [inline, static] |
References DomainBase< DT >::unwrap().
static DomainArithOpsTraits<typename T1::Domain_t, typename T2::Domain_t>::SubResult_t DomPair< T1, T2, false >::sub | ( | const DomainBase< T1 > & | d1, |
const DomainBase< T2 > & | d2 | ||
) | [inline, static] |
References DomainBase< DT >::unwrap().
static DomainArithOpsTraits<typename T1::Domain_t, typename T2::Domain_t>::MultResult_t DomPair< T1, T2, false >::mult | ( | const DomainBase< T1 > & | d1, |
const DomainBase< T2 > & | d2 | ||
) | [inline, static] |
References DomainBase< DT >::unwrap().