Uses of Interface
de.uds.cs.st.dd.core.resolver.Resolver

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.