A B C D E F G H I K L M N O P Q R S T U V W X Z

C

CharacterSymbol - Class in ai.krr

This class implements part of the foundations for symbolic programming in Java.

CharacterSymbol(char) - Constructor for class ai.krr.CharacterSymbol

This constructor creates a CharacterSymbol for the given char value.

charrefTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

charrefTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

charValue() - Method in class ai.krr.CharacterSymbol

This function returns the value of this CharacterSymbol as a Java char.

Clause - Class in ai.krr.fol

Clause(Collection<Literal>) - Constructor for class ai.krr.fol.Clause

This constructor for a Clause takes a List of Literals.

Clause(Literal...) - Constructor for class ai.krr.fol.Clause

This constructor for a Clause takes an Array of Literals.

Clause - Class in ai.krr.propositions

A Clause consists of a list of Literals that are interpreted as a disjunction.

Clause(Collection<Literal>) - Constructor for class ai.krr.propositions.Clause

This constructor for a Clause takes a Collection of Literals.

Clause(Literal...) - Constructor for class ai.krr.propositions.Clause

This constructor for a Clause takes an Array of Literals.

clone() - Method in class ai.krr.BooleanSymbol

This class does not support cloning and an Exception will be thrown if this method is called.

clone() - Method in class ai.krr.fol.Atom

Returns a shallow copy of this Atom.

clone(Substitution) - Method in class ai.krr.fol.Atom

Returns a deep copy of this Atom with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.BinaryConnectedSentence

This function generates a deep copy of this BinaryConnectedSentence.

clone(Substitution) - Method in class ai.krr.fol.BinaryConnectedSentence

Returns a copy of this Sentence with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.Clause

This function generates a shallow copy of this Clause.

clone() - Method in class ai.krr.fol.ConnectedSentence

This function generates a shallow copy of this ConnectedSentence.

clone(Substitution) - Method in class ai.krr.fol.ConnectedSentence

Returns a copy of this Sentence with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.Constant

Cloning a Constant returns this Constant (containing the same Symbol).

clone(Substitution) - Method in class ai.krr.fol.Constant

Cloning a Constant under a given Substitution returns this Constant.

clone() - Method in class ai.krr.fol.FunctionTerm

Returns a shallow copy of this FunctionTerm.

clone(Substitution) - Method in class ai.krr.fol.FunctionTerm

Returns a deep copy of this FunctionTerm with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.KifKnowledgeBaseAdaptor

clone() - Method in class ai.krr.fol.KifSentenceAdaptor

clone() - Method in class ai.krr.fol.Literal

Returns a shallow copy of this Literal.

clone(Substitution) - Method in class ai.krr.fol.Literal

clone() - Method in class ai.krr.fol.NegatedSentence

Cloning a NegatedSentence returns a new NegatedSentence containing the same contained Sentence.

clone(Substitution) - Method in class ai.krr.fol.NegatedSentence

Returns a deep copy of this NegatedSentence with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.QuantifiedSentence

This function generates a shallow copy of this QuantifiedSentence.

clone(Substitution) - Method in class ai.krr.fol.QuantifiedSentence

Returns a copy of this Sentence with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.Sentence

Returns a copy of this Sentence.

clone(Substitution) - Method in class ai.krr.fol.Sentence

Returns a copy of this Sentence with free Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.Term

Returns a copy of this Term.

clone(Substitution) - Method in class ai.krr.fol.Term

Returns a copy of this Term with Variables replaced according to the given Substitution.

clone() - Method in class ai.krr.fol.TruthValue

Cloning a TruthValue returns this Object.

clone(Substitution) - Method in class ai.krr.fol.TruthValue

Cloning a TruthValue returns this Object.

clone() - Method in class ai.krr.fol.Variable

Cloning a Variable returns the this Variable.

clone(Substitution) - Method in class ai.krr.fol.Variable

Cloning a Variable with a given Substitution returns a new Term which is determined by the given Substitution.

clone() - Method in class ai.krr.fol.XfolSentenceAdaptor

This function returns a copy of this SyntaxAdaptor that contains a (shallow) copy of the properties.

clone() - Method in class ai.krr.KifSymbolAdaptor

