Package net.automatalib.automaton.vpa
Class Location
- java.lang.Object
-
- net.automatalib.automaton.vpa.Location
-
public class Location extends Object
Location type used for the default 1-SEVPA.
-
-
Constructor Summary
Constructors Constructor Description Location(VPAlphabet<?> alphabet, int index, boolean accepting)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intgetIndex()LocationgetInternalSuccessor(int intSymId)@Nullable LocationgetReturnSuccessor(int retSymId, int stackSym)booleanisAccepting()voidsetAccepting(boolean accepting)voidsetInternalSuccessor(int intSymId, Location succ)voidsetReturnSuccessor(int retSymId, int stackSym, Location succ)
-
-
-
Constructor Detail
-
Location
public Location(VPAlphabet<?> alphabet, int index, boolean accepting)
-
-
Method Detail
-
getIndex
public int getIndex()
-
isAccepting
public boolean isAccepting()
-
setAccepting
public void setAccepting(boolean accepting)
-
setReturnSuccessor
public void setReturnSuccessor(int retSymId, int stackSym, Location succ)
-
getInternalSuccessor
public Location getInternalSuccessor(int intSymId)
-
setInternalSuccessor
public void setInternalSuccessor(int intSymId, Location succ)
-
-