metaSMT 2
Public Types
metaSMT::assumption_cmd Struct Reference

#include <Assumption.hpp>

List of all members.

Public Types

typedef void result_type

Detailed Description

Definition at line 6 of file Assumption.hpp.


Member Typedef Documentation

Definition at line 6 of file Assumption.hpp.


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