NumberedTermType< I, T > Struct Template Reference

Shorthand for terminals containing a numbered variable. More...

#include <Terminals.hpp>

Public Types
typedef boost::proto::result_of::make_expr< boost::proto::tag::terminal, Var< boost::mpl::int_< I >, T > >::type	type

Detailed Description

template<Uint I, typename T>
struct cf3::solver::actions::Proto::NumberedTermType< I, T >

Shorthand for terminals containing a numbered variable.

Definition at line 156 of file Terminals.hpp.

Member Typedef Documentation

typedef boost::proto::result_of::make_expr< boost::proto::tag::terminal , Var<boost::mpl::int_<I>, T> >::type type

Definition at line 162 of file Terminals.hpp.

---

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

• cf3/solver/actions/Proto/Terminals.hpp