Class ItemSet


  • public class ItemSet
    extends java.lang.Object
    • Field Detail

      • items

        public final java.util.Set<Item> items
      • extension

        public final java.util.Set<Item> extension
    • Constructor Detail

      • ItemSet

        public ItemSet​(int id,
                       java.util.Set<Item> items)
      • ItemSet

        public ItemSet​(int id,
                       ItemSet core,
                       java.util.Set<Item> extension)
    • Method Detail

      • id

        public int id()
      • toString

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

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • merge

        public ItemSet merge​(java.util.Set<Item> other,
                             java.util.Set<Item> extension,
                             Grammar grammar)
      • printGraphNode

        public void printGraphNode()
      • baseCore

        public ItemSet baseCore()
      • allItems

        public java.util.Collection<Item> allItems()
      • relatedItems

        public java.util.Collection<Item> relatedItems​(Symbol sym)