smtrat::mcsat::icp::Explanation Struct Reference

#include <Explanation.h>

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

Detailed Description

Definition at line 12 of file Explanation.h.

Member Function Documentation

operator()()

std::optional< mcsat::Explanation > smtrat::mcsat::icp::Explanation::operator()	(	const mcsat::Bookkeeping &	data,
		carl::Variable	var,
		const FormulasT &	reason,
		bool	force_use_core
	)		const

Definition at line 9 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/icp/Explanation.h
• smtrat-mcsat/explanations/icp/Explanation.cpp