smtrat::mcsat::SequentialExplanation< Backends > Struct Template Reference

#include <SequentialExplanation.h>

Private Types
using	B = std::tuple< Backends... >

Private Member Functions
template<std::size_t N = 0, carl::EnableIfBool< N==std::tuple_size< B >::value > = carl::dummy>
std::optional< Explanation >	explain (const mcsat::Bookkeeping &, carl::Variable, const FormulasT &, bool) const

Private Attributes
B	mBackends

Detailed Description

template<typename... Backends>
struct smtrat::mcsat::SequentialExplanation< Backends >

Definition at line 11 of file SequentialExplanation.h.

Member Typedef Documentation

B

template<typename... Backends>

using smtrat::mcsat::SequentialExplanation< Backends >::B = std::tuple<Backends...>

private

Definition at line 13 of file SequentialExplanation.h.

Member Function Documentation

explain()

template<typename... Backends>

template<std::size_t N = 0, carl::EnableIfBool< N==std::tuple_size< B >::value > = carl::dummy>

std::optional<Explanation> smtrat::mcsat::SequentialExplanation< Backends >::explain ( const mcsat::Bookkeeping &  , carl::Variable  , const FormulasT &  , bool    ) const

inlineprivate

Definition at line 16 of file SequentialExplanation.h.

Field Documentation

mBackends

template<typename... Backends>

B smtrat::mcsat::SequentialExplanation< Backends >::mBackends

private

Definition at line 14 of file SequentialExplanation.h.

---

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

• smtrat-mcsat/explanations/SequentialExplanation.h