/// <summary>
/// The analyze.
/// </summary>
/// <param name="samplingRate">
/// The sampling rate.
/// </param>
/// <param name="timeSpan">
/// The time span.
/// </param>
/// <param name="errorTolerance">
/// The error tolerance.
/// </param>
/// <returns>
/// The <see>
/// <cref>IEnumerable</cref>
/// </see>
/// .
/// </returns>
public IEnumerable <double> Analyze(double samplingRate, double timeSpan, double errorTolerance)
{
BinaryDecisionDiagram bdd = this;
this.MarkovChain.NormalizeDistribution();
return(bdd.Analyze(this.MarkovChain.ComputeProbability(samplingRate, timeSpan, errorTolerance), this.MarkovChain.GetComponents(this.Traverse().OfType <FaultTreeTerminalNode>())));
}
public BinaryDecisionDiagram(int id, int ordinalValue, BinaryDecisionDiagram trueCase, BinaryDecisionDiagram falseCase)
{
Id = id;
Ordinal = ordinalValue;
TrueCase = trueCase;
FalseCase = falseCase;
}
internal BddPair(BinaryDecisionDiagram a, BinaryDecisionDiagram b)
{
First = a;
Second = b;
}
