Package astra.reasoner.unifier

Class ANDUnifier

java.lang.Object

astra.reasoner.unifier.ANDUnifier

All Implemented Interfaces:

FormulaUnifier

public class ANDUnifier
extends Object
implements FormulaUnifier

Constructor Summary

Constructors

Constructor	Description
ANDUnifier()

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

ANDUnifier

public ANDUnifier()

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