Package astra.reasoner.unifier

Class FormulaVariableUnifier

java.lang.Object

astra.reasoner.unifier.FormulaVariableUnifier

All Implemented Interfaces:

FormulaUnifier

public class FormulaVariableUnifier
extends Object
implements FormulaUnifier

Constructor Summary

Constructors

Constructor	Description
FormulaVariableUnifier()

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

FormulaVariableUnifier

public FormulaVariableUnifier()

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