mdd Directory Reference

Directory dependency graph for mdd:

Files
	mdd.h
	Quasi-reduced ordered Multi-valued Decision Diagram.
	mdd_closedqn.h
	Exact solve of a single-class closed exponential queueing network whose CTMC state space (reachable occupancy vectors) is stored in a Multi-valued Decision Diagram instead of an explicit state list.
	mdd_descriptor.h
	Kronecker rate descriptor of a single-class closed queueing network.
	mdd_mcd.h
	Miner-Ciardo-Donatelli approximate stationary analysis.
	mdd_ps.h
	Kronecker rate descriptor for shared-server stations with phase-type service.
	mdd_reachset.h
	Reachability set generation into a decision diagram.
	mdd_rec.h
	MDD-rec: the normalising constant of a product-form model whose reachable set is held in a decision diagram.
	mdd_types.h
	The rate side of the decision-diagram domain: local matrices, events, the Kronecker descriptor, and the options/result of the level aggregation.