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) |
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 Location getReturnSuccessor(int retSymId, int stackSym)
public void setReturnSuccessor(int retSymId, int stackSym, Location succ)
public Location getInternalSuccessor(int intSymId)
public void setInternalSuccessor(int intSymId, Location succ)
Copyright © 2018. All rights reserved.