This class does not support cloning and an Exception will be thrown if this method is called.

clone() - Method in class ai.krr.LispSymbolAdaptor

This class does not support cloning and an Exception will be thrown if this method is called.

clone() - Method in class ai.krr.NamedSymbol

This class does not support cloning and an Exception will be thrown if this method is called.

clone() - Method in class ai.krr.NameSpace

This class does not support cloning and an Exception will be thrown if this method is called.

clone() - Method in class ai.krr.propositions.Atom

Cloning an Atom returns this Atom.

clone() - Method in class ai.krr.propositions.BinaryConnectedSentence

This function generates a deep copy of this BinaryConnectedSentence.

clone() - Method in class ai.krr.propositions.Clause

This function generates a shallow copy of this Clause.

clone() - Method in class ai.krr.propositions.ConnectedSentence

This function generates a shallow copy of this ConnectedSentence.

clone() - Method in class ai.krr.propositions.DPSolverIE

This class does not support cloning and an exception will be thrown if this method is called.

clone() - Method in class ai.krr.propositions.IntEncodedClause

This function generates a shallow copy of this Clause.

clone() - Method in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

clone() - Method in class ai.krr.propositions.IntEncoding

This class does not support cloning and an exception will be thrown if this method is called.

clone() - Method in class ai.krr.propositions.Interpretation

This function creates a copy of this Interpretation.

clone() - Method in class ai.krr.propositions.KifSentenceAdaptor

clone() - Method in class ai.krr.propositions.Literal

Cloning a Literal returns a new Literal consisting of the same proposition with the same sign.

clone() - Method in class ai.krr.propositions.NegatedSentence

Cloning a NegatedSentence returns a new NegatedSentence containing the same Sentence as the original.

clone() - Method in class ai.krr.propositions.RTPSolverIE

This class does not support cloning and an exception will be thrown if this method is called.

clone() - Method in class ai.krr.propositions.Sentence

This function generates a deep copy of this Sentence.

clone() - Method in class ai.krr.propositions.TruthValue

This class does not really support cloning and this object will be returned.

clone() - Method in class ai.krr.propositions.XplSentenceAdaptor

This function returns a copy of this SyntaxAdaptor that contains a (shallow) copy of the properties.

closebracketTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

closebracketTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

cMap - Variable in class ai.krr.fol.Interpretation

the Map from constants to elements in the domain

cnfTT - Static variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the token types used

coimplTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

coimplTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

compareTo(Symbol) - Method in class ai.krr.AnonymousSymbol

This function compares this AnonymousSymbol to the given Symbol.

compareTo(AnonymousSymbol) - Method in class ai.krr.AnonymousSymbol

This function compares this AnonymousSymbol to the given AnonymousSymbol.

compareTo(Symbol) - Method in class ai.krr.BooleanSymbol

This function compares this BooleanSymbol to the given Symbol.

compareTo(BooleanSymbol) - Method in class ai.krr.BooleanSymbol

This function compares this BooleanSymbol to the given BooleanSymbol.

compareTo(Symbol) - Method in class ai.krr.CharacterSymbol

This function compares this CharacterSymbol to the given Symbol.

compareTo(CharacterSymbol) - Method in class ai.krr.CharacterSymbol

This function compares this CharacterSymbol to the given CharacterSymbol.

compareTo(Sentence) - Method in class ai.krr.fol.Atom

This function compares this Atom to the given Sentence.

compareTo(Atom) - Method in class ai.krr.fol.Atom

This function compares this Atom to the given Atom.

compareTo(ConnectedSentence) - Method in class ai.krr.fol.BinaryConnectedSentence

This function compares this BinaryConnectedSentence to the given ConnectedSentence.

compareTo(Clause) - Method in class ai.krr.fol.Clause

This function compares this Clause to the given Clause.

compareTo(Sentence) - Method in class ai.krr.fol.ConnectedSentence

This function compares this Sentence to the given Sentence.

compareTo(ConnectedSentence) - Method in class ai.krr.fol.ConnectedSentence

This function compares this ConnectedSentence to the given ConnectedSentence.

compareTo(Term) - Method in class ai.krr.fol.Constant

This function compares this Constant to the given Term.

