24 #ifndef _RECURSIVNESS_
25 #define _RECURSIVNESS_
A CTree = (Node x [CTree]) is a Node associated with a list of subtrees called branches.
int getRecursivness(Tree t)
Return the recursivness of a previously annotated signal.
void recursivnessAnnotation(Tree sig)
Annotate a signal with recursivness.