Package org.jreliability.booleanfunction

Interface TTRF<T>

Type Parameters:
T - the type of variable
All Known Implementing Classes:
BDDTTRF, BDDTTRFSimulative
public interface TTRF<T>
The TTRF converts a Term to a ReliabilityFunction.

  • Method Details

    • convert

      ReliabilityFunction convert(Term term, org.apache.commons.collections15.Transformer<T,ReliabilityFunction> functionTransformer)
      Converts a Term to a ReliabilityFunction.
      Parameters:
      term - the term to transform
      functionTransformer - the used function functionTransformer
      Returns:
      the reliabilityFunction deduced from the term

    • convert

      ReliabilityFunction convert(Term term, org.apache.commons.collections15.Transformer<T,ReliabilityFunction> functionTransformer, org.apache.commons.collections15.Predicate<T> existsPredicate)
      Converts a Term to a ReliabilityFunction and excludes the exists variables.
      Parameters:
      term - the term to transform
      functionTransformer - the used function functionTransformer
      existsPredicate - the exists-variable existsPredicate
      Returns:
      the reliabilityFunction deduced from the term