SBDDataGraphNode::IsType Class Reference

This node predicate compares the node type with a given type. More...

Public Member Functions

 IsType (SBDDataGraphNode::Type argument0)
 
IsTypeclone () const
 
bool operator() (SBDDataGraphNode const *node)
 
bool operator() (SBDDataGraphNode const *node) const
 

Detailed Description

This node predicate returns true when the node type is equal to the type passed to the constructor of the predicate:

// collect all atoms
SBNodeIndexer nodeIndexer;
See also
Node predicates