Alloy4.2 Documentation

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