Package tools.refinery.logic.equality

Interface DnfEqualityChecker

All Known Subinterfaces:
LiteralEqualityHelper
All Known Implementing Classes:
DeepDnfEqualityChecker, SubstitutingLiteralEqualityHelper
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 DnfEqualityChecker

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final DnfEqualityChecker
    DEFAULT
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    dnfEqual(Dnf left, Dnf right)
     

  • Field Details

  • Method Details

    • dnfEqual

      boolean dnfEqual(Dnf left, Dnf right)