Uses of Class
net.automatalib.automaton.vpa.Location

Packages that use Location

Package	Description
net.automatalib.automaton.vpa

Uses of Location in net.automatalib.automaton.vpa

Methods in net.automatalib.automaton.vpa that return Location

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

Methods in net.automatalib.automaton.vpa that return types with arguments of type Location

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

Methods in net.automatalib.automaton.vpa with parameters of type Location

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