Uses of Class
ai.krr.NameSpace

Packages that use NameSpace

ai.krr
ai.krr.fol
ai.krr.propositions

Uses of NameSpace in ai.krr

Methods in ai.krr that return NameSpace

NameSpace	NamedSymbol.getNameSpace() This function returns the NameSpace to which this NamedSymbol belongs.
static NameSpace	NameSpace.getNameSpace(java.net.URI uri) This function must be used to obtain a new or the existing NameSpace that is associated with the given URI.

Methods in ai.krr with parameters of type NameSpace

int	NameSpace.compareTo(NameSpace ns) This function compares this NameSpace to the given NameSpace.

Method parameters in ai.krr with type arguments of type NameSpace

java.lang.String

NamedSymbol.toString(java.util.Map<NameSpace,java.lang.String> proxies) This function returns a printable representation of this NamedSymbol which is an abbreviation for the NameSpace from the given Map followed by the colon character followed by the name of the symbol.

Constructors in ai.krr with parameters of type NameSpace

NamedSymbol(NameSpace ns, java.lang.String name)
This constructor creates a new NamedSymbol that has the given name and belongs to the given NameSpace.

Uses of NameSpace in ai.krr.fol

Method parameters in ai.krr.fol with type arguments of type NameSpace

protected org.w3c.dom.Element	XfolSentenceAdaptor.generateAtomNode(org.w3c.dom.Document doc, Atom atom, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateConnectedSentenceNode(org.w3c.dom.Document doc, ConnectedSentence stmt, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateLiteralNode(org.w3c.dom.Document doc, Literal lit, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateNegatedSentenceNode(org.w3c.dom.Document doc, NegatedSentence stmt, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateQuantifiedSentenceNode(org.w3c.dom.Document doc, QuantifiedSentence stmt, java.util.Set<NameSpace> nss)
org.w3c.dom.Element	XfolSentenceAdaptor.generateSentenceNode(org.w3c.dom.Document doc, Sentence content, java.util.Set<NameSpace> nss) This function generates an Element Node that is the root for the given content.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateTruthValueNode(org.w3c.dom.Document doc, TruthValue tValue, java.util.Set<NameSpace> nss)
protected Atom	XfolSentenceAdaptor.parseAtom(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseCharacter(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected ConnectedSentence	XfolSentenceAdaptor.parseConnectedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseConstant(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected FunctionTerm	XfolSentenceAdaptor.parseFunctionTerm(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseInteger(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Literal	XfolSentenceAdaptor.parseLiteral(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected NegatedSentence	XfolSentenceAdaptor.parseNegatedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected QuantifiedSentence	XfolSentenceAdaptor.parseQuantifiedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseRealNumber(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Sentence	XfolSentenceAdaptor.parseSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Constant	XfolSentenceAdaptor.parseString(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Term	XfolSentenceAdaptor.parseTerm(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Variable	XfolSentenceAdaptor.parseVariable(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

Uses of NameSpace in ai.krr.propositions

Method parameters in ai.krr.propositions with type arguments of type NameSpace

protected org.w3c.dom.Element	XplSentenceAdaptor.generateAtomNode(org.w3c.dom.Document doc, Atom atom, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XplSentenceAdaptor.generateConnectedSentenceNode(org.w3c.dom.Document doc, ConnectedSentence stmt, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XplSentenceAdaptor.generateLiteralNode(org.w3c.dom.Document doc, Literal lit, java.util.Set<NameSpace> nss)
protected org.w3c.dom.Element	XplSentenceAdaptor.generateNegatedSentenceNode(org.w3c.dom.Document doc, NegatedSentence stmt, java.util.Set<NameSpace> nss)
org.w3c.dom.Element	XplSentenceAdaptor.generateSentenceNode(org.w3c.dom.Document doc, Sentence content, java.util.Set<NameSpace> nss) This function generates an Element Node that is the root for the given content.
protected org.w3c.dom.Element	XplSentenceAdaptor.generateTruthValueNode(org.w3c.dom.Document doc, TruthValue tValue, java.util.Set<NameSpace> nss)
protected Atom	XplSentenceAdaptor.parseAtom(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected ConnectedSentence	XplSentenceAdaptor.parseConnectedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Literal	XplSentenceAdaptor.parseLiteral(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected NegatedSentence	XplSentenceAdaptor.parseNegatedSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
protected Sentence	XplSentenceAdaptor.parseSentence(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)