|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Resolver | |
de.uds.cs.st.dd.core | The core package contains all classes directly related to Delta Debugging and JUnit. |
de.uds.cs.st.dd.core.resolver | Resolving functionality for the Delta Debugging algorithm. |
Uses of Resolver in de.uds.cs.st.dd.core |
Fields in de.uds.cs.st.dd.core declared as Resolver | |
private Resolver |
DD.resolver
Resolving functionality. |
Methods in de.uds.cs.st.dd.core that return Resolver | |
Resolver |
DD.getResolver()
Returns the current resolver object of this DD object. |
Methods in de.uds.cs.st.dd.core with parameters of type Resolver | |
void |
DD.setResolver(Resolver resolver)
Sets the current resolver of this DD object. |
Uses of Resolver in de.uds.cs.st.dd.core.resolver |
Classes in de.uds.cs.st.dd.core.resolver that implement Resolver | |
class |
DefaultResolver
The DefaultResolver implementation of the Resolver interface does nothing. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |