Gets the arity (max index) for the numbered variables. More...

#include <Transforms.hpp>

Inherits or_< boost::proto::when< boost::proto::terminal< Var< boost::proto::_, boost::proto::_ > >, boost::mpl::next< VarArity< boost::proto::_value > >() >, boost::proto::when< boost::proto::terminal< boost::proto::_ >, boost::mpl::int_< 0 >() >, boost::proto::when< boost::proto::nary_expr< boost::proto::_, boost::proto::vararg< boost::proto::_ > >, boost::proto::fold< boost::proto::_, boost::mpl::int_< 0 >(), boost::mpl::max< ExprVarArity, boost::proto::_state >()> > >.

Detailed Description

Gets the arity (max index) for the numbered variables.

Definition at line 50 of file Transforms.hpp.

The documentation for this struct was generated from the following file:

cf3/solver/actions/Proto/Transforms.hpp