Uses of Class

Packages that use AlloyNodeElement This package displays Alloy4 instances. 

Uses of AlloyNodeElement in

Subclasses of AlloyNodeElement in
 class AlloySet
          Immutable; represents an Alloy set in an instance.
 class AlloyType
          Immutable; represents an Alloy toplevel signature or an Alloy subsignature.

Methods in with parameters of type AlloyNodeElement
 int AlloyType.compareTo(AlloyNodeElement other)
          When comparing two AlloyType objects, we compare their names.
 int AlloySet.compareTo(AlloyNodeElement other)
          When comparing two AlloySet objects, we first compare their names, then their types.