CAPD RedHom Library
capd::complex::CalcProdSimplexDimUpperBound< Rows, Length > Struct Template Reference

#include <capd/complex/ProdSimplicesGenerator.h>

Public Types

typedef boost::mpl::int_<(Length::value-boost::mpl::prior< Rows >::type::value+1)-1+1 > type
 

Member Typedef Documentation

template<typename Rows , typename Length >
typedef boost::mpl::int_<(Length::value - boost::mpl::prior<Rows>::type::value + 1) - 1 + 1 > capd::complex::CalcProdSimplexDimUpperBound< Rows, Length >::type