Package org.jreliability.bdd
Provides the classes for the
BDD
s used for the
evaluation.-
Interface Summary Interface Description BDD<T> BDDProvider<T> TheBDDProvider
provides the actualBDD
s for each component.BDDProviderFactory TheBDDProviderFactory
createsBDDProvider
s. -
Class Summary Class Description BDDReliabilityFunction<T> BDDs BDDTopEvent<T> TheBDDTopEvent
allows the fast calculation of the top event for a givenBDD
.BDDTTRF<T> TheBDDTTRF
transforms a Boolean function represented as aTerm
into aReliabilityFunction
or, if needed, into aBDD
.BDDTTRFSimulative<T> TheBDDTTRFSimulative
performs a Monte-Carlo simulation to determine theReliabilityFunction
based on aBDD
representation of the system structure.