Uses of Class
ai.krr.fol.Atom

Packages that use Atom

ai.krr.fol

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