Package astra.reasoner.unifier

Class PredicateUnifier

java.lang.Object

astra.reasoner.unifier.PredicateUnifier

All Implemented Interfaces:

FormulaUnifier

public class PredicateUnifier
extends Object
implements FormulaUnifier

Constructor Summary

Constructors

Constructor	Description
PredicateUnifier()

Method Summary

Modifier and Type	Method	Description
boolean	isApplicable(Formula source, Formula target)
Map<Integer,Term>	unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)

Methods inherited from class java.lang.Object

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

Constructor Details

PredicateUnifier

public PredicateUnifier()

Method Details

isApplicable

public boolean isApplicable(Formula source, Formula target)

Specified by:

isApplicable in interface FormulaUnifier

unify

public Map<Integer,Term> unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)

Specified by:

unify in interface FormulaUnifier