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

All Known Implementing Classes:

DefaultResolver

public interface Resolver

The Resolver interface provides functionality to resolve a configuration * during the Delta Debugging algorithm. * After receiving a DD.UNRESOLVED outcome of a test, a resolver can be used * to modify the appropriate delta set such that it no longer produces an * unresolved result. * * @see dd.core.DD, dd.core.TConfiguration

Author:

Philipp Bouillon

Method Summary

TConfiguration

resolve(TConfiguration csub, TConfiguration c, int direction) Tries to resolve the two configurations.

Method Detail

resolve

public TConfiguration resolve(TConfiguration csub,
                              TConfiguration c,
                              int direction)

Tries to resolve the two configurations. * * @param csub subset of the configuration to start the resolving process. * @param c configuration to be resolved. * @param direction add or remove deltas to resolve the problem. * @return TConfiguration resolved configuration. * * @see de.uds.cs.st.dd.core.DD#ADD * @see de.uds.cs.st.dd.core.DD#REMOVE