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
  • Method Summary

    Modifier and Type
    Method
    Description
    Transforms the given acceptance condition into another structure.
  • Method Details

    • transform

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