metaSMT 2
Public Member Functions | Public Attributes
metaSMT::impl::ConditionalAssumptionCaller< Solver > Struct Template Reference

#include <why_unsat.hpp>

List of all members.

Public Member Functions

 ConditionalAssumptionCaller (Solver &solver, vector< bool >::const_iterator &ite)
template<typename Expr >
void operator() (Expr e) const

Public Attributes

Solver & solver
vector< bool >::const_iterator & ite

Detailed Description

template<typename Solver>
struct metaSMT::impl::ConditionalAssumptionCaller< Solver >

Definition at line 33 of file why_unsat.hpp.


Constructor & Destructor Documentation

template<typename Solver>
metaSMT::impl::ConditionalAssumptionCaller< Solver >::ConditionalAssumptionCaller ( Solver &  solver,
vector< bool >::const_iterator &  ite 
) [inline]

Definition at line 36 of file why_unsat.hpp.


Member Function Documentation

template<typename Solver>
template<typename Expr >
void metaSMT::impl::ConditionalAssumptionCaller< Solver >::operator() ( Expr  e) const [inline]

Definition at line 42 of file why_unsat.hpp.


Member Data Documentation

template<typename Solver>
vector<bool>::const_iterator& metaSMT::impl::ConditionalAssumptionCaller< Solver >::ite

Definition at line 35 of file why_unsat.hpp.

template<typename Solver>
Solver& metaSMT::impl::ConditionalAssumptionCaller< Solver >::solver

Definition at line 34 of file why_unsat.hpp.


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