LTL  2.0.x
Public Types | List of all members
ltl::ltl::asFVExpr< FVExprNode< T, N > > Struct Template Reference

Already an expression template term. More...

Public Types

typedef FVExprNode< T, N > value_type
 
typedef FVExprNode< T, N > value_type
 

Detailed Description

template<class T, int N>
struct ltl::ltl::asFVExpr< FVExprNode< T, N > >

Already an expression template term.

Member Typedef Documentation

template<class T , int N>
typedef FVExprNode<T,N> ltl::ltl::asFVExpr< FVExprNode< T, N > >::value_type
template<class T , int N>
typedef FVExprNode<T,N> ltl::ltl::asFVExpr< FVExprNode< T, N > >::value_type