Package org.jreliability.bdd

package org.jreliability.bdd

Provides the classes for the BDDs used for the evaluation.

Related Packages

Package	Description
org.jreliability.bdd.javabdd	Provides the classes for a BDD implementation based on net.sf.javabdd.

Class	Description
BDD<T>	The BDD is an interface containing the very basic functionality of a BDD.
BDDProvider<T>	The BDDProvider provides the actual BDDs for each component.
BDDProviderFactory	The BDDProviderFactory creates BDDProviders.
BDDReliabilityFunction<T>	The BDDReliabilityFunction represents the ReliabilityFunction that is inherently included in a BDD.
BDDs	The BDDs contains common reliabilityFunctions for/on BDDs.
BDDTopEvent<T>	The BDDTopEvent allows the fast calculation of the top event for a given BDD.
BDDTTRF<T>	The BDDTTRF transforms a Boolean function represented as a Term into a ReliabilityFunction or, if needed, into a BDD.
BDDTTRFSimulative<T>	The BDDTTRFSimulative performs a Monte-Carlo simulation to determine the ReliabilityFunction based on a BDD representation of the system structure.