Transformer

Type Parameters:

R - the result of the transformation

All Known Implementing Classes:

AbstractCollector, AbstractTransformer, FixPartialTransformer, OmegaReductTransformer, PropositionalTransformer, TseitinTransformer
```
public interface Transformer<R>
```
Transforms an acceptance condition into an arbitrary structure.
See its sibling Collector for a more flexible and collection based transformer.

Author:

Mathias Hofer

- Method Summary
  
  Modifier and Type Method Description
  
  R transform(AcceptanceCondition acc)
  Transforms the given acceptance condition into another structure.

- Method Detail
  - transform
```
R transform(AcceptanceCondition acc)
```
    Transforms the given acceptance condition into another structure.
    
    Parameters:
    
    acc - the acceptance condition
    
    Returns:
    
    the transformed result