LTL
2.0.x
|
Literal number. More...
Inherits ltl::ltl::_et_fvector_parse_base, and ltl::ltl::_et_fvector_parse_base.
Public Types | |
enum | { static_size = 1 } |
enum | { static_size = 1 } |
typedef T | value_type |
typedef T | value_type |
Public Member Functions | |
FVExprLiteralNode (const T f) | |
const value_type | operator[] (const int) const |
FVExprLiteralNode (const T f) | |
const value_type | operator[] (const int) const |
Literal number.
typedef T ltl::ltl::FVExprLiteralNode< T >::value_type |
typedef T ltl::ltl::FVExprLiteralNode< T >::value_type |
|
inline |
|
inline |
|
inline |
|
inline |