diff options
Diffstat (limited to 'src/analysis/lattice.h')
| -rw-r--r-- | src/analysis/lattice.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/analysis/lattice.h b/src/analysis/lattice.h index a5c7047dd..cd634c09c 100644 --- a/src/analysis/lattice.h +++ b/src/analysis/lattice.h @@ -31,7 +31,8 @@ constexpr bool has_getBottom = template<typename Lattice> constexpr bool has_compare = std::is_invocable_r<LatticeComparison, - decltype(Lattice::compare), + decltype(&Lattice::compare), + Lattice, const typename Lattice::Element&, const typename Lattice::Element&>::value; template<typename Element> @@ -110,7 +111,7 @@ public: // Compares two lattice elements and returns a result indicating the // left element's relation to the right element. - static LatticeComparison compare(const Element& left, const Element& right); + LatticeComparison compare(const Element& left, const Element& right); // Returns an instance of the bottom lattice element. Element getBottom(); @@ -168,8 +169,8 @@ public: } // We use implementations from FiniteIntPowersetLattice here. - static LatticeComparison compare(const Element& left, const Element& right) { - return FiniteIntPowersetLattice::compare(left, right); + LatticeComparison compare(const Element& left, const Element& right) { + return intLattice.compare(left, right); } Element getBottom() { return intLattice.getBottom(); } |