Skip navigation links
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1
org.key_project.util.collection

Interface ImmutableMapEntry<S,T>

    • Method Detail

      • key

        S key()
        Returns:
        the first part of the tupel
      • value

        T value()
        Returns:
        the second part of the tupel
KeY 2.6.0_3b928241d3c6497f2bf3626bad48a3118b304db1