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

◆ value_type [1/2]

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

◆ value_type [2/2]

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

Member Enumeration Documentation

◆ anonymous enum

template<class T >
anonymous enum
Enumerator
static_size 

◆ anonymous enum

template<class T >
anonymous enum
Enumerator
static_size 

Constructor & Destructor Documentation

◆ FVExprLiteralNode() [1/2]

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

◆ FVExprLiteralNode() [2/2]

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

Member Function Documentation

◆ operator[]() [1/2]

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

◆ operator[]() [2/2]

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