TTRF (jreliability v2.0 API)

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 Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ReliabilityFunction`	`convert(Term term, org.apache.commons.collections15.Transformer<T,ReliabilityFunction> functionTransformer)`	Converts a `Term` to a `ReliabilityFunction`.
`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.

- Method Detail
  - 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