| Description: |
specifies the default folding of the nodes. The folding k (with k > 0) means that the
graph part that is reachable via edges of a class less or equal to k is folded and displayed as one node. There are commands
to unfold such summary nodes. If no folding is specified for a node, then the node may be folded if it is in the region of
another node that starts the folding. If folding 0 is specified, then the node is never folded. In this case the folding stops
at the predecessors of this node, if it is reachable from another folding node. The summary node inherits some attributes
from the original node which starts the folding (all color attributes, textmode and label, but not the location). A folded
region may contain folded regions with smaller folding class values (nested foldings). If there is more than one node that
start the folding of the same region (this implies that the folding class values are equal) then the attributes are inherited
by one of these nodes nondeterministically. If foldnode attributes are specified, then the summary node attributes are inherited
from these attributes.
|