Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
core::SetConstraint< Derived, ComponentType, ComponentName > Class Template Reference

#include <setComponents.hpp>

Static Public Member Functions

static bool used (const Derived &object, const ComponentType &element)
 
static bool available (const Derived &object, const ComponentType &element)
 
static void valid (const Derived &object, const ComponentType &element)
 

Detailed Description

template<class Derived, class ComponentType, class ComponentName>
class core::SetConstraint< Derived, ComponentType, ComponentName >

Pack of containt check functions for set component

Member Function Documentation

◆ available()

template<class Derived , class ComponentType , class ComponentName >
static bool core::SetConstraint< Derived, ComponentType, ComponentName >::available ( const Derived &  object,
const ComponentType &  element 
)
static

Checks whether a concrete element is available in context of the datatype where the set is used

To be implemented by all template instantiations explicitly

Parameters
elementto check
Returns
true if element is available false if element is not available

◆ used()

template<class Derived , class ComponentType , class ComponentName >
static bool core::SetConstraint< Derived, ComponentType, ComponentName >::used ( const Derived &  object,
const ComponentType &  element 
)
static

Checks whether a concrete element is used in context of the datatype where the set is used

To be implemented by all template instantiations explicitly

Parameters
elementto check
Returns
true if element is used false if element is not used
Here is the caller graph for this function:

◆ valid()

template<class Derived , class ComponentType , class ComponentName >
static void core::SetConstraint< Derived, ComponentType, ComponentName >::valid ( const Derived &  object,
const ComponentType &  element 
)
static

Checks whether a concrete element is valid in context of the datatype where the set is used

To be implemented by all template instantiations explicitly

Parameters
elementto check
Exceptions
CommonExceptionif the element in any way invalid

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