|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Symbol | |
---|---|
ai.krr | |
ai.krr.fol |
Uses of Symbol in ai.krr |
---|
Classes in ai.krr that implement Symbol | |
---|---|
class |
AnonymousSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
BooleanSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
CharacterSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
IntegerSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
NamedSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
NumericSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
RealNumberSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
StringSymbol
This class implements part of the foundations for symbolic programming in Java. |
class |
SyntaxAdaptableSymbol
This class implements the foundations for symbolic programming in Java. |
Methods in ai.krr that return Symbol | |
---|---|
static Symbol |
SyntaxAdaptableSymbol.read(java.io.Reader r,
inf.compilers.SyntaxAdaptor<SyntaxAdaptableSymbol> sa)
This function can be used to read a Symbol from the given Reader. |
Methods in ai.krr with parameters of type Symbol | |
---|---|
int |
StringSymbol.compareTo(Symbol sy)
This function compares this StringSymbol to the given Object, which must be a Symbol . |
int |
NumericSymbol.compareTo(Symbol sy)
This function compares this NumericSymbol to the given Symbol . |
int |
NamedSymbol.compareTo(Symbol sy)
This function compares this NamedSymbol to the given Symbol . |
int |
CharacterSymbol.compareTo(Symbol sy)
This function compares this CharacterSymbol to the given Symbol . |
int |
BooleanSymbol.compareTo(Symbol sy)
This function compares this BooleanSymbol to the given Symbol . |
int |
AnonymousSymbol.compareTo(Symbol sy)
This function compares this AnonymousSymbol to the given Symbol . |
static void |
LispSymbolAdaptor.writeSymbol(Symbol sy,
java.io.Writer w,
java.util.Properties props)
This function writes the given Symbol to the given Writer. |
static void |
KifSymbolAdaptor.writeSymbol(Symbol sy,
java.io.Writer w,
java.util.Properties props)
This function writes the given Symbol to the given Writer. |
Uses of Symbol in ai.krr.fol |
---|
Fields in ai.krr.fol declared as Symbol | |
---|---|
protected Symbol |
FunctionTerm.function
|
protected Symbol |
Constant.theSy
the Symbol contained in this Constant |
Fields in ai.krr.fol with type parameters of type Symbol | |
---|---|
protected java.util.Map<Symbol,java.lang.Object> |
Interpretation.cMap
the Map from constants to elements in the domain |
(package private) java.util.Map<Symbol,java.lang.Integer> |
HerbrandGenerator.HerbrandUniverse.functions
|
Methods in ai.krr.fol that return Symbol | |
---|---|
Symbol |
FunctionTerm.getFunction()
This function returns the function symbol used in this FunctionTerm which is a NamedSymbol. |
Symbol |
Constant.getSymbol()
This function can be used to extract the Symbol contained in this Constant. |
Methods in ai.krr.fol that return types with arguments of type Symbol | |
---|---|
protected java.util.Set<Symbol> |
Sentence.getConstants()
This function returns a set of all the constant Symbols occurring in this Sentence. |
java.util.Set<Symbol> |
Clause.getConstants()
This function returns a set of all the constant Symbols occurring in this Clause. |
protected java.util.Map<Symbol,java.lang.Integer> |
Sentence.getFunctions()
This function returns a set of all the function Symbols occurring in this Sentence. |
java.util.Map<Symbol,java.lang.Integer> |
Clause.getFunctions()
This function returns a set of all the function Symbols occurring in this Clause. |
Methods in ai.krr.fol with parameters of type Symbol | |
---|---|
java.lang.Object |
Interpretation.getValue(Symbol c)
This function retrieves a previously assigned value for the given Symbol from this Interpretation. |
java.lang.Object |
Interpretation.getValue(Symbol fsy,
java.lang.Object[] args)
This function retrieves a previously assigned value for the given function and arguments from this Interpretation. |
void |
Interpretation.setValue(Symbol c,
java.lang.Object val)
This function can be used assign the given Object as the value under this Interpretation to the given Symbol. |
void |
Interpretation.setValue(Symbol fsy,
java.lang.Object[] args,
java.lang.Object val)
This function can be used assign the given Object as the value under this Interpretation to the given function applied to the given arguments. |
Method parameters in ai.krr.fol with type arguments of type Symbol | |
---|---|
protected void |
Variable.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Term to the given Set. |
protected void |
TruthValue.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected abstract void |
Term.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Term to the given Set. |
protected abstract void |
Sentence.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected void |
QuantifiedSentence.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected void |
NegatedSentence.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected void |
Literal.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Term to the given Set. |
protected void |
FunctionTerm.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Term to the given Set. |
protected void |
Constant.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Term to the given Set. |
protected void |
ConnectedSentence.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected void |
Atom.addConstants(java.util.Set<Symbol> sys)
This function adds all the constant Symbols used in this Sentence to the given Set. |
protected void |
Variable.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Term to the given Set. |
protected void |
TruthValue.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
protected abstract void |
Term.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Term to the given Set. |
protected abstract void |
Sentence.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
protected void |
QuantifiedSentence.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
protected void |
NegatedSentence.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
protected void |
Literal.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Term to the given Set. |
protected void |
FunctionTerm.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Term to the given Set. |
protected void |
Constant.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Term to the given Set. |
protected void |
ConnectedSentence.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
protected void |
Atom.addFunctions(java.util.Map<Symbol,java.lang.Integer> sys)
This function adds all the function Symbols used in this Sentence to the given Set. |
Constructors in ai.krr.fol with parameters of type Symbol | |
---|---|
Constant(Symbol aSy)
This constructor just takes the Symbol that is this Term. |
|
FunctionTerm(Symbol fSymbol,
java.util.List<Term> someTerms)
This constructor for a FunctionTerm takes a function Symbol and a List of argument Terms. |
|
FunctionTerm(Symbol fSymbol,
Term... someTerms)
This constructor for a FunctionTerm takes a function Symbol and a number of argument Terms; at least one. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |