metaSMT 2
Public Types
metaSMT::assertion_cmd Struct Reference

#include <Assertion.hpp>

List of all members.

Public Types

typedef void result_type

Detailed Description

Definition at line 6 of file Assertion.hpp.


Member Typedef Documentation

Definition at line 6 of file Assertion.hpp.


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