smtrat::lra::Tableau< Settings, T1, T2 >::Iterator Class Reference

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

Public Member Functions
	Iterator (EntryID _start, std::vector< TableauEntry< T1, T2 > > *const _entries)
	Iterator (const Iterator &_iter)
void	operator= (const Iterator &_iter)
void	operator= (Iterator &&_iter)
EntryID	entryID () const
TableauEntry< T1, T2 > &	operator* ()
bool	vEnd (bool downwards) const
bool	hEnd (bool leftwards) const
void	vMove (bool downwards)
void	hMove (bool leftwards)
std::vector< TableauEntry< T1, T2 > > *	pEntries () const
bool	operator== (const Iterator &_iter) const
bool	operator!= (const Iterator &_iter) const

Private Attributes
EntryID	mEntryID
std::vector< TableauEntry< T1, T2 > > *	mpEntries

Detailed Description

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

Definition at line 298 of file Tableau.h.

Constructor & Destructor Documentation

Iterator() [1/2]

template<class Settings , typename T1 , typename T2 >

smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::Iterator ( EntryID  _start, std::vector< TableauEntry< T1, T2 > > *const  _entries  )

inline

Parameters

_start
_entries

Definition at line 312 of file Tableau.h.

Iterator() [2/2]

template<class Settings , typename T1 , typename T2 >

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

inline

Parameters

_iter

Definition at line 321 of file Tableau.h.

Member Function Documentation

entryID()

template<class Settings , typename T1 , typename T2 >

EntryID smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::entryID ( ) const

inline

Returns

Definition at line 339 of file Tableau.h.

Here is the caller graph for this function:

hEnd()

template<class Settings , typename T1 , typename T2 >

bool smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::hEnd ( bool  leftwards ) const

inline

Returns

Definition at line 363 of file Tableau.h.

Here is the caller graph for this function:

hMove()

template<class Settings , typename T1 , typename T2 >

void smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::hMove ( bool  leftwards )

inline

Parameters

leftwards

Definition at line 382 of file Tableau.h.

Here is the call graph for this function:

operator!=()

template<class Settings , typename T1 , typename T2 >

bool smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::operator!= ( const Iterator &  _iter ) const

inline

Returns

Definition at line 407 of file Tableau.h.

Here is the call graph for this function:

operator*()

template<class Settings , typename T1 , typename T2 >

TableauEntry<T1,T2>& smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::operator* ( )

inline

Returns

Definition at line 347 of file Tableau.h.

operator=() [1/2]

template<class Settings , typename T1 , typename T2 >

void smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::operator= ( const Iterator &  _iter )

inline

Definition at line 326 of file Tableau.h.

Here is the call graph for this function:

operator=() [2/2]

template<class Settings , typename T1 , typename T2 >

void smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::operator= ( Iterator &&  _iter )

inline

Definition at line 331 of file Tableau.h.

operator==()

template<class Settings , typename T1 , typename T2 >

bool smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::operator== ( const Iterator &  _iter ) const

inline

Returns

Definition at line 399 of file Tableau.h.

Here is the call graph for this function:

pEntries()

template<class Settings , typename T1 , typename T2 >

std::vector<TableauEntry<T1,T2> >* smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::pEntries ( ) const

inline

Returns

Definition at line 391 of file Tableau.h.

Here is the caller graph for this function:

vEnd()

template<class Settings , typename T1 , typename T2 >

bool smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::vEnd ( bool  downwards ) const

inline

Returns

Definition at line 355 of file Tableau.h.

Here is the caller graph for this function:

vMove()

template<class Settings , typename T1 , typename T2 >

void smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::vMove ( bool  downwards )

inline

Parameters

downwards

Definition at line 372 of file Tableau.h.

Here is the call graph for this function:

Field Documentation

mEntryID

template<class Settings , typename T1 , typename T2 >

EntryID smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::mEntryID

private

Definition at line 302 of file Tableau.h.

mpEntries

template<class Settings , typename T1 , typename T2 >

std::vector<TableauEntry<T1,T2> >* smtrat::lra::Tableau< Settings, T1, T2 >::Iterator::mpEntries

private

Definition at line 304 of file Tableau.h.

---

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

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