Class SBDDataGraphNode::IsAtom

ClassList > SBDDataGraphNode > IsAtom

This node predicate is true when the node is an atom.More...

Inherits the following classes: SBCFunctorPredicate1< SBDDataGraphNode const * >

Public Functions

Type	Name
	IsAtom ()
virtual IsAtom *	clone () override const
virtual bool	operator() (SBDDataGraphNode const * node) override
virtual bool	operator() (SBDDataGraphNode const * node) override const
	~IsAtom ()

Detailed Description

See also: Node predicates

Public Functions Documentation

function IsAtom

SBDDataGraphNode::IsAtom::IsAtom () 

---

function clone

virtual IsAtom * SBDDataGraphNode::IsAtom::clone () override const

Implements SBCFunctor::clone

---

function operator() [1/2]

virtual bool SBDDataGraphNode::IsAtom::operator() (
    SBDDataGraphNode const * node
) override

---

function operator() [2/2]

virtual bool SBDDataGraphNode::IsAtom::operator() (
    SBDDataGraphNode const * node
) override const

---

function ~IsAtom

SBDDataGraphNode::IsAtom::~IsAtom () 

---