Interface DependencyChecker

All Known Implementing Classes:

ProductivityChecker, RestrictedProductivityChecker

public interface DependencyChecker

Checks if a dependency between two rules is valid according to an implementation-specific criteria

Author:

Florent Tornil

Method Summary

Modifier and Type	Method	Description
boolean	isValidNegativeDependency(FORule r1, FORule r2, QueryUnifier u)	Checks whether the negative dependency induced by the supplied unifier is valid.
boolean	isValidPositiveDependency(FORule r1, FORule r2, QueryUnifier u)	Checks whether the positive dependency induced by the supplied unifier is valid.

Method Details

isValidPositiveDependency

boolean isValidPositiveDependency(FORule r1,
 FORule r2,
 QueryUnifier u)

Checks whether the positive dependency induced by the supplied unifier is valid.

Parameters:

r1 - the source rule

r2 - the target rule

u - the unifier between r1 and r2

Returns:

true iff the dependency is valid

isValidNegativeDependency

boolean isValidNegativeDependency(FORule r1,
 FORule r2,
 QueryUnifier u)

Checks whether the negative dependency induced by the supplied unifier is valid.

Parameters:

r1 - the source rule

r2 - the target rule

u - the unifier between r1 and r2

Returns:

true iff the dependency is valid