SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Types | Public Member Functions | Private Types | Private Attributes
smtrat::CollectionWithOrigins< Element, Origin > Class Template Reference

#include <IntBlastModule.h>

Inheritance diagram for smtrat::CollectionWithOrigins< Element, Origin >:
Inheritance graph
[legend]
Collaboration diagram for smtrat::CollectionWithOrigins< Element, Origin >:
Collaboration graph
[legend]

Public Types

typedef Super::iterator iterator
 
typedef Super::const_iterator const_iterator
 

Public Member Functions

 CollectionWithOrigins (bool _trackElementsWithoutOrigins=true)
 
bool contains (const Element &_element)
 
bool add (const Element &_element, const Origin &_origin)
 
bool removeOrigin (const Origin &_origin)
 
bool removeOrigins (const std::set< Origin > &_origins)
 
iterator begin ()
 
iterator end ()
 
const_iterator cbegin () const
 
const_iterator cend () const
 
const std::set< Element > & elementsWithoutOrigins () const
 
void clearElementsWithoutOrigins ()
 

Private Types

typedef ElementWithOrigins< Element, Origin > ElementWO
 
typedef std::list< ElementWO > Super
 

Private Attributes

Super mItems
 
std::map< Element, typename Super::iterator > mElementPositions
 
std::map< Origin, std::list< typename Super::iterator > > mOriginOccurings
 
bool mTrackElementsWithoutOrigins
 
std::set< Element > mElementsWithoutOrigins
 

Detailed Description

template<typename Element, typename Origin>
class smtrat::CollectionWithOrigins< Element, Origin >

Definition at line 350 of file IntBlastModule.h.

Member Typedef Documentation

◆ const_iterator

template<typename Element , typename Origin >
typedef Super::const_iterator smtrat::CollectionWithOrigins< Element, Origin >::const_iterator

Definition at line 365 of file IntBlastModule.h.

◆ ElementWO

template<typename Element , typename Origin >
typedef ElementWithOrigins<Element, Origin> smtrat::CollectionWithOrigins< Element, Origin >::ElementWO
private

Definition at line 353 of file IntBlastModule.h.

◆ iterator

template<typename Element , typename Origin >
typedef Super::iterator smtrat::CollectionWithOrigins< Element, Origin >::iterator

Definition at line 364 of file IntBlastModule.h.

◆ Super

template<typename Element , typename Origin >
typedef std::list<ElementWO> smtrat::CollectionWithOrigins< Element, Origin >::Super
private

Definition at line 354 of file IntBlastModule.h.

Constructor & Destructor Documentation

◆ CollectionWithOrigins()

template<typename Element , typename Origin >
smtrat::CollectionWithOrigins< Element, Origin >::CollectionWithOrigins ( bool  _trackElementsWithoutOrigins = true)
inline

Definition at line 367 of file IntBlastModule.h.

Member Function Documentation

◆ add()

template<typename Element , typename Origin >
bool smtrat::CollectionWithOrigins< Element, Origin >::add ( const Element &  _element,
const Origin &  _origin 
)
inline

Definition at line 377 of file IntBlastModule.h.

◆ begin()

template<typename Element , typename Origin >
iterator smtrat::CollectionWithOrigins< Element, Origin >::begin ( )
inline

Definition at line 425 of file IntBlastModule.h.

◆ cbegin()

template<typename Element , typename Origin >
const_iterator smtrat::CollectionWithOrigins< Element, Origin >::cbegin ( ) const
inline

Definition at line 433 of file IntBlastModule.h.

◆ cend()

template<typename Element , typename Origin >
const_iterator smtrat::CollectionWithOrigins< Element, Origin >::cend ( ) const
inline

Definition at line 437 of file IntBlastModule.h.

◆ clearElementsWithoutOrigins()

template<typename Element , typename Origin >
void smtrat::CollectionWithOrigins< Element, Origin >::clearElementsWithoutOrigins ( )
inline

Definition at line 446 of file IntBlastModule.h.

◆ contains()

template<typename Element , typename Origin >
bool smtrat::CollectionWithOrigins< Element, Origin >::contains ( const Element &  _element)
inline

Definition at line 373 of file IntBlastModule.h.

◆ elementsWithoutOrigins()

template<typename Element , typename Origin >
const std::set<Element>& smtrat::CollectionWithOrigins< Element, Origin >::elementsWithoutOrigins ( ) const
inline

Definition at line 441 of file IntBlastModule.h.

◆ end()

template<typename Element , typename Origin >
iterator smtrat::CollectionWithOrigins< Element, Origin >::end ( )
inline

Definition at line 429 of file IntBlastModule.h.

◆ removeOrigin()

template<typename Element , typename Origin >
bool smtrat::CollectionWithOrigins< Element, Origin >::removeOrigin ( const Origin &  _origin)
inline

Definition at line 394 of file IntBlastModule.h.

Here is the caller graph for this function:

◆ removeOrigins()

template<typename Element , typename Origin >
bool smtrat::CollectionWithOrigins< Element, Origin >::removeOrigins ( const std::set< Origin > &  _origins)
inline

Definition at line 415 of file IntBlastModule.h.

Here is the call graph for this function:

Field Documentation

◆ mElementPositions

template<typename Element , typename Origin >
std::map<Element, typename Super::iterator> smtrat::CollectionWithOrigins< Element, Origin >::mElementPositions
private

Definition at line 357 of file IntBlastModule.h.

◆ mElementsWithoutOrigins

template<typename Element , typename Origin >
std::set<Element> smtrat::CollectionWithOrigins< Element, Origin >::mElementsWithoutOrigins
private

Definition at line 361 of file IntBlastModule.h.

◆ mItems

template<typename Element , typename Origin >
Super smtrat::CollectionWithOrigins< Element, Origin >::mItems
private

Definition at line 356 of file IntBlastModule.h.

◆ mOriginOccurings

template<typename Element , typename Origin >
std::map<Origin, std::list<typename Super::iterator> > smtrat::CollectionWithOrigins< Element, Origin >::mOriginOccurings
private

Definition at line 358 of file IntBlastModule.h.

◆ mTrackElementsWithoutOrigins

template<typename Element , typename Origin >
bool smtrat::CollectionWithOrigins< Element, Origin >::mTrackElementsWithoutOrigins
private

Definition at line 360 of file IntBlastModule.h.

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