public class SearchTest
extends java.lang.Object
Constructor and Description |
---|
SearchTest(java.lang.String name,
java.util.Collection<ATerm> setTrue) |
Modifier and Type | Method and Description |
---|---|
java.util.List<com.ibm.bluej.util.common.Pair<java.lang.Boolean,ScanTerm>> |
randomOperations() |
void |
test(int numTests) |