Uses of Class
edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Packages that use SimInstance

edu.mit.csail.sdg.alloy4compiler.sim

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

Uses of SimInstance in edu.mit.csail.sdg.alloy4compiler.sim

Methods in edu.mit.csail.sdg.alloy4compiler.sim that return SimInstance

static SimInstance

SimInstance.read(Module root, java.lang.String filename, java.util.List<ExprVar> vars) Construct a new simulation context by reading the given file.

Constructors in edu.mit.csail.sdg.alloy4compiler.sim with parameters of type SimInstance

SimInstance(SimInstance old)
Construct a deep copy of this instance (except that it shares the same root Module object as the old instance)