compareTo(Constant) - Method in class ai.krr.fol.Constant

This function compares this Constant to the given Constant.

compareTo(Term) - Method in class ai.krr.fol.FunctionTerm

This function compares this FunctionTerm to the given Term.

compareTo(FunctionTerm) - Method in class ai.krr.fol.FunctionTerm

This function compares this FunctionTerm to the given FunctionTerm.

compareTo(Sentence) - Method in class ai.krr.fol.Literal

This function compares this Literal to the given Sentence.

compareTo(Literal) - Method in class ai.krr.fol.Literal

This function compares this Literal to the given Literal.

compareTo(Sentence) - Method in class ai.krr.fol.NegatedSentence

This function compares this Sentence to the given Sentence.

compareTo(NegatedSentence) - Method in class ai.krr.fol.NegatedSentence

This function compares this NegatedSentence to the given NegatedSentence.

compareTo(Sentence) - Method in class ai.krr.fol.QuantifiedSentence

This function compares this Sentence to the given Sentence.

compareTo(QuantifiedSentence) - Method in class ai.krr.fol.QuantifiedSentence

This function compares this QuantifiedSentence to the given QuantifiedSentence.

compareTo(Sentence) - Method in class ai.krr.fol.Sentence

This function compares this Sentence to the given Sentence.

compareTo(Term) - Method in class ai.krr.fol.Term

This function compares this Term to the given Term.

compareTo(Sentence) - Method in class ai.krr.fol.TruthValue

This function compares this Sentence to the given Sentence.

compareTo(TruthValue) - Method in class ai.krr.fol.TruthValue

This function compares this TruthValue to the given TruthValue.

compareTo(Term) - Method in class ai.krr.fol.Variable

This function compares this Variable to the given Term.

compareTo(Variable) - Method in class ai.krr.fol.Variable

This function compares this Variable to the given Variable.

compareTo(NumericSymbol) - Method in class ai.krr.IntegerSymbol

This function compares this IntegerSymbol to the given NumericSymbol.

compareTo(IntegerSymbol) - Method in class ai.krr.IntegerSymbol

This function compares this IntegerSymbol to the given IntegerSymbol.

compareTo(Symbol) - Method in class ai.krr.NamedSymbol

This function compares this NamedSymbol to the given Symbol.

compareTo(NamedSymbol) - Method in class ai.krr.NamedSymbol

This function compares this NamedSymbol to the given NamedSymbol.

compareTo(NameSpace) - Method in class ai.krr.NameSpace

This function compares this NameSpace to the given NameSpace.

compareTo(NumericSymbol) - Method in class ai.krr.NumericSymbol

This function compares this NumericSymbol to the given NumericSymbol.

compareTo(Symbol) - Method in class ai.krr.NumericSymbol

This function compares this NumericSymbol to the given Symbol.

compareTo(Sentence) - Method in class ai.krr.propositions.Atom

This function compares this Sentence to the given Sentence.

compareTo(Atom) - Method in class ai.krr.propositions.Atom

This function compares this Atom to the given Atom.

compareTo(ConnectedSentence) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function compares this BinaryConnectedSentence to the given ConnectedSentence.

compareTo(Clause) - Method in class ai.krr.propositions.Clause

This function compares this Clause to the given Clause.

compareTo(Sentence) - Method in class ai.krr.propositions.ConnectedSentence

This function compares this Sentence to the given Sentence.

compareTo(ConnectedSentence) - Method in class ai.krr.propositions.ConnectedSentence

This function compares this ConnectedSentence to the given ConnectedSentence.

compareTo(IntEncodedClause) - Method in class ai.krr.propositions.IntEncodedClause

This function compares this Clause to the given Clause.

compareTo(Sentence) - Method in class ai.krr.propositions.Literal

This function compares this Sentence to the given Sentence.

compareTo(Literal) - Method in class ai.krr.propositions.Literal

This function compares this Literal to the given Literal.

compareTo(Sentence) - Method in class ai.krr.propositions.NegatedSentence

This function compares this Sentence to the given Sentence.

compareTo(NegatedSentence) - Method in class ai.krr.propositions.NegatedSentence

This function compares this NegatedSentence to the given NegatedSentence.

