Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.
Package Specification
Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.
Related Documentation
@see kodkod.util.nodes.Nodes
@see kodkod.util.nodes.AnnotatedNode
@see kodkod.util.nodes.PrettyPrinter