fr.lirmm.graphik.graal.api.core.unifier

Class AbstractUnifierChecker

java.lang.Object

fr.lirmm.graphik.graal.api.core.unifier.AbstractUnifierChecker

All Implemented Interfaces:

DependencyChecker, UnifierChecker

Direct Known Subclasses:

AtomErasingChecker

public abstract class AbstractUnifierChecker
extends Object
implements UnifierChecker

Author:

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

Constructor Summary

Constructors

Constructor and Description
AbstractUnifierChecker()

Method Summary

Modifier and Type	Method and Description
boolean	isValidDependency(Rule r1, Rule r2, Substitution s)

Methods inherited from class java.lang.Object

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

Methods inherited from interface fr.lirmm.graphik.graal.api.core.unifier.UnifierChecker

isValidDependency

Constructor Detail

AbstractUnifierChecker

public AbstractUnifierChecker()

Method Detail

isValidDependency

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

Specified by:

isValidDependency in interface DependencyChecker