SBDDataGraphNode::IsErased Class Reference

This node predicate returns true for erased nodes. More...

Public Member Functions
virtual IsErased *	clone () const override
virtual bool	operator() (SBDDataGraphNode const *node) override
virtual bool	operator() (SBDDataGraphNode const *node) const override

Detailed Description

This node predicate returns true for erased nodes.

See also

Node predicates

Member Function Documentation

clone()

virtual IsErased * SBDDataGraphNode::IsErased::clone ( ) const

overridevirtual

Reimplemented from SBCFunctor.