protected OrderAnalysisResults AnalyzeOrder(Formula hazard, params IComponent[] components)
{
var configuration = AnalysisConfiguration.Default;
configuration.StateCapacity = 1 << 10;
configuration.TransitionCapacity = 1 << 12;
configuration.GenerateCounterExample = !SuppressCounterExampleGeneration;
configuration.ProgressReportsOnly = true;
var analysis = new OrderAnalysis(DccaWithMaxCardinality(hazard, Int32.MaxValue, components), configuration);
analysis.OutputWritten += message => Output.Log("{0}", message);
var result = analysis.ComputeOrderRelationships();
Output.Log("{0}", result);
return result;
}
/// <summary>
/// Computes the order relationships for all minimal critical fault sets contained in the
/// <paramref name="safetyAnalysisResults" />.
/// </summary>
/// <param name="safetyAnalysisResults">The results of the safety analysis the order relationships should be computed for.</param>
/// <param name="configuration">The configuration settings of the model checker that should be used.</param>
public static OrderAnalysisResults ComputeOrderRelationships(SafetyAnalysisResults safetyAnalysisResults,
AnalysisConfiguration configuration)
{
var analysis = new OrderAnalysis(safetyAnalysisResults, configuration);
return analysis.ComputeOrderRelationships();
}
