Class RestrictedProductivityChecker

java.lang.Object

fr.inria.rules.integraal.grd.impl.dependency_checker.ProductivityChecker

fr.inria.rules.integraal.grd.impl.dependency_checker.RestrictedProductivityChecker

All Implemented Interfaces:

DependencyChecker

public class RestrictedProductivityChecker
extends ProductivityChecker

Checks that the dependency will produce something

Let r1, r2 two rules (B+, B-, H), potentially with (safe) negation
We say that r1 may trigger r2 iff there exists a unifier u between B+(r2) and H(r1) such that
(i) u is productive
(ii) the new fact is not foldable on the facts used to produce it

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
RestrictedProductivityChecker()	Creates the restricted productivity checker.

Method Summary

Modifier and Type	Method	Description
static RestrictedProductivityChecker	instance()	Returns the singleton restricted productivity checker.
boolean	isValidPositiveDependency(FORule r1, FORule r2, QueryUnifier u)	Checks whether the positive dependency induced by the supplied unifier is valid.

Methods inherited from class ProductivityChecker

isValidNegativeDependency

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RestrictedProductivityChecker

public RestrictedProductivityChecker()

Creates the restricted productivity checker.

Method Details

instance

public static RestrictedProductivityChecker instance()

Returns the singleton restricted productivity checker.

Returns:

the default instance of this checker

isValidPositiveDependency

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

Description copied from interface: DependencyChecker

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

Specified by:

isValidPositiveDependency in interface DependencyChecker

Overrides:

isValidPositiveDependency in class ProductivityChecker

Parameters:

r1 - the source rule

r2 - the target rule

u - the unifier between r1 and r2

Returns:

true iff the dependency is valid