Uses of Interface
ai.krr.Symbol

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.