Package tools.refinery.logic.rewriter

Interface TermRewriter

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 TermRewriter

  • Method Details

    • rewriteTerm

      <T> Term<T> rewriteTerm(Term<T> term)

    • rewriteTerm

      default AnyTerm rewriteTerm(AnyTerm term)