metaSMT git
Public Types | Public Member Functions

metaSMT::fmi::constraint< T > Struct Template Reference

#include <fmi.hpp>

List of all members.

Public Types

typedef proto::extends< T,
constraint< T >
, constraint_domain
base_type

Public Member Functions

 constraint (T expr=T())

Detailed Description

template<typename T>
struct metaSMT::fmi::constraint< T >

Definition at line 145 of file fmi.hpp.


Member Typedef Documentation

template<typename T >
typedef proto::extends<T, constraint<T>, constraint_domain> metaSMT::fmi::constraint< T >::base_type

Definition at line 147 of file fmi.hpp.


Constructor & Destructor Documentation

template<typename T >
metaSMT::fmi::constraint< T >::constraint ( expr = T()) [inline]

Definition at line 149 of file fmi.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines