SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::BackendLink Class Reference

#include <StrategyGraph.h>

Public Member Functions

 BackendLink (std::size_t target, std::size_t priority, const ConditionFunction &cf)
 
bool checkCondition (const carl::Condition &c) const
 
std::size_t getTarget () const
 
std::size_t getPriority () const
 
bool operator< (const BackendLink &rhs) const
 
BackendLink & priority (std::size_t p)
 
template<typename T >
BackendLink & condition (const T &f)
 
BackendLink & id (std::size_t &id)
 

Private Attributes

std::size_t mTarget
 
std::size_t mPriority
 
ConditionFunction mCondition
 

Detailed Description

Definition at line 40 of file StrategyGraph.h.

Constructor & Destructor Documentation

◆ BackendLink()

smtrat::BackendLink::BackendLink ( std::size_t  target,
std::size_t  priority,
const ConditionFunction &  cf 
)
inline

Definition at line 46 of file StrategyGraph.h.

Member Function Documentation

◆ checkCondition()

bool smtrat::BackendLink::checkCondition ( const carl::Condition &  c) const
inline

Definition at line 48 of file StrategyGraph.h.

◆ condition()

template<typename T >
BackendLink& smtrat::BackendLink::condition ( const T &  f)
inline

Definition at line 67 of file StrategyGraph.h.

◆ getPriority()

std::size_t smtrat::BackendLink::getPriority ( ) const
inline

Definition at line 54 of file StrategyGraph.h.

◆ getTarget()

std::size_t smtrat::BackendLink::getTarget ( ) const
inline

Definition at line 51 of file StrategyGraph.h.

◆ id()

BackendLink& smtrat::BackendLink::id ( std::size_t &  id)
inline

Definition at line 71 of file StrategyGraph.h.

◆ operator<()

bool smtrat::BackendLink::operator< ( const BackendLink &  rhs) const
inline

Definition at line 58 of file StrategyGraph.h.

◆ priority()

BackendLink& smtrat::BackendLink::priority ( std::size_t  p)
inline

Definition at line 62 of file StrategyGraph.h.

Field Documentation

◆ mCondition

ConditionFunction smtrat::BackendLink::mCondition
private

Definition at line 44 of file StrategyGraph.h.

◆ mPriority

std::size_t smtrat::BackendLink::mPriority
private

Definition at line 43 of file StrategyGraph.h.

◆ mTarget

std::size_t smtrat::BackendLink::mTarget
private

Definition at line 42 of file StrategyGraph.h.

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