Decision diagrams (mdd)

Quasi-reduced ordered multi-valued decision diagrams, and the closed-network and loss-network solves that store their state space in one. More...

Collaboration diagram for Decision diagrams (mdd):

Files
file	include/line/api/mdd/mdd.h
	Quasi-reduced ordered Multi-valued Decision Diagram.
file	include/line/api/mdd/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.
file	include/line/api/mdd/mdd_descriptor.h
	Kronecker rate descriptor of a single-class closed queueing network.
file	include/line/api/mdd/mdd_mcd.h
	Miner-Ciardo-Donatelli approximate stationary analysis.
file	include/line/api/mdd/mdd_ps.h
	Kronecker rate descriptor for shared-server stations with phase-type service.
file	include/line/api/mdd/mdd_reachset.h
	Reachability set generation into a decision diagram.
file	include/line/api/mdd/mdd_rec.h
	MDD-rec: the normalising constant of a product-form model whose reachable set is held in a decision diagram.
file	include/line/api/mdd/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.

Detailed Description

Quasi-reduced ordered multi-valued decision diagrams, and the closed-network and loss-network solves that store their state space in one.