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
     
  • Method Summary

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

  • Method Details

    • dnfEqual

      boolean dnfEqual(Dnf left, Dnf right)