Class CachedMemory

    • Constructor Summary

      Constructors 
      Constructor Description
      CachedMemory()  
    • Constructor Detail

      • CachedMemory

        public CachedMemory()
    • Method Detail

      • clear

        public void clear()
      • remove

        public void remove​(java.lang.String factName)
      • save

        public <F> void save​(java.lang.String name,
                             F payload)
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object