|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NamedSymbol | |
---|---|
ai.krr | |
ai.krr.fol | |
ai.krr.propositions |
Uses of NamedSymbol in ai.krr |
---|
Methods in ai.krr that return NamedSymbol | |
---|---|
static NamedSymbol |
NamedSymbol.getInternalSymbol(java.lang.String name)
This function must be used to obtain a new or the existing internal NamedSymbol for the given name. |
NamedSymbol |
NameSpace.getNamedSymbol(java.lang.String aName)
This function must be used to get hold of NamedSymbol s with the
given name. |
NamedSymbol |
AnonymousSymbol.getType()
This function returns the type (a NamedSymbol ) of this
AnonymousSymbol. |
static NamedSymbol |
LispSymbolAdaptor.parseNamedSymbol(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props)
This function attempts to parse a NamedSymbol from the underlying LexicalAnalyzer. |
static NamedSymbol |
KifSymbolAdaptor.parseNamedSymbol(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props)
This function attempts to parse a NamedSymbol from the underlying
LexicalAnalyzer. |
Methods in ai.krr that return types with arguments of type NamedSymbol | |
---|---|
java.util.Collection<NamedSymbol> |
NameSpace.getAllSymbols()
This function can be used to retrieve all the NamedSymbol s that
are currently defined in this NameSpace. |
Methods in ai.krr with parameters of type NamedSymbol | |
---|---|
int |
NamedSymbol.compareTo(NamedSymbol namedSy)
This function compares this NamedSymbol to the given NamedSymbol. |
static void |
LispSymbolAdaptor.writeNamedSymbol(NamedSymbol nSy,
java.io.Writer w,
java.util.Properties props)
This function writes the given NamedSymbol to the given Writer. |
static void |
KifSymbolAdaptor.writeNamedSymbol(NamedSymbol nSy,
java.io.Writer w,
java.util.Properties props)
This function writes the given NamedSymbol to the given Writer. |
Constructors in ai.krr with parameters of type NamedSymbol | |
---|---|
AnonymousSymbol(NamedSymbol type)
This constructor creates a new AnonymousSymbol of the given type. |
Uses of NamedSymbol in ai.krr.fol |
---|
Fields in ai.krr.fol declared as NamedSymbol | |
---|---|
protected NamedSymbol |
Variable.theType
|
Methods in ai.krr.fol that return NamedSymbol | |
---|---|
NamedSymbol |
Literal.getPredicate()
This function returns the predicate symbol used in this Atom which is a NamedSymbol. |
NamedSymbol |
Atom.getPredicate()
This function returns the predicate symbol used in this Atom which is a NamedSymbol. |
NamedSymbol |
Variable.getType()
This function returns the Symbol that represents the type of this Variable. |
Methods in ai.krr.fol that return types with arguments of type NamedSymbol | |
---|---|
protected java.util.Map<NamedSymbol,java.lang.Integer> |
Sentence.getPredicates()
This function returns a set of all the predicate Symbols occurring in this Sentence. |
java.util.Map<NamedSymbol,java.lang.Integer> |
Clause.getPredicates()
This function returns a set of all the predicate Symbols occurring in this Clause. |
Methods in ai.krr.fol with parameters of type NamedSymbol | |
---|---|
protected org.w3c.dom.Element |
XfolSentenceAdaptor.generateSymbolNode(org.w3c.dom.Document doc,
java.lang.String tag,
NamedSymbol nSy)
|
BooleanSymbol |
Interpretation.getTruthValue(NamedSymbol psy,
java.lang.Object[] args)
This function retrieves a previously assigned value for the given predicate and arguments from this Interpretation. |
void |
Interpretation.setTruthValue(NamedSymbol psy,
java.lang.Object[] args,
BooleanSymbol val)
This function can be used assign the given truth value to the given predicate applied to the given arguments. |
void |
Variable.setType(NamedSymbol aSy)
This function sets the type of this Variable to the given NamedSymbol (or null). |
Method parameters in ai.krr.fol with type arguments of type NamedSymbol | |
---|---|
protected void |
TruthValue.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
protected abstract void |
Sentence.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
protected void |
QuantifiedSentence.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
protected void |
NegatedSentence.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
protected void |
Literal.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Term to the given Set. |
protected void |
ConnectedSentence.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
protected void |
Atom.addPredicates(java.util.Map<NamedSymbol,java.lang.Integer> sys)
This function adds all the predicate Symbols used in this Sentence to the given Set. |
Constructors in ai.krr.fol with parameters of type NamedSymbol | |
---|---|
Atom(NamedSymbol pSymbol,
java.util.List<Term> someTerms)
This constructor for an Atom takes a predicate Symbol and a List of argument Terms. |
|
Atom(NamedSymbol pSymbol,
Term... someTerms)
This constructor for an Atom takes a predicate Symbol and a number of argument Terms. |
|
Literal(boolean sign,
NamedSymbol pSymbol,
java.util.List<Term> someTerms)
This constructor for a Literal takes a boolean sign, a predicate Symbol and a List of argument Terms. |
|
Literal(boolean sign,
NamedSymbol pSymbol,
Term... someTerms)
This constructor for a Literal takes a boolean sign, a predicate Symbol and a number of argument Terms. |
Uses of NamedSymbol in ai.krr.propositions |
---|
Fields in ai.krr.propositions declared as NamedSymbol | |
---|---|
protected NamedSymbol[] |
IntEncoding.decode
|
protected NamedSymbol[] |
IntEncoding.props
arrays of symbols and encodings (hashed) and decoding: |
protected NamedSymbol |
Literal.theSy
the proposition symbol |
protected NamedSymbol |
Atom.theSy
the proposition symbol |
Fields in ai.krr.propositions with type parameters of type NamedSymbol | |
---|---|
protected java.util.HashMap<NamedSymbol,BooleanSymbol> |
Interpretation.values
the Map contained in this Interpretation |
Methods in ai.krr.propositions that return NamedSymbol | |
---|---|
NamedSymbol |
Literal.getSymbol()
This function returns the Symbol that is the proposition contained in this Literal. |
NamedSymbol |
Atom.getSymbol()
This function returns the NamedSymbol that represents this proposition. |
NamedSymbol |
Clause.isTautology()
This function tests whether this clause is a tautology. |
Methods in ai.krr.propositions that return types with arguments of type NamedSymbol | |
---|---|
java.util.Set<NamedSymbol> |
Sentence.getPropositions()
This function returns the set of propositional symbols that occur in this Sentence. |
java.util.Set<NamedSymbol> |
Clause.getPropositions()
This function returns the set of propositional symbols that occur in this Clause. |
java.util.Set<NamedSymbol> |
IntEncodedClause.getPropositions(IntEncoding encoding)
This function returns the set of propositional symbols that occur in this Clause. |
Methods in ai.krr.propositions with parameters of type NamedSymbol | |
---|---|
BooleanSymbol |
Interpretation.getValue(NamedSymbol prop)
This function retrieves a previously assigned truth value for the given propositional symbol from this Interpretation. |
void |
Interpretation.setValue(NamedSymbol prop,
BooleanSymbol val)
This function can be used assign the given truth value to the given NamedSymbol. |
Method parameters in ai.krr.propositions with type arguments of type NamedSymbol | |
---|---|
void |
TruthValue.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
abstract void |
Sentence.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
void |
NegatedSentence.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
void |
Literal.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
void |
ConnectedSentence.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
void |
BinaryConnectedSentence.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
void |
Atom.addPropositions(java.util.Set<NamedSymbol> props)
This function adds the propositions contained in this Sentence to the given Set. |
Constructors in ai.krr.propositions with parameters of type NamedSymbol | |
---|---|
Atom(NamedSymbol prop)
This constructor for an Atom takes a NamedSymbol for the proposition. |
|
Literal(boolean sign,
NamedSymbol prop)
This constructor for a Literal takes a NamedSymbol for the proposition and a sign. |
Constructor parameters in ai.krr.propositions with type arguments of type NamedSymbol | |
---|---|
Interpretation.InterpretationIterator(java.util.Set<NamedSymbol> sys)
This constructor creates and initializes a new Iterator that can be used to enumerate all possible Interpretations for a given Set of NamedSymbols. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |