Uses of Class

Packages that use SimInstance This package contains a pure-Java evaluator/simulator for Alloy4 instances. 

Uses of SimInstance in

Methods in that return SimInstance
static SimInstance root, java.lang.String filename, java.util.List<ExprVar> vars)
          Construct a new simulation context by reading the given file.

Constructors in 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)