Package astra.reasoner.unifier

Class AcreFormulaUnifier

java.lang.Object

astra.reasoner.unifier.AcreFormulaUnifier

All Implemented Interfaces:

FormulaUnifier

public class AcreFormulaUnifier
extends Object
implements FormulaUnifier

Constructor Summary

Constructors

Constructor	Description
AcreFormulaUnifier()

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

AcreFormulaUnifier

public AcreFormulaUnifier()

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