public static class OneSEVPAUtil.ReachResult<L,I> extends Object
Modifier and Type | Field and Description |
---|---|
ArrayStorage<Word<I>> |
accessSequences |
List<L> |
reachableLocs |
L |
terminateLoc |
Constructor and Description |
---|
ReachResult(L terminateLoc,
List<L> reachableLocs,
ArrayStorage<Word<I>> accessSequences) |
Copyright © 2020. All rights reserved.