metaSMT 2
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 219 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 222 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 226 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