Uses of Class
net.automatalib.automata.vpda.Location

Packages that use Location

Package	Description
net.automatalib.automata.vpda

Uses of Location in net.automatalib.automata.vpda

Methods in net.automatalib.automata.vpda that return Location

Modifier and Type	Method and Description
Location	DefaultOneSEVPA.addInitialLocation(boolean accepting)
Location	DefaultOneSEVPA.addLocation(boolean accepting)
Location	DefaultOneSEVPA.getInitialLocation()
Location	Location.getInternalSuccessor(int intSymId)
Location	DefaultOneSEVPA.getInternalSuccessor(Location loc, I intSym)
Location	DefaultOneSEVPA.getLocation(int id)
@Nullable Location	Location.getReturnSuccessor(int retSymId, int stackSym)
@Nullable Location	DefaultOneSEVPA.getReturnSuccessor(Location loc, I retSym, int stackSym)

Methods in net.automatalib.automata.vpda that return types with arguments of type Location

Modifier and Type	Method and Description
List<Location>	DefaultOneSEVPA.getLocations()

Methods in net.automatalib.automata.vpda with parameters of type Location

Modifier and Type	Method and Description
Location	DefaultOneSEVPA.getInternalSuccessor(Location loc, I intSym)
int	DefaultOneSEVPA.getLocationId(Location loc)
@Nullable Location	DefaultOneSEVPA.getReturnSuccessor(Location loc, I retSym, int stackSym)
boolean	DefaultOneSEVPA.isAcceptingLocation(Location loc)
void	DefaultOneSEVPA.setInitialLocation(Location loc)
void	Location.setInternalSuccessor(int intSymId, Location succ)
void	DefaultOneSEVPA.setInternalSuccessor(Location loc, I intSym, Location succ)
void	Location.setReturnSuccessor(int retSymId, int stackSym, Location succ)
void	DefaultOneSEVPA.setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)