Uses of Class

Packages that use Atom

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, w, java.util.Properties props)
           This function writes the given Atom to the given Writer.