Package data

Interface Summary

ProbSystem

ProbSystem This interface serve as a basis for teh probabilistic systems used by the engine.

Class Summary

ActInitialEndingTriplet	ActInitialEndingTriplet This class will provide a key for the hash tables representing a transition.
ActInitialPair	ActInitialPair This class will provide a key for the hash tables representing a transition.
Interval	Interval This class represents a real interval, comprised of two real bounds.
IntervalList	IntervalList This class represents a list of intervals, i.e. a subset of the real numbers.
ProbSystemHash	ProbSystem Hash This class represents a probabilistic system constructed using hash table structures.
ProbSystemMtbdd	ProbSystem MTBDD This class represents a probabilistic system constructed using MTBDD data structures.
StandardNormalTable	StandardNormalTable This class manage a reduced centered normal law table.
Transition	Transition This class represents a transition of a probabilistic system.