Uses of Class

Packages that use Atom

Uses of Atom in ai.krr.fol

Methods in ai.krr.fol that return Atom
 Atom Atom.clone()
           Returns a shallow copy of this Atom.
 Atom Atom.clone(Substitution s)
           Returns a deep copy of this Atom with Variables replaced according to the given Substitution.
protected  Atom XfolSentenceAdaptor.parseAtom(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected static Atom KifSentenceAdaptor.parseAtom(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props, KifSentenceAdaptor.VariableStack allVars)

Methods in ai.krr.fol with parameters of type Atom
 int Atom.compareTo(Atom other)
           This function compares this Atom to the given Atom.
 boolean Atom.equals(Atom other)
           A Atom is equal to any other Atom that consists of an equal predicate symbol followed by an equal number of equal Terms.
protected  org.w3c.dom.Element XfolSentenceAdaptor.generateAtomNode(org.w3c.dom.Document doc, Atom atom, java.util.Set<NameSpace> nss)
protected static void KifSentenceAdaptor.prettyPrintAtom(int indent, Atom atom, w, java.util.Properties props)
 boolean Atom.unify(Atom other, Substitution s)
           This function attempts to extend the given Substitution so that this Atom and the given Atom are unified.
static void KifSentenceAdaptor.writeAtom(Atom atom, w, java.util.Properties props)
           This function writes the given Atom to the given Writer.