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