Class RestrictedProductivityChecker

java.lang.Object

fr.lirmm.graphik.integraal.core.unifier.checker.RestrictedProductivityChecker

public class RestrictedProductivityChecker
extends Object

Restricted dependency checker based on a homomorphism test over produced atoms.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	RestrictedProductivityChecker()	Creates a restricted productivity checker.

Method Summary

Modifier and Type	Method	Description
static RestrictedProductivityChecker	instance()	Returns the singleton instance.
boolean	isValidDependency(Rule r1, Rule r2, Substitution s)

Methods inherited from class Object

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

Constructor Details

RestrictedProductivityChecker

protected RestrictedProductivityChecker()

Creates a restricted productivity checker.

Method Details

instance

public static RestrictedProductivityChecker instance()

Returns the singleton instance.

Returns:

the singleton checker instance

isValidDependency

public boolean isValidDependency(Rule r1,
 Rule r2,
 Substitution s)