Class AtomErasingChecker

java.lang.Object

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

public class AtomErasingChecker
extends Object

This class represents a specific case of atom erasing which is used for computing the GRD dependencies.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AtomErasingChecker()	Creates the singleton atom-erasing checker.

Method Summary

Modifier and Type	Method	Description
static AtomErasingChecker	instance()	Returns the singleton checker instance.
boolean	isValidDependency(Rule rule, InMemoryAtomSet query, Substitution s)
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

AtomErasingChecker

protected AtomErasingChecker()

Creates the singleton atom-erasing checker.

Method Details

instance

public static AtomErasingChecker instance()

Returns the singleton checker instance.

Returns:

the singleton atom-erasing checker

isValidDependency

public boolean isValidDependency(Rule rule,
 InMemoryAtomSet query,
 Substitution s)

isValidDependency

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