Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
void |
ObjVector.clearAllSatisfying(Predicate<E> pred) |
protected PSIntMap.Node |
PSIntMap.removeAllSatisfying(int level,
PSIntMap.Node node,
Predicate<V> pred) |
PSIntMap<V> |
PSIntMap.removeAllSatisfying(Predicate<V> pred) |
Modifier and Type | Method and Description |
---|---|
int |
ThreadList.getRunnableThreadCount(Predicate<ThreadInfo> pred) |
ThreadInfo[] |
ThreadList.getRunnableThreads(Predicate<ThreadInfo> pred) |
ThreadInfo[] |
ThreadList.getRunnableThreadsWith(ThreadInfo ti,
Predicate<ThreadInfo> pred) |
ThreadInfo[] |
ThreadList.getRunnableThreadsWithout(ThreadInfo ti,
Predicate<ThreadInfo> pred) |