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.

@FunctionalInterface 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