SBDDataGraphNode::IsStructuralParticle Class Reference
This node predicate is true when the node is a structural particle (an atom or a pseudo-atom). More...
Public Member Functions | |
| IsStructuralParticle * | clone () const |
| bool | operator() (SBDDataGraphNode const *node) |
| bool | operator() (SBDDataGraphNode const *node) const |
Detailed Description
- See also
- Node predicates