metaSMT 2
|
#include <fmi.hpp>
Public Types | |
typedef proto::extends< T, constraint< T > , constraint_domain > | base_type |
Public Member Functions | |
constraint (T expr=T()) |
typedef proto::extends<T, constraint<T>, constraint_domain> metaSMT::fmi::constraint< T >::base_type |
metaSMT::fmi::constraint< T >::constraint | ( | T | expr = T() | ) | [inline] |