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

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

See:
Description

Interface Summary

SimCallback

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

Class Summary

SimAtom	Immutable; represents an atom.
SimInstance	Mutable; represents an instance.
SimTuple	Immutable; represents a tuple.
SimTupleset	Immutable; represents a tupleset.

Package edu.mit.csail.sdg.alloy4compiler.sim Description

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