smtrat::mcsat::smtaf::AssignmentFinder< Settings > Struct Template Reference

#include <AssignmentFinder.h>

Public Member Functions
std::optional< AssignmentOrConflict >	operator() (const mcsat::Bookkeeping &data, carl::Variable var) const
bool	active (const mcsat::Bookkeeping &, const FormulaT &) const

Detailed Description

template<class Settings>
struct smtrat::mcsat::smtaf::AssignmentFinder< Settings >

Definition at line 16 of file AssignmentFinder.h.

Member Function Documentation

active()

template<class Settings >

bool smtrat::mcsat::smtaf::AssignmentFinder< Settings >::active ( const mcsat::Bookkeeping &  , const FormulaT &    ) const

inline

Definition at line 92 of file AssignmentFinder.h.

operator()()

template<class Settings >

std::optional<AssignmentOrConflict> smtrat::mcsat::smtaf::AssignmentFinder< Settings >::operator() ( const mcsat::Bookkeeping &  data, carl::Variable  var  ) const

inline

Definition at line 22 of file AssignmentFinder.h.

Here is the call graph for this function:

---

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

• smtrat-mcsat/assignments/smtaf/AssignmentFinder.h