com.agentfactory.logic.reasoner
Class Unifier

java.lang.Object
  com.agentfactory.logic.reasoner.Unifier

public class Unifier
extends java.lang.Object

Constructor Summary

Unifier()

Method Summary

void	incrementVariableCounter()
java.lang.String	solutionAsString()
SubstitutionSet	unify(FOS f1, FOS f2)
static SubstitutionSet	unifyFormulae(FOS f1, FOS f2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Unifier

public Unifier()

Method Detail

solutionAsString

public java.lang.String solutionAsString()

incrementVariableCounter

public void incrementVariableCounter()

unifyFormulae

public static SubstitutionSet unifyFormulae(FOS f1,
                                            FOS f2)

unify

public SubstitutionSet unify(FOS f1,
                             FOS f2)