public class TrapSpaceList extends ArrayList<TrapSpace>
| Modifier and Type | Field and Description |
|---|---|
List<NodeInfo> |
nodes |
boolean |
terminal |
modCount| Constructor and Description |
|---|
TrapSpaceList(TrapSpaceSettings settings,
LogicalModel model) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(TrapSpace t) |
boolean |
addPattern(byte[] pattern,
boolean[] variant) |
List<Integer>[] |
getInclusiontree() |
int |
getNVars() |
boolean[][] |
inclusion() |
add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSizeequals, hashCodecontainsAll, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitcontainsAll, equals, hashCodeparallelStream, streampublic TrapSpaceList(TrapSpaceSettings settings, LogicalModel model)
public boolean addPattern(byte[] pattern,
boolean[] variant)
public boolean add(TrapSpace t)
public boolean[][] inclusion()
public int getNVars()
Copyright © 2012-2017. All Rights Reserved.