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
-
Constructor Details
-
AcreFormulaUnifier
public AcreFormulaUnifier()
-
-
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
-