CAPD RedHom Library
capd::complex::Coreduction< StrategyT, ReductionCallback > Class Template Reference

#include <capd/complex/Coreduction.h>

Public Types

typedef StrategyT Strategy
 
typedef Strategy::SComplex SComplex
 
typedef Strategy::Cell Cell
 

Public Member Functions

 Coreduction (Strategy *_strategy, ReductionCallback reductionCallback=ReductionCallback())
 
 ~Coreduction ()
 
size_t operator() ()
 
StrategygetStrategy ()
 
const std::vector< size_t > & getExtractedSignature () const
 

Member Typedef Documentation

template<typename StrategyT , typename ReductionCallback = void*>
typedef Strategy::Cell capd::complex::Coreduction< StrategyT, ReductionCallback >::Cell
template<typename StrategyT , typename ReductionCallback = void*>
typedef Strategy::SComplex capd::complex::Coreduction< StrategyT, ReductionCallback >::SComplex
template<typename StrategyT , typename ReductionCallback = void*>
typedef StrategyT capd::complex::Coreduction< StrategyT, ReductionCallback >::Strategy

Constructor & Destructor Documentation

template<typename StrategyT , typename ReductionCallback = void*>
capd::complex::Coreduction< StrategyT, ReductionCallback >::Coreduction ( Strategy _strategy,
ReductionCallback  reductionCallback = ReductionCallback() 
)
inlineexplicit
template<typename StrategyT , typename ReductionCallback = void*>
capd::complex::Coreduction< StrategyT, ReductionCallback >::~Coreduction ( )
inline

Member Function Documentation

template<typename StrategyT , typename ReductionCallback = void*>
const std::vector<size_t>& capd::complex::Coreduction< StrategyT, ReductionCallback >::getExtractedSignature ( ) const
inline
template<typename StrategyT , typename ReductionCallback = void*>
Strategy* capd::complex::Coreduction< StrategyT, ReductionCallback >::getStrategy ( )
inline
template<typename StrategyT , typename ReductionCallback = void*>
size_t capd::complex::Coreduction< StrategyT, ReductionCallback >::operator() ( )
inline