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

#include <SequentialAssignment.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< AssignmentOrConflict >	findAssignment (const mcsat::Bookkeeping &, carl::Variable) const

Private Attributes
B	mBackends

Detailed Description

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

Definition at line 12 of file SequentialAssignment.h.

Member Typedef Documentation

B

template<typename... Backends>

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

private

Definition at line 14 of file SequentialAssignment.h.

Member Function Documentation

findAssignment()

template<typename... Backends>

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

std::optional<AssignmentOrConflict> smtrat::mcsat::SequentialAssignment< Backends >::findAssignment ( const mcsat::Bookkeeping &  , carl::Variable    ) const

inlineprivate

Definition at line 17 of file SequentialAssignment.h.

Field Documentation

mBackends

template<typename... Backends>

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

private

Definition at line 15 of file SequentialAssignment.h.

---

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

• smtrat-mcsat/assignments/SequentialAssignment.h