SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::lra::TableauEntry< T1, T2 > Class Template Reference

#include <Tableau.h>

Inheritance diagram for smtrat::lra::TableauEntry< T1, T2 >:
Inheritance graph
[legend]

Public Member Functions

 TableauEntry ()
 
 TableauEntry (EntryID _up, EntryID _down, EntryID _left, EntryID _right, Variable< T1, T2 > *_rowVar, Variable< T1, T2 > *_columnVar, const T2 &_content)
 
 TableauEntry (const TableauEntry &_entry)
 
 ~TableauEntry ()
 
void setVNext (bool downwards, const EntryID _entryId)
 
void setHNext (bool leftwards, const EntryID _entryId)
 
EntryID vNext (bool downwards)
 
EntryID hNext (bool leftwards)
 
Variable< T1, T2 > * rowVar () const
 
void setRowVar (Variable< T1, T2 > *_rowVar)
 
Variable< T1, T2 > * columnVar () const
 
void setColumnVar (Variable< T1, T2 > *_columnVar)
 
const T2 & content () const
 
T2 & rContent ()
 

Private Attributes

EntryID mUp
 
EntryID mDown
 
EntryID mLeft
 
EntryID mRight
 
Variable< T1, T2 > * mRowVar
 
Variable< T1, T2 > * mColumnVar
 
T2 mpContent
 

Detailed Description

template<typename T1, typename T2>
class smtrat::lra::TableauEntry< T1, T2 >

Definition at line 26 of file Tableau.h.

Constructor & Destructor Documentation

◆ TableauEntry() [1/3]

template<typename T1 , typename T2 >
smtrat::lra::TableauEntry< T1, T2 >::TableauEntry ( )
inline

Definition at line 48 of file Tableau.h.

◆ TableauEntry() [2/3]

template<typename T1 , typename T2 >
smtrat::lra::TableauEntry< T1, T2 >::TableauEntry ( EntryID  _up,
EntryID  _down,
EntryID  _left,
EntryID  _right,
Variable< T1, T2 > *  _rowVar,
Variable< T1, T2 > *  _columnVar,
const T2 &  _content 
)
inline
Parameters
_up
_down
_left
_right
_rowVar
_columnVar
_content

Definition at line 68 of file Tableau.h.

◆ TableauEntry() [3/3]

template<typename T1 , typename T2 >
smtrat::lra::TableauEntry< T1, T2 >::TableauEntry ( const TableauEntry< T1, T2 > &  _entry)
inline
Parameters
_entry

Definition at line 82 of file Tableau.h.

◆ ~TableauEntry()

template<typename T1 , typename T2 >
smtrat::lra::TableauEntry< T1, T2 >::~TableauEntry ( )
inline

Definition at line 95 of file Tableau.h.

Member Function Documentation

◆ columnVar()

template<typename T1 , typename T2 >
Variable<T1, T2>* smtrat::lra::TableauEntry< T1, T2 >::columnVar ( ) const
inline
Returns

Definition at line 170 of file Tableau.h.

◆ content()

template<typename T1 , typename T2 >
const T2& smtrat::lra::TableauEntry< T1, T2 >::content ( ) const
inline
Returns

Definition at line 187 of file Tableau.h.

Here is the caller graph for this function:

◆ hNext()

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::hNext ( bool  leftwards)
inline
Parameters
leftwards
Returns

Definition at line 142 of file Tableau.h.

◆ rContent()

template<typename T1 , typename T2 >
T2& smtrat::lra::TableauEntry< T1, T2 >::rContent ( )
inline
Returns

Definition at line 195 of file Tableau.h.

◆ rowVar()

template<typename T1 , typename T2 >
Variable<T1, T2>* smtrat::lra::TableauEntry< T1, T2 >::rowVar ( ) const
inline
Returns

Definition at line 153 of file Tableau.h.

Here is the caller graph for this function:

◆ setColumnVar()

template<typename T1 , typename T2 >
void smtrat::lra::TableauEntry< T1, T2 >::setColumnVar ( Variable< T1, T2 > *  _columnVar)
inline
Parameters
_columnVar

Definition at line 179 of file Tableau.h.

◆ setHNext()

template<typename T1 , typename T2 >
void smtrat::lra::TableauEntry< T1, T2 >::setHNext ( bool  leftwards,
const EntryID  _entryId 
)
inline
Parameters
leftwards
_entryId

Definition at line 116 of file Tableau.h.

◆ setRowVar()

template<typename T1 , typename T2 >
void smtrat::lra::TableauEntry< T1, T2 >::setRowVar ( Variable< T1, T2 > *  _rowVar)
inline
Parameters
_rowVar

Definition at line 162 of file Tableau.h.

◆ setVNext()

template<typename T1 , typename T2 >
void smtrat::lra::TableauEntry< T1, T2 >::setVNext ( bool  downwards,
const EntryID  _entryId 
)
inline
Parameters
downwards
_entryId

Definition at line 103 of file Tableau.h.

◆ vNext()

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::vNext ( bool  downwards)
inline
Parameters
downwards
Returns

Definition at line 129 of file Tableau.h.

Field Documentation

◆ mColumnVar

template<typename T1 , typename T2 >
Variable<T1, T2>* smtrat::lra::TableauEntry< T1, T2 >::mColumnVar
private

Definition at line 40 of file Tableau.h.

◆ mDown

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::mDown
private

Definition at line 32 of file Tableau.h.

◆ mLeft

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::mLeft
private

Definition at line 34 of file Tableau.h.

◆ mpContent

template<typename T1 , typename T2 >
T2 smtrat::lra::TableauEntry< T1, T2 >::mpContent
private

Definition at line 42 of file Tableau.h.

◆ mRight

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::mRight
private

Definition at line 36 of file Tableau.h.

◆ mRowVar

template<typename T1 , typename T2 >
Variable<T1, T2>* smtrat::lra::TableauEntry< T1, T2 >::mRowVar
private

Definition at line 38 of file Tableau.h.

◆ mUp

template<typename T1 , typename T2 >
EntryID smtrat::lra::TableauEntry< T1, T2 >::mUp
private

Definition at line 30 of file Tableau.h.

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