Module net.automatalib.core

Package net.automatalib.automaton.vpa.impl

Class DefaultOneSEVPA<I>

java.lang.Object

net.automatalib.automaton.vpa.impl.AbstractSEVPA<Location,I>

net.automatalib.automaton.vpa.impl.AbstractDefaultSEVPA<I>

net.automatalib.automaton.vpa.impl.DefaultOneSEVPA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, OneSEVPA<Location,I>, 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>

public class DefaultOneSEVPA<I>
extends AbstractDefaultSEVPA<I>
implements OneSEVPA<Location,I>

Default implementation for 1-SEVPAs.

Field Summary

Fields inherited from class net.automatalib.automaton.vpa.impl.AbstractDefaultSEVPA

DEFAULT_SIZE

Fields inherited from class net.automatalib.automaton.vpa.impl.AbstractSEVPA

alphabet

Constructor Summary

Constructors

Constructor	Description
DefaultOneSEVPA(VPAlphabet<I> alphabet)
DefaultOneSEVPA(VPAlphabet<I> alphabet, int capacity)

Method Summary

Methods inherited from class net.automatalib.automaton.vpa.impl.AbstractDefaultSEVPA

addInitialLocation, addLocation, getInitialLocation, getInternalSuccessor, getLocation, getLocationId, getLocations, getReturnSuccessor, isAcceptingLocation, setInitialLocation, setInternalSuccessor, setReturnSuccessor, size

Methods inherited from class net.automatalib.automaton.vpa.impl.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, computeOutput, computeSuffixOutput, isAccepting, powersetView

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation

size

Methods inherited from interface net.automatalib.automaton.vpa.OneSEVPA

getModuleEntry

Methods inherited from interface net.automatalib.automaton.vpa.SEVPA

encodeStackSym, getInitialLocation, getInitialState, getInputAlphabet, getInternalSuccessor, getLocation, getLocationId, getLocations, getNumStackSymbols, getReturnSuccessor, graphView, isAccepting, isAcceptingLocation

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

DefaultOneSEVPA

public DefaultOneSEVPA(VPAlphabet<I> alphabet)

DefaultOneSEVPA

public DefaultOneSEVPA(VPAlphabet<I> alphabet,
                       int capacity)