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

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

Public Types

typedef FMExprLiteralNode< T > value_type
 

Detailed Description

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

We need a trait class to deal with literals.

Basically convert everything to an expression TExpr.