metaSMT git
|
#include <GraphSolver_Context.hpp>
Public Member Functions | |
Cmd_Caller0 (Context &ctx, CMD c) | |
void | operator() () |
Public Attributes | |
Context & | ctx |
CMD | cmd |
Definition at line 145 of file GraphSolver_Context.hpp.
metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::Cmd_Caller0 | ( | Context & | ctx, |
CMD | c | ||
) | [inline] |
Definition at line 146 of file GraphSolver_Context.hpp.
void metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::operator() | ( | ) | [inline] |
Definition at line 149 of file GraphSolver_Context.hpp.
CMD metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::cmd |
Definition at line 152 of file GraphSolver_Context.hpp.
Context& metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::ctx |
Definition at line 151 of file GraphSolver_Context.hpp.