smtrat::mcsat::onecellcad::levelwise::Explanation< Setting1, Setting2 > Struct Template Reference

#include <Explanation.h>

Public Member Functions
std::optional< mcsat::Explanation >	operator() (const mcsat::Bookkeeping &trail, carl::Variable var, const FormulasT &trailLiterals, bool) const

Detailed Description

template<class Setting1, class Setting2>
struct smtrat::mcsat::onecellcad::levelwise::Explanation< Setting1, Setting2 >

Definition at line 36 of file Explanation.h.

Member Function Documentation

operator()()

template<class Setting1 , class Setting2 >

std::optional< mcsat::Explanation > smtrat::mcsat::onecellcad::levelwise::Explanation< Setting1, Setting2 >::operator()	(	const mcsat::Bookkeeping &	trail,
		carl::Variable	var,
		const FormulasT &	trailLiterals,
		bool
	)		const

Definition at line 15 of file Explanation.cpp.

Here is the call graph for this function:

---

The documentation for this struct was generated from the following files:

• smtrat-mcsat/explanations/onecellcad/levelwise/Explanation.h
• smtrat-mcsat/explanations/onecellcad/levelwise/Explanation.cpp