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
-
Constructor Details
-
FormulaVariableUnifier
public FormulaVariableUnifier()
-
-
Method Details
-
isApplicable
- Specified by:
isApplicablein interfaceFormulaUnifier
-
unify
public Map<Integer,Term> unify(Formula source, Formula target, Map<Integer,Term> bindings, Agent agent)- Specified by:
unifyin interfaceFormulaUnifier
-