Predicate signature GraphExportSig::mustBeNamed
Holds if node
must be named if it is part of the exported graph.
signature predicate mustBeNamed(Node node)
Holds if node
must be named if it is part of the exported graph.
signature predicate mustBeNamed(Node node)