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 () Builds the node predicate.
virtual IsAtom *	clone () override const Clones the predicate.
virtual bool	operator() (SBDDataGraphNode const * node) override Performs the predicate's operation on the node node and returns the result.
virtual bool	operator() (SBDDataGraphNode const * node) override const Performs the predicate's operation on the node node and returns the result.
	~IsAtom () Destructor.

Detailed Description

See also: Node predicates

Public Functions Documentation

function IsAtom

Builds the node predicate.

SBDDataGraphNode::IsAtom::IsAtom () 

---

function clone

Clones the predicate.

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

Implements SBCFunctor::clone

---

function operator()

Performs the predicate's operation on the node node and returns the result.

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

---

function operator()

Performs the predicate's operation on the node node and returns the result.

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

---

function ~IsAtom

Destructor.

SBDDataGraphNode::IsAtom::~IsAtom () 

---