Predicate signature Make::CharTree::isARelevantEnd
Holds if n is at the end of a tree. I.e. a node that should have a result in the Concretizer module.
Such a node can still have children.
signature predicate isARelevantEnd(CharNode n)Holds if n is at the end of a tree. I.e. a node that should have a result in the Concretizer module.
Such a node can still have children.
signature predicate isARelevantEnd(CharNode n)