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