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 2011/04/06 21h:16