TMR (jreliability v2.0 API)

java.lang.Object
- org.jreliability.tutorial.tmr.TMR

```
public class TMR
extends java.lang.Object
```
The TMR models a 2-out-of-3 majority voter commonly known as Triple Modular Redundancy. This behavior can be expressed as a linear constrained as follows:
1*component1 + 1*component2 + 1* component3 >= 2
The needed comparator to perform the voting is commonly not modeled explicitly due to its extremely high reliability.

Field Summary

Fields
Modifier and Type	Field	Description
`protected java.lang.String`	`component1`	The first component.
`protected java.lang.String`	`component2`	The second component.
`protected java.lang.String`	`component3`	The third component.
`protected org.apache.commons.collections15.Transformer<java.lang.String,ReliabilityFunction>`	`transformer`	The used `ReliabilityFunction` `Transformer`.

Constructor Summary

Constructors
Constructor Description

TMR()
Constructs a TMR.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ReliabilityFunction`	`get()`	Returns `ReliabilityFunction` describing the `TMR` using the `BDDTTRF`.
`Term`	`getTerm()`	Returns a model of the `TMR` as a `Term`.
`org.apache.commons.collections15.Transformer<java.lang.String,ReliabilityFunction>`	`getTransformer()`	Returns a `Transformer` for each element of the system to its `ReliabilityFunction`.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - component1
```
protected java.lang.String component1
```
    The first component.
  - component2
```
protected java.lang.String component2
```
    The second component.
  - component3
```
protected java.lang.String component3
```
    The third component.
  - transformer
```
protected org.apache.commons.collections15.Transformer<java.lang.String,ReliabilityFunction> transformer
```
    The used ReliabilityFunction Transformer.
- Constructor Detail
  - TMR
```
public TMR()
```
    Constructs a TMR.
- Method Detail
  - getTerm
```
public Term getTerm()
```
    Returns a model of the TMR as a Term.
    
    Returns:
    
    the term representation of the TMR
  - get
```
public ReliabilityFunction get()
```
    Returns ReliabilityFunction describing the TMR using the BDDTTRF.
    
    Returns:
    
    the reliabilityFunction of the TMR
  - getTransformer
```
public org.apache.commons.collections15.Transformer<java.lang.String,ReliabilityFunction> getTransformer()
```
    Returns a Transformer for each element of the system to its ReliabilityFunction.
    
    Returns:
    
    the transformer