Class ProductivityChecker

java.lang.Object

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

public class ProductivityChecker
extends Object

Dependency checker rejecting dependencies that are already productive.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ProductivityChecker()	Creates a productivity checker.

Method Summary

Modifier and Type	Method	Description
static ProductivityChecker	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

ProductivityChecker

protected ProductivityChecker()

Creates a productivity checker.

Method Details

instance

public static ProductivityChecker instance()

Returns the singleton instance.

Returns:

the singleton checker instance

isValidDependency

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