Uses of Package
edu.mit.csail.sdg.alloy4compiler.sim

Packages that use edu.mit.csail.sdg.alloy4compiler.sim

edu.mit.csail.sdg.alloy4compiler.sim

This package contains a pure-Java evaluator/simulator for Alloy4 instances.

Classes in edu.mit.csail.sdg.alloy4compiler.sim used by edu.mit.csail.sdg.alloy4compiler.sim

SimAtom
Immutable; represents an atom.

SimCallback
This interface represents callback objects (that can be plugged into SimContext to perform more efficient evaluations)

SimInstance
Mutable; represents an instance.

SimTuple
Immutable; represents a tuple.

SimTupleset
Immutable; represents a tupleset.