metaSMT 2
|
#include <GraphSolver_Context.hpp>
Public Member Functions | |
template<typename T > | |
result_type | operator() (T) const |
result_type | operator() (logic::QF_BV::tag::var_tag const &var) const |
Definition at line 219 of file GraphSolver_Context.hpp.
result_type metaSMT::GraphSolver_Context< SolverContext >::create_x_result::operator() | ( | T | ) | const [inline] |
Definition at line 222 of file GraphSolver_Context.hpp.
result_type metaSMT::GraphSolver_Context< SolverContext >::create_x_result::operator() | ( | logic::QF_BV::tag::var_tag const & | var | ) | const [inline] |
Definition at line 226 of file GraphSolver_Context.hpp.