metaSMT git
|
#include <why_unsat.hpp>
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 |
Definition at line 33 of file why_unsat.hpp.
metaSMT::impl::ConditionalAssumptionCaller< Solver >::ConditionalAssumptionCaller | ( | Solver & | solver, |
vector< bool >::const_iterator & | ite | ||
) | [inline] |
Definition at line 36 of file why_unsat.hpp.
void metaSMT::impl::ConditionalAssumptionCaller< Solver >::operator() | ( | Expr | e | ) | const [inline] |
Definition at line 42 of file why_unsat.hpp.
vector<bool>::const_iterator& metaSMT::impl::ConditionalAssumptionCaller< Solver >::ite |
Definition at line 35 of file why_unsat.hpp.
Solver& metaSMT::impl::ConditionalAssumptionCaller< Solver >::solver |
Definition at line 34 of file why_unsat.hpp.