compareTo(Sentence) - Method in class ai.krr.propositions.Sentence

This function compares this Sentence to the given Sentence.

compareTo(Sentence) - Method in class ai.krr.propositions.TruthValue

This function compares this Sentence to the given Sentence.

compareTo(TruthValue) - Method in class ai.krr.propositions.TruthValue

This function compares this TruthValue to the given TruthValue.

compareTo(NumericSymbol) - Method in class ai.krr.RealNumberSymbol

This function compares this RealNumberSymbol to the given NumericSymbol.

compareTo(Symbol) - Method in class ai.krr.StringSymbol

This function compares this StringSymbol to the given Object, which must be a Symbol.

compareTo(StringSymbol) - Method in class ai.krr.StringSymbol

This function compares this StringSymbol to the given StringSymbol.

complements(Literal) - Method in class ai.krr.fol.Literal

A Literal is equal to another Literal that consists of a different sign and equal predicate symbol followed by an equal number of equal Terms.

complements(Literal, Substitution) - Method in class ai.krr.fol.Literal

This function attempts to extend the given Substitution so that this Literal and the given Literal are complementary.

complements(Literal) - Method in class ai.krr.propositions.Literal

This function tests whether this and the given Literal complementary.

ConnectedSentence - Class in ai.krr.fol

This class represents a Sentence that consists of a Connective that connects a number of (at least two) sub-Sentences.

ConnectedSentence(ConnectedSentence.Connective, List<Sentence>) - Constructor for class ai.krr.fol.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and a List of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(ConnectedSentence.Connective, Sentence...) - Constructor for class ai.krr.fol.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and a number of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(Sentence, ConnectedSentence.Connective, Sentence) - Constructor for class ai.krr.fol.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence - Class in ai.krr.propositions

This class represents a Sentence that consists of a Connective that connects a number of (at least two) sub-Sentences.

ConnectedSentence(ConnectedSentence.Connective, Collection<Sentence>) - Constructor for class ai.krr.propositions.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and a List of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(ConnectedSentence.Connective, Sentence...) - Constructor for class ai.krr.propositions.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and a number of Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence(Sentence, ConnectedSentence.Connective, Sentence) - Constructor for class ai.krr.propositions.ConnectedSentence

This constructor for a ConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.

ConnectedSentence.Connective - Enum in ai.krr.fol

This enumeration defines the possible connectives that can connect the sub-Sentences.

ConnectedSentence.Connective - Enum in ai.krr.propositions

This enumeration defines the possible connectives that can connect the sub-Sentences.

connective - Variable in class ai.krr.fol.ConnectedSentence

the connective for this Sentence

connective - Variable in class ai.krr.propositions.ConnectedSentence

the connective for this Sentence

Constant - Class in ai.krr.fol

The most basic Term is a Constant that is represented by a Symbol.

Constant(Symbol) - Constructor for class ai.krr.fol.Constant

This constructor just takes the Symbol that is this Term.

contained - Variable in class ai.krr.fol.NegatedSentence

the contained Sentence that is negated

contained - Variable in class ai.krr.fol.QuantifiedSentence

the content Sentence

contained - Variable in class ai.krr.propositions.NegatedSentence

the contained Sentence that is negated *

containedIn(IntEncodedClause) - Method in class ai.krr.propositions.IntEncodedClause.LiteralSet

contains(Literal) - Method in class ai.krr.fol.Clause

This function tests whether the given Literal is contained in this Clause.

contains(Variable) - Method in class ai.krr.fol.Instantiation

This function tests whether this Substitution maps the given Variable to a new Term.

contains(Variable) - Method in interface ai.krr.fol.Substitution

This function tests whether this Substitution contains the given Variable.

contains(Variable) - Method in class ai.krr.fol.VariableRenaming

This function tests whether this Substitution maps the given Variable to a new Term.

contains(Literal) - Method in class ai.krr.propositions.Clause

This function tests whether the given Literal is contained in this Clause.

contains(int) - Method in class ai.krr.propositions.IntEncodedClause

This function tests whether the given Literal is contained in this Clause.

contains(int) - Method in class ai.krr.propositions.IntEncodedClause.LiteralSet