Class PropositionalTransformer

    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • PropositionalTransformer

        public PropositionalTransformer​(java.util.function.Function<Argument,​Proposition> argumentMapping)
        Parameters:
        argumentMapping - the argument to proposition mapping