Uses of Class
edu.mit.csail.sdg.alloy4viz.AlloyNodeElement

Packages that use AlloyNodeElement

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

Uses of AlloyNodeElement in edu.mit.csail.sdg.alloy4viz

Subclasses of AlloyNodeElement in edu.mit.csail.sdg.alloy4viz

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

Methods in edu.mit.csail.sdg.alloy4viz 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.