Package edu.mit.csail.sdg.alloy4whole

This package contains a simple GUI client, as well as several examples on using the API.

See:
Description

Class Summary

DemoFileSystem	This class demonstrates how to access Alloy4 via the API, by modeling a simple file system.
ExampleUsingTheAPI	This class demonstrates how to access Alloy4 via the API.
ExampleUsingTheCompiler	This class demonstrates how to access Alloy4 via the compiler methods.
Helper	This class contains convenient methods for people using Alloy4 API.
SimpleCLI	This class is used by the Alloy developers to drive the regression test suite.
SimpleGUI	Simple graphical interface for accessing various features of the analyzer.

Package edu.mit.csail.sdg.alloy4whole Description

This package contains a simple GUI client, as well as several examples on using the API.