Description
Expr представляет собой помеченный узел в дереве выражения. Дети Исследователя должны сами соответствовать концепции Исследователя. У Expr есть аритмия, представляющая количество детей. Если число детей равно нулю, то и Expr имеет значение. Для этого у него естьдомен..
Associated types
proto_tag
<Expr::proto_tag
>Тип тега Expr.
proto_args
<Expr::proto_args
>Типографский список, представляющий либо типы узлов ребенка, либо, если аритмия Expr равна 0, значение терминала.
proto_arity
<Expr::proto_arity
>[число узлов ребенка] Expr.<proto_arity>является интегральной константой MPL.
proto_grammar
<Expr::proto_grammar
>Типоразмер для инстанциации<
proto::basic_expr<>
>, эквивалентный Expr. Типы экспрессии эквивалентны, если они имеют одинаковые<proto_tag>,<proto_args>и<proto_arity>.
proto_base_expr
<Expr::proto_base_expr
>Типовое значение для инстанциации<proto::expr<>>или<proto::basic_expr<>>, эквивалентное Expr. Типы экспрессии эквивалентны, если они имеют одинаковые<proto_tag>,<proto_args>и<proto_arity>.
proto_derived_expr
<Expr::proto_derived_expr
>Типдеф для<Expr>
proto_domain
<Expr::proto_domain
>Область Expr.<proto_domain>МоделиДомен.
proto_childN
<Expr::proto_childN
>Тип N-го ребенка Эксперта требует<0 == N::value || N::value < proto_arity::value>
Notation
- Expr
- A type playing the role of expession-type in the Expr concept.
- Tag
- A type playing the role of tag-type in the Expr concept.
- Domain
- A type playing the role of domain-type in the Expr concept.
- N
- A type playing the role of mpl-integral-constant-type in the Expr concept.
e- Object of type Expr
Models
- boost::proto::literal< int>
