CAPD RedHom Library
capd::complex::SimplifyComplexGeometrically< ComplexT > Class Template Reference

#include <capd/complex/SimplifyComplexGeometrically.h>

Classes

struct  VisitInternalComplex
 

Public Types

typedef ComplexT Complex
 
typedef SqueezedComplex< ComplexSqueezed
 
typedef boost::variant< Squeezed, boost::reference_wrapper< Complex > > InternalComplex
 
typedef boost::variant< typename BuildDiscreteVectorField< Complex >::DiscreteVectorField, typename BuildDiscreteVectorField< Squeezed >::DiscreteVectorFieldInternalDiscreteVectorField
 

Public Member Functions

 SimplifyComplexGeometrically (Complex &complex, bool reductions, bool coreductions, int dvfMethod)
 
void operator() ()
 
size_t coreductionsExtracted () const
 
template<typename Func >
bool visitComplex (Func func)
 
template<typename Func >
bool visitDiscreteVectorField (Func func)
 

Member Typedef Documentation

template<typename ComplexT>
typedef ComplexT capd::complex::SimplifyComplexGeometrically< ComplexT >::Complex
template<typename ComplexT>
typedef boost::variant< Squeezed, boost::reference_wrapper<Complex> > capd::complex::SimplifyComplexGeometrically< ComplexT >::InternalComplex
template<typename ComplexT>
typedef SqueezedComplex<Complex> capd::complex::SimplifyComplexGeometrically< ComplexT >::Squeezed

Constructor & Destructor Documentation

template<typename ComplexT>
capd::complex::SimplifyComplexGeometrically< ComplexT >::SimplifyComplexGeometrically ( Complex complex,
bool  reductions,
bool  coreductions,
int  dvfMethod 
)
inline

Member Function Documentation

template<typename ComplexT>
size_t capd::complex::SimplifyComplexGeometrically< ComplexT >::coreductionsExtracted ( ) const
inline
template<typename ComplexT >
void capd::complex::SimplifyComplexGeometrically< ComplexT >::operator() ( )
template<typename ComplexT>
template<typename Func >
bool capd::complex::SimplifyComplexGeometrically< ComplexT >::visitComplex ( Func  func)
inline
template<typename ComplexT>
template<typename Func >
bool capd::complex::SimplifyComplexGeometrically< ComplexT >::visitDiscreteVectorField ( Func  func)
inline