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.
-
Method Summary
-
Method Details
-
rewrite
-
rewrite
-
rewrite
-