Package tools.refinery.logic.rewriter

Interface DnfRewriter

All Known Implementing Classes:

AbstractRecursiveRewriter, CompositeRewriter, DuplicateDnfRemover, InputParameterResolver

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 DnfRewriter

Method Summary

Modifier and Type	Method	Description
default AnyQuery	rewrite(AnyQuery query)
Dnf	rewrite(Dnf dnf)
default <T> Query<T>	rewrite(Query<T> query)

Method Details

rewrite

Dnf rewrite(Dnf dnf)

rewrite

default AnyQuery rewrite(AnyQuery query)

rewrite

default <T> Query<T> rewrite(Query<T> query)