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)