public class Location extends Object
Constructor and Description |
---|
Location(VPDAlphabet<?> alphabet,
int index,
boolean accepting) |
Modifier and Type | Method and Description |
---|---|
int |
getIndex() |
Location |
getInternalSuccessor(int intSymId) |
@Nullable Location |
getReturnSuccessor(int retSymId,
int stackSym) |
boolean |
isAccepting() |
void |
setAccepting(boolean accepting) |
void |
setInternalSuccessor(int intSymId,
Location succ) |
void |
setReturnSuccessor(int retSymId,
int stackSym,
Location succ) |
public Location(VPDAlphabet<?> alphabet, int index, boolean accepting)
public int getIndex()
public boolean isAccepting()
public void setAccepting(boolean accepting)
public void setReturnSuccessor(int retSymId, int stackSym, Location succ)
public Location getInternalSuccessor(int intSymId)
public void setInternalSuccessor(int intSymId, Location succ)
Copyright © 2020. All rights reserved.