com.agentfactory.logic.reasoner
Class Substitution

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

public class Substitution
extends java.lang.Object

Constructor Summary

Substitution()

Substitution(FOS first, FOS second)

Method Summary

Substitution	apply(SubstitutionSet sub)
boolean	equals(java.lang.Object o)
FOS	getFirst()
FOS	getSecond()
Substitution	inverse()
boolean	isSameAs(Substitution s)
void	setFirst(FOS f)
void	setSecond(FOS f)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Substitution

public Substitution()

Substitution

public Substitution(FOS first,
                    FOS second)

Method Detail

getFirst

public FOS getFirst()

getSecond

public FOS getSecond()

setFirst

public void setFirst(FOS f)

setSecond

public void setSecond(FOS f)

isSameAs

public boolean isSameAs(Substitution s)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

apply

public Substitution apply(SubstitutionSet sub)

inverse

public Substitution inverse()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object