metaSMT 2
Public Member Functions | Public Attributes
metaSMT::impl::ConditionalPrinter Struct Reference

#include <why_unsat.hpp>

List of all members.

Public Member Functions

 ConditionalPrinter (vector< bool >::const_iterator &ite)
template<typename Expr >
void operator() (Expr e) const

Public Attributes

vector< bool >::const_iterator & ite

Detailed Description

Definition at line 50 of file why_unsat.hpp.


Constructor & Destructor Documentation

metaSMT::impl::ConditionalPrinter::ConditionalPrinter ( vector< bool >::const_iterator &  ite) [inline]

Definition at line 52 of file why_unsat.hpp.


Member Function Documentation

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

Definition at line 57 of file why_unsat.hpp.


Member Data Documentation

vector<bool>::const_iterator& metaSMT::impl::ConditionalPrinter::ite

Definition at line 51 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