metaSMT git
Public Member Functions | Public Attributes

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

#include <GraphSolver_Context.hpp>

List of all members.

Public Member Functions

 Cmd_Caller0 (Context &ctx, CMD c)
void operator() ()

Public Attributes

Context & ctx
CMD cmd

Detailed Description

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

Definition at line 145 of file GraphSolver_Context.hpp.


Constructor & Destructor Documentation

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

Definition at line 146 of file GraphSolver_Context.hpp.


Member Function Documentation

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

Definition at line 149 of file GraphSolver_Context.hpp.


Member Data Documentation

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

Definition at line 152 of file GraphSolver_Context.hpp.

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

Definition at line 151 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