metaSMT git
Public Member Functions | Public Attributes

metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 > Struct Template Reference

#include <GraphSolver_Context.hpp>

List of all members.

Public Member Functions

 Cmd_Caller1 (Context &ctx, CMD c, Arg1 a1)
void operator() ()

Public Attributes

Context & ctx
CMD cmd
Arg1 arg1

Detailed Description

template<typename SolverContext>
template<typename Context, typename CMD, typename Arg1>
struct metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >

Definition at line 133 of file GraphSolver_Context.hpp.


Constructor & Destructor Documentation

template<typename SolverContext >
template<typename Context , typename CMD , typename Arg1 >
metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >::Cmd_Caller1 ( Context &  ctx,
CMD  c,
Arg1  a1 
) [inline]

Definition at line 134 of file GraphSolver_Context.hpp.


Member Function Documentation

template<typename SolverContext >
template<typename Context , typename CMD , typename Arg1 >
void metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >::operator() ( ) [inline]

Definition at line 137 of file GraphSolver_Context.hpp.


Member Data Documentation

template<typename SolverContext >
template<typename Context , typename CMD , typename Arg1 >
Arg1 metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >::arg1

Definition at line 141 of file GraphSolver_Context.hpp.

template<typename SolverContext >
template<typename Context , typename CMD , typename Arg1 >
CMD metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >::cmd

Definition at line 140 of file GraphSolver_Context.hpp.

template<typename SolverContext >
template<typename Context , typename CMD , typename Arg1 >
Context& metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller1< Context, CMD, Arg1 >::ctx

Definition at line 139 of file GraphSolver_Context.hpp.


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