Class BDDReliabilityFunction<T>

    • Constructor Detail

      • BDDReliabilityFunction

        public BDDReliabilityFunction​(BDD<T> bdd,
                                      org.apache.commons.collections15.Transformer<T,​ReliabilityFunction> functionTransformer)
        Constructs a BDDReliabilityFunction with a given BDD and Transformer.
        Parameters:
        bdd - the bdd representing the reliabilityFunction
        functionTransformer - the functionTransformer to transform bdd elements to reliabilityFunction
    • Method Detail

      • getY

        public double getY​(double x)
        Description copied from interface: Function
        Returns the y value for y = f(x).
        Specified by:
        getY in interface Function
        Parameters:
        x - the x value
        Returns:
        the y for y = f(x)
      • getBdd

        public BDD<T> getBdd()
        Returns the BDD.
        Returns:
        the bdd
      • getTransformer

        public org.apache.commons.collections15.Transformer<T,​ReliabilityFunction> getTransformer()
        Returns the used Transformer.
        Returns:
        the used functionTransformer