LTL
2.0.x
|
Public Types | |
enum | { static_size = N * Expr::static_size } |
enum | { static_size = N * Expr::static_size } |
typedef sumtype_trait < typename Expr::value_type > ::SumType | value_type |
typedef sumtype_trait < typename Expr::value_type > ::SumType | value_type |
Static Public Member Functions | |
static value_type | sum (const Expr &e) |
static value_type | product (const Expr &e) |
static value_type | sum (const Expr &e) |
static value_type | product (const Expr &e) |
typedef sumtype_trait<typename Expr::value_type>::SumType ltl::ltl::tVAccumLoop< Expr, N >::value_type |
typedef sumtype_trait<typename Expr::value_type>::SumType ltl::ltl::tVAccumLoop< Expr, N >::value_type |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |