gov.nasa.jpf.util

Interface Predicate<T>