com.agentfactory.logic.lang
Class TerImplication

java.lang.Object
  com.agentfactory.logic.lang.TerImplication

public class TerImplication
extends java.lang.Object

TODO -- robertr -- remove the intrusion of ALPHA code into this core class.

Constructor Summary

TerImplication()

Method Summary

TerImplication	apply(SubstitutionSet binding)
boolean	equals(java.lang.Object object)
TerAND	getLeft()
FOS	getRight()
boolean	isCommitmentRule()
boolean	isRule()
void	setLeft(TerAND l)
void	setRight(FOS r)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TerImplication

public TerImplication()

Method Detail

setLeft

public void setLeft(TerAND l)

setRight

public void setRight(FOS r)

getLeft

public TerAND getLeft()

getRight

public FOS getRight()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isRule

public boolean isRule()

isCommitmentRule

public boolean isCommitmentRule()

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

apply

public TerImplication apply(SubstitutionSet binding)