Package org.jreliability.importancemeasures

Class CriticalityBDDs<T>

java.lang.Object
org.jreliability.importancemeasures.CriticalityBDDs<T>
Type Parameters:
T - The type of the variables of the BDD
public class CriticalityBDDs<T> extends Object
The CriticalityBDDs class is a wrapper class to encapsulate the failure and repair criticality BDDs of a component.

  • Field Details

    • failureCriticalityBdd

      protected final BDD<T> failureCriticalityBdd

    • repairCriticalityBdd

      protected final BDD<T> repairCriticalityBdd

  • Constructor Details

    • CriticalityBDDs

      public CriticalityBDDs(BDD<T> failureCriticalityBdd, BDD<T> repairCriticalityBdd)

  • Method Details

    • getFailureCriticalityBDD

      public BDD<T> getFailureCriticalityBDD()

    • getRepairCriticalityBdd

      public BDD<T> getRepairCriticalityBdd()