Interface Transformer<R>
- Type Parameters:
R
- the result of the transformation
- All Known Implementing Classes:
AbstractCollector
,AbstractTransformer
,FixPartialTransformer
,TseitinTransformer
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
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 TypeMethodDescriptionTransforms the given acceptance condition into another structure.
-
Method Details
-
transform
Transforms the given acceptance condition into another structure.- Parameters:
acc
- the acceptance condition- Returns:
- the transformed result
-