Package | Description |
---|---|
net.automatalib.automata.vpda |
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) |
Modifier and Type | Method and Description |
---|---|
List<Location> |
DefaultOneSEVPA.getLocations() |
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) |
Copyright © 2020. All rights reserved.