Class Location


  • public class Location
    extends Object
    Location type used for the default 1-SEVPA.
    • Constructor Detail

      • Location

        public Location​(VPAlphabet<?> alphabet,
                        int index,
                        boolean accepting)
    • Method Detail

      • getIndex

        public int getIndex()
      • isAccepting

        public boolean isAccepting()
      • setAccepting

        public void setAccepting​(boolean accepting)
      • getReturnSuccessor

        public @Nullable Location getReturnSuccessor​(int retSymId,
                                                     int stackSym)
      • setReturnSuccessor

        public void setReturnSuccessor​(int retSymId,
                                       int stackSym,
                                       Location succ)
      • getInternalSuccessor

        public Location getInternalSuccessor​(int intSymId)
      • setInternalSuccessor

        public void setInternalSuccessor​(int intSymId,
                                         Location succ)