metaSMT git
|
#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 214 of file GraphSolver_Context.hpp.
result_type metaSMT::GraphSolver_Context< SolverContext >::create_x_result::operator() | ( | T | ) | const [inline] |
Definition at line 217 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 221 of file GraphSolver_Context.hpp.