LTL  2.0.x
Public Types | Public Member Functions | List of all members
ltl::ltl::FVExprLiteralNode< T > Class Template Reference

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
 

Detailed Description

template<class T>
class ltl::ltl::FVExprLiteralNode< T >

Literal number.

Member Typedef Documentation

template<class T >
typedef T ltl::ltl::FVExprLiteralNode< T >::value_type
template<class T >
typedef T ltl::ltl::FVExprLiteralNode< T >::value_type

Member Enumeration Documentation

template<class T >
anonymous enum
Enumerator
static_size 
template<class T >
anonymous enum
Enumerator
static_size 

Constructor & Destructor Documentation

template<class T >
ltl::ltl::FVExprLiteralNode< T >::FVExprLiteralNode ( const T  f)
inline
template<class T >
ltl::ltl::FVExprLiteralNode< T >::FVExprLiteralNode ( const T  f)
inline

Member Function Documentation

template<class T >
const value_type ltl::ltl::FVExprLiteralNode< T >::operator[] ( const int  ) const
inline
template<class T >
const value_type ltl::ltl::FVExprLiteralNode< T >::operator[] ( const int  ) const
inline