|
Packages |
| edu.mit.csail.sdg.alloy4 |
This package contains general data structures and helper classes. |
| edu.mit.csail.sdg.alloy4compiler.ast |
This package contains the definition of AST nodes. |
| edu.mit.csail.sdg.alloy4compiler.parser |
This package contains the compiler |
| edu.mit.csail.sdg.alloy4compiler.sim |
This package contains a pure-Java evaluator/simulator for Alloy4 instances. |
| edu.mit.csail.sdg.alloy4compiler.translator |
This package contains the translator from Alloy4 to CNF (using kodkod). |
| edu.mit.csail.sdg.alloy4graph |
This package performs graph layout. |
| edu.mit.csail.sdg.alloy4viz |
This package displays Alloy4 instances. |
| edu.mit.csail.sdg.alloy4whole |
This package contains a simple GUI client,
as well as several examples on using the API. |
| java_cup.runtime |
|
| tmp |
|