capd::apiRedHom::ComplexesMapping< API, Pred > Struct Template Reference

#include </var/lib/jenkins/workspace/capd-docs/workdir/capd-5.1.13/capdRedHom/src/capd/apiRedHom/ComplexesMapping.h>

Public Types
typedef complex::FilteredSelectors< typename boost::mpl::at< APIToComplexes, API >::type, complex::PredOnSelector< Pred > >::type	type

Member Typedef Documentation

template<typename API , typename Pred = boost::mpl::always<boost::mpl::true_>>

typedef complex::FilteredSelectors<typename boost::mpl::at<APIToComplexes, API>::type, complex::PredOnSelector<Pred> >::type capd::apiRedHom::ComplexesMapping< API, Pred >::type