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

#include <ParallelExplanation.h>

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

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

Private Attributes
B	mBackends

Detailed Description

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

Definition at line 12 of file ParallelExplanation.h.

Member Typedef Documentation

B

template<typename... Backends>

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

private

Definition at line 14 of file ParallelExplanation.h.

Member Function Documentation

operator()()

template<typename... Backends>

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

inline

Definition at line 18 of file ParallelExplanation.h.

Here is the call graph for this function:

Field Documentation

mBackends

template<typename... Backends>

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

private

Definition at line 15 of file ParallelExplanation.h.

---

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

• smtrat-mcsat/explanations/ParallelExplanation.h