metaSMT 2
|
#include <GraphSolver_Context.hpp>
Public Member Functions | |
Cmd_Caller0 (Context &ctx, CMD c) | |
void | operator() () |
Public Attributes | |
Context & | ctx |
CMD | cmd |
Definition at line 143 of file GraphSolver_Context.hpp.
metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::Cmd_Caller0 | ( | Context & | ctx, |
CMD | c | ||
) | [inline] |
Definition at line 144 of file GraphSolver_Context.hpp.
void metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::operator() | ( | ) | [inline] |
Definition at line 147 of file GraphSolver_Context.hpp.
CMD metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::cmd |
Definition at line 150 of file GraphSolver_Context.hpp.
Context& metaSMT::GraphSolver_Context< SolverContext >::Cmd_Caller0< Context, CMD >::ctx |
Definition at line 149 of file GraphSolver_Context.hpp.