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)