smtrat::mcsat::onecell::Explanation< Settings > Struct Template Reference

#include <Explanation.h>

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

Detailed Description

template<typename Settings = DefaultSettings>
struct smtrat::mcsat::onecell::Explanation< Settings >

Definition at line 89 of file Explanation.h.

Member Function Documentation

operator()()

template<typename Settings = DefaultSettings>

std::optional<mcsat::Explanation> smtrat::mcsat::onecell::Explanation< Settings >::operator() ( const mcsat::Bookkeeping &  trail, carl::Variable  var, const FormulasT &  reason, bool    ) const

inline

Definition at line 94 of file Explanation.h.

Here is the call graph for this function:

---

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

• smtrat-mcsat/explanations/onecell/Explanation.h