Uses of Class
ai.krr.propositions.Atom

Packages that use Atom

ai.krr.propositions

Uses of Atom in ai.krr.propositions

Methods in ai.krr.propositions that return Atom

Atom	Atom.clone() Cloning an Atom returns this Atom.
protected Atom	XplSentenceAdaptor.parseAtom(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

Methods in ai.krr.propositions with parameters of type Atom

int	Atom.compareTo(Atom other) This function compares this Atom to the given Atom.
boolean	Atom.equals(Atom other) An Atom is equal to another Atom that consists of an equal proposition symbol.
protected org.w3c.dom.Element	XplSentenceAdaptor.generateAtomNode(org.w3c.dom.Document doc, Atom atom, java.util.Set<NameSpace> nss)
static void	KifSentenceAdaptor.writeAtom(Atom atom, java.io.Writer w, java.util.Properties props) This function writes the given Atom to the given Writer.