public class MonitorSet extends ArraySparseSet
DEFAULT_SIZE, elements, maxElements, numElements
Modifier and Type | Method and Description |
---|---|
MonitorSet |
clone()
Clones the current FlowSet.
|
Object |
getMonitorDepth(String objName) |
void |
intersection(MonitorSet other,
MonitorSet dest)
Returns the union (join) of this MonitorSet and
other , putting
result into dest . |
void |
test() |
void |
union(MonitorSet other)
Returns the union (join) of this MonitorSet and
other , putting
result into this . |
add, clear, contains, copy, difference, emptySet, equals, intersection, isEmpty, iterator, remove, remove, size, toList, union
add, difference, hashCode, intersection, isSubSet, remove, toString, union
finalize, getClass, notify, notifyAll, wait, wait, wait
forEach, spliterator
public MonitorSet clone()
FlowSet
clone
in interface FlowSet
clone
in class ArraySparseSet
public void union(MonitorSet other)
other
, putting
result into this
.public void intersection(MonitorSet other, MonitorSet dest)
other
, putting
result into dest
. dest
, other
and
this
could be the same object.public void test()