LTL  2.0.x
Public Types | Public Member Functions | List of all members
ltl::ltl::FVExprBinopNode< A, B, Op, N > Class Template Reference

Binary operation node. More...

Inherits ltl::ltl::_et_fvector_parse_base, and ltl::ltl::_et_fvector_parse_base.

Public Types

enum  { static_size = A::static_size + B::static_size }
 
enum  { static_size = A::static_size + B::static_size }
 
typedef Op::value_type value_type
 
typedef Op::value_type value_type
 

Public Member Functions

 FVExprBinopNode (const A &a, const B &b)
 
value_type operator[] (const int i) const
 
 FVExprBinopNode (const A &a, const B &b)
 
value_type operator[] (const int i) const
 

Detailed Description

template<class A, class B, class Op, int N>
class ltl::ltl::FVExprBinopNode< A, B, Op, N >

Binary operation node.

Member Typedef Documentation

template<class A , class B , class Op , int N>
typedef Op::value_type ltl::ltl::FVExprBinopNode< A, B, Op, N >::value_type
template<class A , class B , class Op , int N>
typedef Op::value_type ltl::ltl::FVExprBinopNode< A, B, Op, N >::value_type

Member Enumeration Documentation

template<class A , class B , class Op , int N>
anonymous enum
Enumerator
static_size 
template<class A , class B , class Op , int N>
anonymous enum
Enumerator
static_size 

Constructor & Destructor Documentation

template<class A , class B , class Op , int N>
ltl::ltl::FVExprBinopNode< A, B, Op, N >::FVExprBinopNode ( const A &  a,
const B &  b 
)
inline
template<class A , class B , class Op , int N>
ltl::ltl::FVExprBinopNode< A, B, Op, N >::FVExprBinopNode ( const A &  a,
const B &  b 
)
inline

Member Function Documentation

template<class A , class B , class Op , int N>
value_type ltl::ltl::FVExprBinopNode< A, B, Op, N >::operator[] ( const int  i) const
inline
template<class A , class B , class Op , int N>
value_type ltl::ltl::FVExprBinopNode< A, B, Op, N >::operator[] ( const int  i) const
inline