smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound Struct Reference

#include <Tableau.h>

Collaboration diagram for smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound:

Public Member Functions
	LearnedBound ()=delete
	LearnedBound (const LearnedBound &)=delete
	LearnedBound (LearnedBound &&_toMove)
	LearnedBound (const Value< T1 > &_limit, const Bound< T1, T2 > *_newBound, typename Bound< T1, T2 >::BoundSet::const_iterator _nextWeakerBound, std::vector< const Bound< T1, T2 > * > &&_premise)
	~LearnedBound ()

Data Fields
const Bound< T1, T2 > *	newBound
Value< T1 >	newLimit
Bound< T1, T2 >::BoundSet::const_iterator	nextWeakerBound
std::vector< const Bound< T1, T2 > * >	premise

Detailed Description

template<class Settings, typename T1, typename T2>
struct smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound

Definition at line 211 of file Tableau.h.

Constructor & Destructor Documentation

LearnedBound() [1/4]

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::LearnedBound ( )

delete

LearnedBound() [2/4]

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::LearnedBound ( const LearnedBound &  )

delete

LearnedBound() [3/4]

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::LearnedBound ( LearnedBound &&  _toMove )

inline

Definition at line 224 of file Tableau.h.

LearnedBound() [4/4]

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::LearnedBound ( const Value< T1 > &  _limit, const Bound< T1, T2 > *  _newBound, typename Bound< T1, T2 >::BoundSet::const_iterator  _nextWeakerBound, std::vector< const Bound< T1, T2 > * > &&  _premise  )

inline

Definition at line 230 of file Tableau.h.

~LearnedBound()

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::~LearnedBound ( )

inline

Definition at line 237 of file Tableau.h.

Field Documentation

newBound

template<class Settings , typename T1 , typename T2 >

const Bound<T1, T2>* smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::newBound

Definition at line 214 of file Tableau.h.

newLimit

template<class Settings , typename T1 , typename T2 >

Value<T1> smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::newLimit

Definition at line 216 of file Tableau.h.

nextWeakerBound

template<class Settings , typename T1 , typename T2 >

Bound<T1, T2>::BoundSet::const_iterator smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::nextWeakerBound

Definition at line 218 of file Tableau.h.

premise

template<class Settings , typename T1 , typename T2 >

std::vector< const Bound<T1, T2>*> smtrat::lra::Tableau< Settings, T1, T2 >::LearnedBound::premise

Definition at line 220 of file Tableau.h.

---

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

• smtrat-modules/LRAModule/tableau/Tableau.h