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)
-