Package net.automatalib.automaton.vpa
Class AbstractDefaultSEVPA<I>
- java.lang.Object
-
- net.automatalib.automaton.vpa.AbstractSEVPA<Location,I>
-
- net.automatalib.automaton.vpa.AbstractDefaultSEVPA<I>
-
- Type Parameters:
I
- input symbol type
- All Implemented Interfaces:
FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Boolean>
,SuffixOutput<I,Boolean>
,SEVPA<Location,I>
,GraphViewable
,AcceptorTS<State<Location>,I>
,DeterministicAcceptorTS<State<Location>,I>
,DeterministicTransitionSystem<State<Location>,I,State<Location>>
,SimpleDTS<State<Location>,I>
,SimpleTS<State<Location>,I>
,TransitionSystem<State<Location>,I,State<Location>>
,UniversalDTS<State<Location>,I,State<Location>,Boolean,Void>
,UniversalTransitionSystem<State<Location>,I,State<Location>,Boolean,Void>
- Direct Known Subclasses:
DefaultNSEVPA
,DefaultOneSEVPA
public abstract class AbstractDefaultSEVPA<I> extends AbstractSEVPA<Location,I>
Basic functionality forLocation
-based SEVPA implementations.
-
-
Field Summary
Fields Modifier and Type Field Description protected static int
DEFAULT_SIZE
-
Fields inherited from class net.automatalib.automaton.vpa.AbstractSEVPA
alphabet
-
-
Constructor Summary
Constructors Constructor Description AbstractDefaultSEVPA(VPAlphabet<I> alphabet, int capacity)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Location
addInitialLocation(boolean accepting)
Location
addLocation(boolean accepting)
Location
getInitialLocation()
Location
getInternalSuccessor(Location loc, I intSym)
Location
getLocation(int id)
int
getLocationId(Location loc)
List<Location>
getLocations()
@Nullable Location
getReturnSuccessor(Location loc, I retSym, int stackSym)
boolean
isAcceptingLocation(Location loc)
void
setInitialLocation(Location loc)
void
setInternalSuccessor(Location loc, I intSym, Location succ)
void
setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)
int
size()
Returns the number of entities required to represent this system.-
Methods inherited from class net.automatalib.automaton.vpa.AbstractSEVPA
encodeStackSym, encodeStackSym, getCallSym, getInputAlphabet, getNumStackSymbols, getStackLoc, getTransition
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.ts.acceptor.AcceptorTS
getStateProperty, getSuccessor, getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS
accepts, isAccepting
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransitions
-
Methods inherited from interface net.automatalib.automaton.vpa.SEVPA
computeOutput, computeSuffixOutput, getInitialState, getModuleEntry, graphView, isAccepting
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Field Detail
-
DEFAULT_SIZE
protected static final int DEFAULT_SIZE
- See Also:
- Constant Field Values
-
-
Constructor Detail
-
AbstractDefaultSEVPA
public AbstractDefaultSEVPA(VPAlphabet<I> alphabet, int capacity)
-
-
Method Detail
-
addInitialLocation
public Location addInitialLocation(boolean accepting)
-
addLocation
public Location addLocation(boolean accepting)
-
size
public int size()
Description copied from interface:FiniteRepresentation
Returns the number of entities required to represent this system.- Returns:
- the number of entities required to represent this system
-
setReturnSuccessor
public void setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)
-
getLocation
public Location getLocation(int id)
-
getLocationId
public int getLocationId(Location loc)
-
getReturnSuccessor
public @Nullable Location getReturnSuccessor(Location loc, I retSym, int stackSym)
-
isAcceptingLocation
public boolean isAcceptingLocation(Location loc)
-
getInitialLocation
public Location getInitialLocation()
-
setInitialLocation
public void setInitialLocation(Location loc)
-
-