Class AbstractTransformer<U,​D,​R>

  • Type Parameters:
    U - the information that is passed bottom-up during the transformation
    D - the information that is passed top-down during the transformation
    R - the result of the transformation
    All Implemented Interfaces:
    Transformer<R>
    Direct Known Subclasses:
    FixPartialTransformer, OmegaReductTransformer, PropositionalTransformer

    public abstract class AbstractTransformer<U,​D,​R>
    extends java.lang.Object
    implements Transformer<R>
    Author:
    Mathias Hofer
    • Method Summary

      Modifier and Type Method Description
      R transform​(AcceptanceCondition acc)
      Transforms the given acceptance condition into another structure.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AbstractTransformer

        public AbstractTransformer()
    • Method Detail

      • transform

        public R transform​(AcceptanceCondition acc)
        Description copied from interface: Transformer
        Transforms the given acceptance condition into another structure.
        Specified by:
        transform in interface Transformer<U>
        Parameters:
        acc - the acceptance condition
        Returns:
        the transformed result