public static class OneSEVPAUtil.ReachResult<L,I> extends Object
RichArray<Word<I>>
accessSequences
List<L>
reachableLocs
L
terminateLoc
ReachResult(L terminateLoc, List<L> reachableLocs, RichArray<Word<I>> accessSequences)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final L terminateLoc
public final List<L> reachableLocs
public final RichArray<Word<I>> accessSequences
public ReachResult(L terminateLoc, List<L> reachableLocs, RichArray<Word<I>> accessSequences)
Copyright © 2018. All rights reserved.