Loading...
Searching...
No Matches
SBDDataGraphNodeGetter< Output > Class Template Referenceabstract

This class describes a getter functor of a data graph node.

Constructors and destructors

 SBDDataGraphNodeGetter ()
 
 SBDDataGraphNodeGetter (const SBDDataGraphNodeGetter< Output > &)
 
virtual ~SBDDataGraphNodeGetter ()
 

Cloning

void operator= (const SBDDataGraphNodeGetter< Output > &)
 
virtual SBDDataGraphNodeGetterclone () const override
 

Operation

virtual Output operator() (SBDDataGraphNode const *node) override=0
 
virtual Output operator() (SBDDataGraphNode const *node) const override=0
 

Member Function Documentation

◆ clone()

template<typename Output >
virtual SBDDataGraphNodeGetter * SBDDataGraphNodeGetter< Output >::clone ( ) const
inlineoverridevirtual

Reimplemented from SBCFunctor.