Class CriticalityBDDs<T>

  • Type Parameters:
    T - The type of the variables of the BDD

    public class CriticalityBDDs<T>
    extends java.lang.Object
    The CriticalityBDDs class is a wrapper class to encapsulate the failure and repair criticality BDDs of a component.
    • Field Detail

      • failureCriticalityBdd

        protected final BDD<T> failureCriticalityBdd
      • repairCriticalityBdd

        protected final BDD<T> repairCriticalityBdd
    • Constructor Detail

      • CriticalityBDDs

        public CriticalityBDDs​(BDD<T> failureCriticalityBdd,
                               BDD<T> repairCriticalityBdd)
    • Method Detail

      • getFailureCriticalityBDD

        public BDD<T> getFailureCriticalityBDD()
      • getRepairCriticalityBdd

        public BDD<T> getRepairCriticalityBdd()