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

#include <IntBlastModule.h>

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

Public Member Functions

 ElementWithOrigins (const Element &_element)
 
 ElementWithOrigins (const Element &_element, const Origin &_origin)
 
const Element & element () const
 
const std::set< Origin > & origins () const
 
void addOrigin (const Origin &_origin)
 
bool removeOrigin (const Origin &_origin)
 
bool hasOrigins ()
 

Private Attributes

Element mElement
 
std::set< Origin > mOrigins
 

Detailed Description

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

Definition at line 309 of file IntBlastModule.h.

Constructor & Destructor Documentation

◆ ElementWithOrigins() [1/2]

template<typename Element , typename Origin >
smtrat::ElementWithOrigins< Element, Origin >::ElementWithOrigins ( const Element &  _element)
inline

Definition at line 316 of file IntBlastModule.h.

◆ ElementWithOrigins() [2/2]

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

Definition at line 320 of file IntBlastModule.h.

Member Function Documentation

◆ addOrigin()

template<typename Element , typename Origin >
void smtrat::ElementWithOrigins< Element, Origin >::addOrigin ( const Origin &  _origin)
inline

Definition at line 332 of file IntBlastModule.h.

◆ element()

template<typename Element , typename Origin >
const Element& smtrat::ElementWithOrigins< Element, Origin >::element ( ) const
inline

Definition at line 324 of file IntBlastModule.h.

◆ hasOrigins()

template<typename Element , typename Origin >
bool smtrat::ElementWithOrigins< Element, Origin >::hasOrigins ( )
inline

Definition at line 344 of file IntBlastModule.h.

◆ origins()

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

Definition at line 328 of file IntBlastModule.h.

◆ removeOrigin()

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

Definition at line 336 of file IntBlastModule.h.

Field Documentation

◆ mElement

template<typename Element , typename Origin >
Element smtrat::ElementWithOrigins< Element, Origin >::mElement
private

Definition at line 312 of file IntBlastModule.h.

◆ mOrigins

template<typename Element , typename Origin >
std::set<Origin> smtrat::ElementWithOrigins< Element, Origin >::mOrigins
private

Definition at line 313 of file IntBlastModule.h.

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