net.automatalib.util.automata.vpda

Class OneSEVPAUtil.ReachResult<L,I>

java.lang.Object

net.automatalib.util.automata.vpda.OneSEVPAUtil.ReachResult<L,I>

Enclosing class:

OneSEVPAUtil

public static class OneSEVPAUtil.ReachResult<L,I>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
ArrayStorage<Word<I>>	accessSequences
List<L>	reachableLocs
L	terminateLoc

Constructor Summary

Constructors

Constructor and Description
ReachResult(L terminateLoc, List<L> reachableLocs, ArrayStorage<Word<I>> accessSequences)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

terminateLoc

public final L terminateLoc

reachableLocs

public final List<L> reachableLocs

accessSequences

public final ArrayStorage<Word<I>> accessSequences

Constructor Detail

ReachResult

public ReachResult(L terminateLoc,
                   List<L> reachableLocs,
                   ArrayStorage<Word<I>> accessSequences)