The simulate package
External Header File for MC Simulator
By Andrea Morichetti
External Header File for simulation package: simulation
package provides a set of utilities for traces generation (a trace is a
possible execution of the model). It performs initial state picking,
trace inspection, simulation according to different policies (deterministic,
random, interactive) and with the possibility to specify constraints.
Last updated on 2010/05/19 15h:56