Class Position


  • public class Position
    extends java.lang.Object
    • Constructor Detail

      • Position

        public Position​(Document doc)
      • Position

        public Position​(Document doc,
                        java.lang.Integer pos)
    • Method Detail

      • getId

        public int getId()
      • getDocument

        public Document getDocument()
      • compare

        public int compare​(Position pos)
      • toString

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

        public java.lang.Integer getDistance​(Position pos)
      • getFinalPosition

        public java.lang.Integer getFinalPosition()
      • setFinalPosition

        public void setFinalPosition​(int finalPos)
      • addActivation

        public void addActivation​(java.lang.Integer slot,
                                  Activation act)
      • getActivations

        public java.util.stream.Stream<Activation> getActivations​(int slot)
      • getActivations

        public java.util.Collection<Activation> getActivations()