Uses of Class
ai.krr.NamedSymbol

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 NamedSymbols 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 NamedSymbols 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.