Class TruthMaintenanceSystemImpl.EqualityKeyStrategy

  • All Implemented Interfaces:
    it.unimi.dsi.fastutil.Hash.Strategy
    Enclosing class:
    TruthMaintenanceSystemImpl

    public static class TruthMaintenanceSystemImpl.EqualityKeyStrategy
    extends java.lang.Object
    implements it.unimi.dsi.fastutil.Hash.Strategy
    • Constructor Detail

      • EqualityKeyStrategy

        public EqualityKeyStrategy()
    • Method Detail

      • hashCode

        public int hashCode​(java.lang.Object o)
        Specified by:
        hashCode in interface it.unimi.dsi.fastutil.Hash.Strategy
      • equals

        public boolean equals​(java.lang.Object a,
                              java.lang.Object b)
        Specified by:
        equals in interface it.unimi.dsi.fastutil.Hash.Strategy