metaSMT git
Public Member Functions

metaSMT::GraphSolver_Context< SolverContext >::create_x_result Struct Reference

#include <GraphSolver_Context.hpp>

List of all members.

Public Member Functions

template<typename T >
result_type operator() (T) const
result_type operator() (logic::QF_BV::tag::var_tag const &var) const

Detailed Description

template<typename SolverContext>
struct metaSMT::GraphSolver_Context< SolverContext >::create_x_result

Definition at line 214 of file GraphSolver_Context.hpp.


Member Function Documentation

template<typename SolverContext >
template<typename T >
result_type metaSMT::GraphSolver_Context< SolverContext >::create_x_result::operator() ( ) const [inline]

Definition at line 217 of file GraphSolver_Context.hpp.

template<typename SolverContext >
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.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines