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

We need a trait class to deal with literals. More...

Public Types

typedef FVExprLiteralNode< T > value_type
 
typedef FVExprLiteralNode< T > value_type
 

Detailed Description

template<class T>
struct ltl::ltl::asFVExpr< T >

We need a trait class to deal with literals.

Member Typedef Documentation

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