CAPD RedHom Library
capd::complex::DefaultReduceStrategy< SComplexT > Class Template Reference

#include <capd/complex/DefaultReduceStrategy.hpp>

Public Types

typedef SComplexT SComplex
 
typedef DefaultReduceStrategyTraits< SComplexTraits
 
typedef SComplex::Cell Cell
 

Public Member Functions

 DefaultReduceStrategy (SComplexT &_complex)
 
SComplexgetComplex () const
 
Traits::Extract::result_type extract ()
 
template<typename Inserter >
bool forceCoreductionPair (Inserter inserter)
 
template<typename ArgT >
Traits::template GetCoreductionPair< ArgT >::result_type getCoreductionPair (const ArgT &cell)
 
template<typename ArgT >
Traits::template GetCoreductionPair< ArgT >::result_type getReductionPair (const ArgT &cell)
 

Static Public Member Functions

template<typename ImplT >
static bool reduced (const ImplT &cell)
 
template<typename ImplT1 , typename ImplT2 >
static void coreduce (ImplT1 &a, ImplT2 &b)
 
template<typename ImplT1 , typename ImplT2 >
static void reduce (ImplT1 &a, ImplT2 &b)
 
template<typename ImplT >
static void reduce (ImplT &cell)
 

Protected Attributes

SComplexcomplex
 
Cell dummyCell2
 
Cell dummyCell3
 
bool extracted
 
bool _closedComplex
 
 CAPD_CLASS_LOGGER
 

Member Typedef Documentation

template<typename SComplexT >
typedef SComplex::Cell capd::complex::DefaultReduceStrategyBase< SComplexT >::Cell
inherited
template<typename SComplexT >
typedef SComplexT capd::complex::DefaultReduceStrategyBase< SComplexT >::SComplex
inherited
template<typename SComplexT >
typedef DefaultReduceStrategyTraits<SComplex> capd::complex::DefaultReduceStrategyBase< SComplexT >::Traits
inherited

Constructor & Destructor Documentation

template<typename SComplexT >
capd::complex::DefaultReduceStrategy< SComplexT >::DefaultReduceStrategy ( SComplexT &  _complex)
inline

Member Function Documentation

template<typename SComplexT >
template<typename ImplT1 , typename ImplT2 >
static void capd::complex::DefaultReduceStrategyBase< SComplexT >::coreduce ( ImplT1 &  a,
ImplT2 &  b 
)
inlinestaticinherited
template<typename SComplexT >
Traits::Extract::result_type capd::complex::DefaultReduceStrategyBase< SComplexT >::extract ( )
inlineinherited
template<typename SComplexT >
template<typename Inserter >
bool capd::complex::DefaultReduceStrategyBase< SComplexT >::forceCoreductionPair ( Inserter  inserter)
inlineinherited
template<typename SComplexT >
SComplex& capd::complex::DefaultReduceStrategyBase< SComplexT >::getComplex ( ) const
inlineinherited
template<typename SComplexT >
template<typename ArgT >
Traits::template GetCoreductionPair<ArgT>::result_type capd::complex::DefaultReduceStrategyBase< SComplexT >::getCoreductionPair ( const ArgT &  cell)
inlineinherited
template<typename SComplexT >
template<typename ArgT >
Traits::template GetCoreductionPair<ArgT>::result_type capd::complex::DefaultReduceStrategyBase< SComplexT >::getReductionPair ( const ArgT &  cell)
inlineinherited
template<typename SComplexT >
template<typename ImplT1 , typename ImplT2 >
static void capd::complex::DefaultReduceStrategyBase< SComplexT >::reduce ( ImplT1 &  a,
ImplT2 &  b 
)
inlinestaticinherited
template<typename SComplexT >
template<typename ImplT >
static void capd::complex::DefaultReduceStrategyBase< SComplexT >::reduce ( ImplT &  cell)
inlinestaticinherited
template<typename SComplexT >
template<typename ImplT >
static bool capd::complex::DefaultReduceStrategyBase< SComplexT >::reduced ( const ImplT &  cell)
inlinestaticinherited

Member Data Documentation

template<typename SComplexT >
bool capd::complex::DefaultReduceStrategyBase< SComplexT >::_closedComplex
protectedinherited
template<typename SComplexT >
capd::complex::DefaultReduceStrategyBase< SComplexT >::CAPD_CLASS_LOGGER
protectedinherited
template<typename SComplexT >
SComplex& capd::complex::DefaultReduceStrategyBase< SComplexT >::complex
protectedinherited
template<typename SComplexT >
Cell capd::complex::DefaultReduceStrategyBase< SComplexT >::dummyCell2
protectedinherited
template<typename SComplexT >
Cell capd::complex::DefaultReduceStrategyBase< SComplexT >::dummyCell3
protectedinherited
template<typename SComplexT >
bool capd::complex::DefaultReduceStrategyBase< SComplexT >::extracted
protectedinherited