Package kodkod.util.nodes

Provides utility methods for constructing, analyzing, and pretty printing Kodkod nodes.

See: Description

Class Summary

Class	Description
AnnotatedNode<N extends Node>	A node annotated with information about structural sharing in its ast/dag.
Nodes	Provides utility methods for extracting roots (top-level) conjuncts of Kodkod formulas
PrettyPrinter	Pretty-prints Kodkod nodes.

Package kodkod.util.nodes Description

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 Also:

Nodes, AnnotatedNode, PrettyPrinter