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

A

Assignment - class logic.Assignment.

Assignment(AtomicSentence) - Constructor for class logic.Assignment

AtomicSentence - class logic.AtomicSentence.

AtomicSentence() - Constructor for class logic.AtomicSentence

AtomicSentence(SymbolicObject, SymbolicObject) - Constructor for class logic.AtomicSentence

AtomicSentence(String) - Constructor for class logic.AtomicSentence

AtomicSentence(String, TermList) - Constructor for class logic.AtomicSentence

AtomicSentence(Term) - Constructor for class logic.AtomicSentence

AtomicTerm - class logic.AtomicTerm.

AtomicTerm() - Constructor for class logic.AtomicTerm

action - Static variable in class logic.Token

add(Sentence) - Method in class logic.Connective

add(SList) - Method in class logic.DisjunctivePrecondition

Adds a unit set of Precondition to the main list

add(Sentence) - Method in class logic.ProbabilisticOutcome

add(Sentence) - Method in class logic.SList

add(int, Object) - Method in class logic.SList

add(Object) - Method in class logic.SList

add(Term) - Method in class logic.TermList

add(int, Object) - Method in class logic.TermList

add(Object) - Method in class logic.TermList

addAll(SList) - Method in class logic.SList

addAll(Collection) - Method in class logic.SList

addAll(int, Collection) - Method in class logic.SList

addAll(TermList) - Method in class logic.TermList

addAll(Collection) - Method in class logic.TermList

addAll(int, Collection) - Method in class logic.TermList

addArg(Term) - Method in class logic.CompoundTerm

addArg(String) - Method in class logic.CompoundTerm

addArg(Object) - Method in class logic.CompoundTerm

addArgs(TermList) - Method in class logic.CompoundTerm

addBackgroundKnowledge(String) - Method in class logic.Engine

addBinding(Variable, Object) - Method in class logic.Substitution

extends this Substitution object with an association between the given Variable and value.

addNoDupSignatures(SList) - Method in class logic.SList

addNoDupSignatures(TermList) - Method in class logic.TermList

addNoDups(SList) - Method in class logic.SList

addNoDups(TermList) - Method in class logic.TermList

addOutcome(Sentence) - Method in class logic.ProbabilisticOutcome

addTerm(Term) - Method in class logic.AtomicSentence

addTerm(Term) - Method in class logic.CompoundTerm

addTerm(Term) - Method in class logic.Structure

addTerms(TermList) - Method in class logic.AtomicSentence

addTerms(TermList) - Method in class logic.CompoundTerm

addTerms(TermList) - Method in class logic.Structure

addToAll(Sentence) - Method in class logic.DisjunctivePrecondition

all - Static variable in class logic.Token

and - Static variable in class logic.Token

areInconsistent(SList, SList) - Static method in class logic.Engine

ask(Object, Object, Object) - Method in class logic.Engine

ask(Object, Object) - Method in class logic.Engine

ask(SList, SList, List) - Method in class logic.Engine

ask(SList, SList, List, List) - Method in class logic.Engine

ask(SList, SList, List, List, SList) - Method in class logic.Engine

MAIN KAHUNA we want to try to find a binding that matches, element by element, the incoming list of terms (@param query) against some subset of the KB Make sure all the variables in the list @param variables are bound, and that the inequality constraints @param constraints aren't violated.

askQuick(Object, Object) - Method in class logic.Engine

askSafe(Sentence, SList) - Method in class logic.Engine

askSafe(SList, SList) - Method in class logic.Engine

assign - Static variable in class logic.Token

B

BIAS - Static variable in class logic.Engine

C

CompoundTerm - class logic.CompoundTerm.

CompoundTerm() - Constructor for class logic.CompoundTerm

ConditionalOutcome - class logic.ConditionalOutcome.

ConditionalOutcome(Sentence, Sentence) - Constructor for class logic.ConditionalOutcome

Conjunction - class logic.Conjunction.

Conjunction(SList) - Constructor for class logic.Conjunction

Conjunction() - Constructor for class logic.Conjunction

Connective - class logic.Connective.

Connective(SList) - Constructor for class logic.Connective

clear() - Method in class logic.SList

clear() - Method in class logic.TermList

clearBasis() - Method in class logic.Engine

clone() - Method in class logic.Assignment

clone() - Method in class logic.AtomicSentence

clone() - Method in class logic.ConditionalOutcome

clone() - Method in class logic.Conjunction

clone() - Method in class logic.Connective

clone() - Method in class logic.Disjunction

clone() - Method in class logic.DisjunctivePrecondition

clone() - Method in class logic.False

clone() - Method in class logic.FunctionalStructure

clone() - Method in class logic.Identity

clone() - Method in class logic.Literal

clone() - Method in class logic.Negation

clone() - Method in class logic.Predicate

clone() - Method in class logic.ProbabilisticOutcome

clone() - Method in class logic.Quantifier

clone() - Method in class logic.SList

clone() - Method in class logic.Sentence

clone() - Method in class logic.Structure

clone() - Method in class logic.Substitution

clone() - Method in class logic.SymbolicObject

clone() - Method in class logic.Term

clone() - Method in class logic.TermList

clone() - Method in class logic.True

clone() - Method in class logic.Variable

clone() - Method in class logic.Wildcard

colon - Static variable in class logic.Token

colonArrow - Static variable in class logic.Token

comma - Static variable in class logic.Token

compareTo(Object) - Method in class logic.AtomicSentence

compareTo(Object) - Method in class logic.AtomicTerm

compareTo(Object) - Method in class logic.Conjunction

compareTo(Object) - Method in class logic.Disjunction

compareTo(Object) - Method in class logic.Effect

compareTo(Object) - Method in class logic.Existential

compareTo(Object) - Method in class logic.Identity

compareTo(Object) - Method in class logic.Literal

compareTo(Object) - Method in class logic.Negation

compareTo(Object) - Method in class logic.Precondition

compareTo(Object) - Method in class logic.SList

compareTo(Object) - Method in class logic.Structure

compareTo(Object) - Method in class logic.SymbolicObject

Compare two SymbolicObjects.

compareTo(Object) - Method in class logic.TermList

compareTo(Object) - Method in class logic.Universal

concat(Substitution) - Method in class logic.Substitution

constants - Static variable in class logic.Token

consumeToken(Token) - Method in class logic.Tokenizer

containedIn(List) - Method in class logic.Substitution

contains(SList) - Method in class logic.SList

contains(Sentence) - Method in class logic.SList

contains(Object) - Method in class logic.SList

contains(TermList) - Method in class logic.TermList

contains(Term) - Method in class logic.TermList

contains(Object) - Method in class logic.TermList

containsAll(Collection) - Method in class logic.SList

containsAll(List) - Method in class logic.Substitution

containsAll(Collection) - Method in class logic.TermList

containsDisjunction() - Method in class logic.ConditionalOutcome

containsDisjunction() - Method in class logic.Connective

containsDisjunction() - Method in class logic.ProbabilisticOutcome

containsDisjunction() - Method in class logic.Quantifier

containsDisjunction() - Method in class logic.SList

containsDisjunction() - Method in class logic.Sentence

containsKey(Variable) - Method in class logic.Substitution

containsSignature(Term) - Method in class logic.TermList

containsTerm(Term) - Method in class logic.Sentence

containsValue(SymbolicObject) - Method in class logic.Substitution

copyData(SymbolicObject) - Method in class logic.SymbolicObject

copyTypesFrom(Term) - Method in class logic.AtomicTerm

copyTypesFrom(Term) - Method in class logic.CompoundTerm

copyTypesFrom(Term) - Method in class logic.Term

copyTypesFrom(TermList) - Method in class logic.TermList

cross(Sentence) - Method in class logic.ProbabilisticOutcome

currentToken() - Method in class logic.Tokenizer

D

Disjunction - class logic.Disjunction.

Disjunction(SList) - Constructor for class logic.Disjunction

Disjunction() - Constructor for class logic.Disjunction

DisjunctivePrecondition - class logic.DisjunctivePrecondition.

a very, very, special-purpose sentence Basically just a list of SLists, where each SList is a unit precondition.

DisjunctivePrecondition() - Constructor for class logic.DisjunctivePrecondition

dash - Static variable in class logic.Token

debugString() - Method in class logic.SymbolicObject

dec - Static variable in class logic.Engine

doSmart() - Method in class logic.Engine

domain - Static variable in class logic.Token

doubleArrow - Static variable in class logic.Token

E

ENFORCE_NEQ - Static variable in class logic.Engine

Effect - class logic.Effect.

Effect() - Constructor for class logic.Effect

Engine - class logic.Engine.

ASSUMES Relativized, Flattened actions, ok??

Engine() - Constructor for class logic.Engine

Existential - class logic.Existential.

Existential(Variable, Sentence) - Constructor for class logic.Existential

effect - Static variable in class logic.Token

eliminateExists() - Method in class logic.Assignment

eliminateExists() - Method in class logic.AtomicSentence

eliminateExists() - Method in class logic.ConditionalOutcome

eliminateExists() - Method in class logic.Connective

eliminateExists() - Method in class logic.DisjunctivePrecondition

eliminateExists() - Method in class logic.Existential

eliminateExists() - Method in class logic.Identity

eliminateExists() - Method in class logic.Negation

eliminateExists() - Method in class logic.ProbabilisticOutcome

eliminateExists() - Method in class logic.Quantifier

eliminateExists() - Method in class logic.SList

eliminateExists() - Method in class logic.Sentence

eliminateForall(ProblemInstance) - Method in class logic.Assignment

eliminateForall(ProblemInstance) - Method in class logic.AtomicSentence

eliminateForall(ProblemInstance) - Method in class logic.ConditionalOutcome

eliminateForall(ProblemInstance) - Method in class logic.Connective

eliminateForall(ProblemInstance) - Method in class logic.DisjunctivePrecondition

eliminateForall(ProblemInstance) - Method in class logic.Identity

eliminateForall(ProblemInstance) - Method in class logic.Negation

eliminateForall(ProblemInstance) - Method in class logic.ProbabilisticOutcome

eliminateForall(ProblemInstance) - Method in class logic.Quantifier

eliminateForall(ProblemInstance) - Method in class logic.SList

eliminateForall(ProblemInstance) - Method in class logic.Sentence

eliminateForall(ProblemInstance) - Method in class logic.Universal

eof - Static variable in class logic.Token

eol - Static variable in class logic.Token

equals(Object) - Method in class logic.Assignment

equals(Object) - Method in class logic.AtomicSentence

equals(Object) - Method in class logic.AtomicTerm

returns name equality

equals(Object, Substitution) - Method in class logic.AtomicTerm

equals(Object) - Method in class logic.ConditionalOutcome

equals(Object) - Method in class logic.Conjunction

equals(Object) - Method in class logic.Disjunction

equals(Object) - Method in class logic.DisjunctivePrecondition

equals(Object) - Method in class logic.Existential

equals(Object) - Method in class logic.False

equals(Object) - Method in class logic.Identity

equals(Term) - Method in class logic.Literal

equals(Object) - Method in class logic.Negation

equals(Object) - Method in class logic.Predicate

equals(Object) - Method in class logic.ProbabilisticOutcome

equals(Object) - Method in class logic.SList

equals(Object) - Method in class logic.Structure

equals(Substitution, List) - Method in class logic.Substitution

equals(Substitution) - Method in class logic.Substitution

equals(Object) - Method in class logic.SymbolicObject

equals(Object, Substitution) - Method in class logic.Term

equals(Object) - Method in class logic.TermList

equals - Static variable in class logic.Token

equals(Object) - Method in class logic.True

equals(Object) - Method in class logic.Universal

equals(Object, Substitution) - Method in class logic.Variable

equalsSet(SList) - Method in class logic.SList

equalsSet(TermList) - Method in class logic.TermList

exclam - Static variable in class logic.Token

exists - Static variable in class logic.Token

F

False - class logic.False.

False() - Constructor for class logic.False

FunctionalStructure - class logic.FunctionalStructure.

FunctionalStructure(SymbolicObject, SymbolicObject) - Constructor for class logic.FunctionalStructure

FunctionalStructure(AtomicTerm, TermList) - Constructor for class logic.FunctionalStructure

FunctionalStructure(AtomicTerm) - Constructor for class logic.FunctionalStructure

FunctionalStructure(String) - Constructor for class logic.FunctionalStructure

FunctionalStructure(String, TermList) - Constructor for class logic.FunctionalStructure

fillIn(List, List, SList) - Method in class logic.Engine

finalizeTypes(Domain) - Method in class logic.TermList

findSignature(Sentence) - Method in class logic.SList

findSignature(Term) - Method in class logic.TermList

findTerm(Term) - Method in class logic.TermList

findTermStrict(Term) - Method in class logic.TermList

finds(Sentence) - Method in class logic.SList

findsStrict(Sentence) - Method in class logic.SList

flatten() - Method in class logic.Assignment

flatten() - Method in class logic.AtomicSentence

flatten() - Method in class logic.ConditionalOutcome

flatten() - Method in class logic.Conjunction

flatten() - Method in class logic.Connective

flatten() - Method in class logic.Disjunction

flatten() - Method in class logic.DisjunctivePrecondition

flatten() - Method in class logic.Identity

flatten() - Method in class logic.Negation

flatten() - Method in class logic.ProbabilisticOutcome

flatten() - Method in class logic.Quantifier

flatten() - Method in class logic.SList

flatten() - Method in class logic.Sentence

G

geq(SymbolicObject) - Method in class logic.SymbolicObject

get(int) - Method in class logic.SList

get(int) - Method in class logic.TermList

getArg(int) - Method in class logic.CompoundTerm

getBasis() - Method in class logic.Engine

getBinding(Variable) - Method in class logic.Substitution

get current binding of the given Variable.

getDisjunctionLists() - Method in class logic.DisjunctivePrecondition

getDomain() - Static method in class logic.Engine

getEmpty() - Static method in class logic.Substitution

obtains the Empty (representing no current bindings) object

getFirst() - Method in class logic.AtomicSentence

getFirst() - Method in class logic.Connective

getFirst() - Method in class logic.Effect

getFirst() - Method in class logic.Identity

getFirst() - Method in class logic.Negation

getFirst() - Method in class logic.Precondition

getFirst() - Method in class logic.Quantifier

getFirst() - Method in class logic.SList

getFirst() - Method in class logic.Structure

Defined in CompoundTerm superclass: isCompound() isSymbol() getLastTerm(); setLastTerm( term );

getFirst() - Method in class logic.SymbolicObject

getFirst() - Method in class logic.Term

getFirst() - Method in class logic.TermList

getFirstTerm() - Method in class logic.AtomicSentence

getFirstTerm() - Method in class logic.AtomicTerm

getFirstTerm() - Method in class logic.Connective

getFirstTerm() - Method in class logic.Effect

getFirstTerm() - Method in class logic.Identity

getFirstTerm() - Method in class logic.Negation

getFirstTerm() - Method in class logic.Precondition

getFirstTerm() - Method in class logic.Quantifier

getFirstTerm() - Method in class logic.SList

getFirstTerm() - Method in class logic.Structure

getFirstTerm() - Method in class logic.SymbolicObject

getFirstTerm() - Method in class logic.TermList

getFunctionSymbol() - Method in class logic.CompoundTerm

getFunctionSymbol() - Method in class logic.Structure

getLastTerm() - Method in class logic.CompoundTerm

getList() - Method in class logic.Assignment

getList() - Method in class logic.AtomicSentence

getList() - Method in class logic.ConditionalOutcome

getList() - Method in class logic.Connective

getList() - Method in class logic.DisjunctivePrecondition

getList() - Method in class logic.Identity

getList() - Method in class logic.Negation

getList() - Method in class logic.ProbabilisticOutcome

getList() - Method in class logic.Quantifier

getList() - Method in class logic.Sentence

getName() - Method in class logic.AtomicSentence

getName() - Method in class logic.Conjunction

getName() - Method in class logic.Disjunction

getName() - Method in class logic.Effect

getName() - Method in class logic.Existential

getName() - Method in class logic.Identity

getName() - Method in class logic.Literal

getName() - Method in class logic.Negation

getName() - Method in class logic.Precondition

getName() - Method in class logic.SList

getName() - Method in class logic.Structure

getName() - Method in class logic.SymbolicObject

getName() - Method in class logic.Term

getName() - Method in class logic.TermList

getName() - Method in class logic.Token

getName() - Method in class logic.Universal

getNextToken() - Method in class logic.Tokenizer

getOccurrences() - Method in class logic.SymbolicObject

getOutcome(int) - Method in class logic.ProbabilisticOutcome

getPrecondition(int) - Method in class logic.DisjunctivePrecondition

getProbability() - Method in class logic.SymbolicObject

getProblemInstance() - Static method in class logic.Engine

getRest() - Method in class logic.AtomicSentence

getRest() - Method in class logic.AtomicTerm

getRest() - Method in class logic.Connective

getRest() - Method in class logic.Effect

getRest() - Method in class logic.Identity

getRest() - Method in class logic.Negation

getRest() - Method in class logic.Precondition

getRest() - Method in class logic.Quantifier

getRest() - Method in class logic.SList

getRest() - Method in class logic.Structure

getRest() - Method in class logic.SymbolicObject

getRest() - Method in class logic.TermList

getRestNew() - Method in class logic.SList

getRestNew() - Method in class logic.TermList

getSList() - Method in class logic.Sentence

getSentence() - Method in class logic.Assignment

getSentence() - Method in class logic.Negation

getTerm() - Method in class logic.AtomicSentence

getTerm(int) - Method in class logic.AtomicSentence

getTerm(int) - Method in class logic.CompoundTerm

getTerm(int) - Method in class logic.Structure

getTerm(int) - Method in class logic.TermList

getTermList() - Method in class logic.Identity

getTerms() - Method in class logic.AtomicSentence

getTerms() - Method in class logic.CompoundTerm

getTerms() - Method in class logic.Structure

getType() - Method in class logic.SymbolicObject

getType() - Method in class logic.Term

getTypeName() - Method in class logic.SymbolicObject

getTypeName() - Method in class logic.Term

getWildcard() - Static method in class logic.Engine

gets(int) - Method in class logic.ProbabilisticOutcome

gets(int) - Method in class logic.SList

goal - Static variable in class logic.Token

gt(SymbolicObject) - Method in class logic.SymbolicObject

H

hasBackgroundKnowledge() - Method in class logic.Engine

hasContradiction(Object, Object) - Method in class logic.Engine

assumes object @param q coming in is a negative term (or list of terms).

hasMoreTokens() - Method in class logic.Tokenizer

hashCode() - Method in class logic.AtomicSentence

hashCode() - Method in class logic.AtomicTerm

hashCode() - Method in class logic.Connective

hashCode() - Method in class logic.Identity

hashCode() - Method in class logic.Negation

hashCode() - Method in class logic.Quantifier

hashCode() - Method in class logic.SList

hashCode() - Method in class logic.Structure

hashCode() - Method in class logic.Substitution

hashCode() - Method in class logic.TermList

I

Identity - class logic.Identity.

Identity(Term, Term) - Constructor for class logic.Identity

Identity(List) - Constructor for class logic.Identity

indexOf(Object) - Method in class logic.SList

indexOf(Object) - Method in class logic.TermList

infoString() - Method in class logic.Assignment

infoString() - Method in class logic.ConditionalOutcome

infoString() - Method in class logic.Conjunction

infoString() - Method in class logic.ProbabilisticOutcome

infoString() - Method in class logic.SList

infoString(String) - Method in class logic.SList

infoString() - Method in class logic.Sentence

infoString() - Method in class logic.SymbolicObject

init - Static variable in class logic.Token

initializeOccurrences(double) - Method in class logic.Sentence

inverse() - Method in class logic.Structure

isAdmissibleOutcome() - Method in class logic.Assignment

isAdmissibleOutcome() - Method in class logic.ProbabilisticOutcome

isAdmissibleOutcome() - Method in class logic.Sentence

isAtomic() - Method in class logic.Sentence

isBound(Variable) - Method in class logic.Substitution

determines if the given Variable is currently bound.

isCompound() - Method in class logic.AtomicTerm

From Term abstract class

isCompound() - Method in class logic.CompoundTerm

From Term abstract class

isCompound() - Method in class logic.SList

isCompound() - Method in class logic.Sentence

isCompound() - Method in class logic.SymbolicObject

isCompound() - Method in class logic.TermList

isDisjunction() - Method in class logic.DisjunctivePrecondition

isEmpty() - Method in class logic.ProbabilisticOutcome

isEmpty() - Method in class logic.SList

isEmpty() - Method in class logic.Substitution

determine if this Substitution object represents the Empty object

isEmpty() - Method in class logic.TermList

isEquals() - Method in class logic.Sentence

isNegation() - Method in class logic.Negation

isNegation() - Method in class logic.Sentence

isNegationOf(Sentence) - Method in class logic.Negation

isNegationOf(Sentence) - Method in class logic.Sentence

isNotEquals() - Method in class logic.Sentence

isNumeric() - Method in class logic.Literal

isSupersetOf(Substitution) - Method in class logic.Substitution

isSymbol() - Method in class logic.AtomicTerm

isSymbol() - Method in class logic.CompoundTerm

isSymbol() - Method in class logic.SList

isSymbol() - Method in class logic.Sentence

isSymbol() - Method in class logic.SymbolicObject

isSymbol() - Method in class logic.TermList

isSymbol() - Method in class logic.Token

isTyped() - Method in class logic.SymbolicObject

isTyped() - Method in class logic.Term

isUnit() - Method in class logic.DisjunctivePrecondition

iso() - Method in class logic.Engine

iterator() - Method in class logic.SList

iterator() - Method in class logic.TermList

K

keyIterator() - Method in class logic.Substitution

L

LISPY - Static variable in class logic.Engine

Literal - class logic.Literal.

Literal(String) - Constructor for class logic.Literal

Literal(double) - Constructor for class logic.Literal

lastIndexOf(Object) - Method in class logic.SList

lastIndexOf(Object) - Method in class logic.TermList

leftParen - Static variable in class logic.Token

leq(SymbolicObject) - Method in class logic.SymbolicObject

listIterator() - Method in class logic.SList

listIterator(int) - Method in class logic.SList

listIterator() - Method in class logic.TermList

listIterator(int) - Method in class logic.TermList

logic - package logic

lt(SymbolicObject) - Method in class logic.SymbolicObject

M

Main - class logic.Main.

Main() - Constructor for class logic.Main

main(String[]) - Static method in class logic.Main

main(String[]) - Static method in class logic.Parser

main(String[]) - Static method in class logic.Tokenizer

makeTokenizer(StringReader) - Static method in class logic.Parser

makeTokenizer(String) - Static method in class logic.Parser

N

NOHYPHENS - Static variable in class logic.Engine

Negation - class logic.Negation.

Negation(Sentence) - Constructor for class logic.Negation

neg - Static variable in class logic.Token

negate() - Method in class logic.Conjunction

negate() - Method in class logic.Disjunction

negate() - Method in class logic.Effect

negate() - Method in class logic.Existential

negate() - Method in class logic.False

negate() - Method in class logic.Negation

negate() - Method in class logic.Precondition

negate() - Method in class logic.SList

negate() - Method in class logic.Sentence

Return the negation of this sentence by applying deMorgan's law.

negate() - Method in class logic.True

negate() - Method in class logic.Universal

nonTermErr(Object) - Method in class logic.SList

normalize(Conjunction) - Method in class logic.DisjunctivePrecondition

Makes one conjunctive precond per disjunction

normalize() - Method in class logic.ProbabilisticOutcome

not - Static variable in class logic.Token

notImplementedErr(String) - Method in class logic.SList

num - Static variable in class logic.Engine

numPreconditionSentences() - Method in class logic.DisjunctivePrecondition

Just see how many precondition "conditions" we are dealing with in each disjunction

numTerms() - Method in class logic.AtomicSentence

numTerms() - Method in class logic.CompoundTerm

numTerms() - Method in class logic.Structure

numUnits() - Method in class logic.DisjunctivePrecondition

How many disjoint preconditions are there?

numericValue() - Method in class logic.Literal

O

objects - Static variable in class logic.Token

obtainSentences() - Method in class logic.Connective

obtainVariables() - Method in class logic.AtomicSentence

obtainVariables() - Method in class logic.Connective

obtainVariables() - Method in class logic.Effect

obtainVariables() - Method in class logic.Identity

obtainVariables() - Method in class logic.Literal

From SymbolicObject abstract class.

obtainVariables() - Method in class logic.Negation

obtainVariables() - Method in class logic.Precondition

obtainVariables() - Method in class logic.Quantifier

obtainVariables() - Method in class logic.SList

see Proposition.obtainVariables() get the variables in this list of sentences

obtainVariables() - Method in class logic.Structure

from Term abstract class retrieves all the Variables and returns them in a Vector

obtainVariables() - Method in class logic.SymbolicObject

returns a * of Terms that are Variables.

obtainVariables() - Method in class logic.TermList

see Proposition.obtainVariables() get the variables in this list of terms

obtainVariables() - Method in class logic.Variable

from Term abstract class.

obtainVariables() - Method in class logic.Wildcard

or - Static variable in class logic.Token

P

PROLOGY - Static variable in class logic.Engine

Parser - class logic.Parser.

Parser for the logic class

Parser() - Constructor for class logic.Parser

Precondition - class logic.Precondition.

Precondition() - Constructor for class logic.Precondition

Predicate - class logic.Predicate.

Predicate() - Constructor for class logic.Predicate

Predicate(SymbolicObject, SymbolicObject) - Constructor for class logic.Predicate

Predicate(String) - Constructor for class logic.Predicate

Predicate(String, TermList) - Constructor for class logic.Predicate

Predicate(Term) - Constructor for class logic.Predicate

ProbabilisticOutcome - class logic.ProbabilisticOutcome.

ProbabilisticOutcome() - Constructor for class logic.ProbabilisticOutcome

ProbabilisticOutcome(SList) - Constructor for class logic.ProbabilisticOutcome

parameters - Static variable in class logic.Token

parseArray(String) - Static method in class logic.Parser

parseArray(Tokenizer) - Static method in class logic.Parser

parseAtomicOutcome(Tokenizer) - Static method in class logic.Parser

parseAtomicTerm(String) - Static method in class logic.Parser

parseBareSymbol(Tokenizer) - Static method in class logic.Parser

parseEffect(Tokenizer) - Static method in class logic.Parser

parseList(String) - Static method in class logic.Parser

parseListFromFile(String) - Static method in class logic.Parser

parsePrecond(Tokenizer) - Static method in class logic.Parser

parseProbabilisticTerm(Tokenizer) - Static method in class logic.Parser

parseSList(Tokenizer) - Static method in class logic.Parser

parseSListInner(Tokenizer) - Static method in class logic.Parser

parseSentence(String) - Static method in class logic.Parser

parseSentence(Tokenizer) - Static method in class logic.Parser

parseSentenceInner(Tokenizer) - Static method in class logic.Parser

parseStructuredTerm(Tokenizer) - Static method in class logic.Parser

parseSymbol(Tokenizer) - Static method in class logic.Parser

parseTerm(String) - Static method in class logic.Parser

parseTerm(Tokenizer) - Static method in class logic.Parser

parseTermList(Tokenizer) - Static method in class logic.Parser

partition(SList, int, int) - Method in class logic.SList

partition(TermList, int, int) - Method in class logic.TermList

pound - Static variable in class logic.Token

precondition - Static variable in class logic.Token

predicates - Static variable in class logic.Token

prettyString(String) - Method in class logic.SList

prettyString(String) - Method in class logic.TermList

probabilistic - Static variable in class logic.Token

probabilityMass() - Method in class logic.SList

problem - Static variable in class logic.Token

pruneSubstitutionsLike(List, List) - Static method in class logic.Substitution

push(Sentence) - Method in class logic.SList

push(Term) - Method in class logic.TermList

putAll(Substitution) - Method in class logic.Substitution

Q

Quantifier - class logic.Quantifier.

Quantifier(Variable, Sentence) - Constructor for class logic.Quantifier

qsort(SList, int, int) - Method in class logic.SList

qsort(TermList, int, int) - Method in class logic.TermList

question - Static variable in class logic.Token

R

randomDouble() - Static method in class logic.Engine

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Assignment

reconcileTypes(Domain, ProblemInstance) - Method in class logic.AtomicSentence

reconcileTypes(Domain, ProblemInstance) - Method in class logic.AtomicTerm

reconcileTypes(Domain, ProblemInstance) - Method in class logic.CompoundTerm

reconcileTypes(Domain, ProblemInstance) - Method in class logic.ConditionalOutcome

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Connective

reconcileTypes(Domain, ProblemInstance) - Method in class logic.DisjunctivePrecondition

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Identity

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Negation

reconcileTypes(Domain, ProblemInstance) - Method in class logic.ProbabilisticOutcome

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Quantifier

reconcileTypes(Domain, ProblemInstance) - Method in class logic.SList

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Sentence

reconcileTypes(Domain, ProblemInstance) - Method in class logic.Term

reconcileTypes(Domain, ProblemInstance) - Method in class logic.TermList

relativize(ProblemInstance) - Method in class logic.SList

relativize(ProblemInstance) - Method in class logic.Sentence

remove(int) - Method in class logic.SList

remove(Object) - Method in class logic.SList

remove(int) - Method in class logic.TermList

remove(Object) - Method in class logic.TermList

removeAll(Collection) - Method in class logic.SList

removeAll(Collection) - Method in class logic.TermList

removeBinding(Variable) - Method in class logic.Substitution

removeTerm(Term) - Method in class logic.TermList

removes(Sentence) - Method in class logic.SList

rename(String) - Method in class logic.Predicate

rename(String) - Method in class logic.Structure

rename() - Method in class logic.Variable

Generate a new variable whose name is with a unique numeric suffix

renameVariables() - Method in class logic.AtomicSentence

renameVariables() - Method in class logic.Connective

renameVariables() - Method in class logic.Effect

renameVariables() - Method in class logic.Existential

renameVariables() - Method in class logic.Identity

renameVariables() - Method in class logic.Negation

renameVariables() - Method in class logic.Precondition

renameVariables() - Method in class logic.Sentence

renameVariables() - Method in class logic.Universal

reorderEquals(TermList) - Method in class logic.TermList

reorderLike(TermList) - Method in class logic.TermList

retainAll(Collection) - Method in class logic.SList

retainAll(Collection) - Method in class logic.TermList

reverseTag - Variable in class logic.Structure

rightParen - Static variable in class logic.Token

S

SAW_NUMBER - Variable in class logic.Tokenizer

SList - class logic.SList.

SList() - Constructor for class logic.SList

SList(Sentence) - Constructor for class logic.SList

SList(SList) - Constructor for class logic.SList

SList(TermList) - Constructor for class logic.SList

SList(Object) - Constructor for class logic.SList

Sentence - class logic.Sentence.

Sentence() - Constructor for class logic.Sentence

Structure - class logic.Structure.

Structure(SymbolicObject, SymbolicObject) - Constructor for class logic.Structure

Structure(AtomicTerm, TermList) - Constructor for class logic.Structure

Structure(AtomicTerm) - Constructor for class logic.Structure

Structure(String) - Constructor for class logic.Structure

Structure(String, TermList) - Constructor for class logic.Structure

Substitution - class logic.Substitution.

Substitution() - Constructor for class logic.Substitution

SymbolicObject - class logic.SymbolicObject.

SymbolicObject() - Constructor for class logic.SymbolicObject

sample(double) - Method in class logic.ProbabilisticOutcome

sample(double) - Method in class logic.SList

sampleIndex(double) - Method in class logic.ProbabilisticOutcome

sampleIndex(double) - Method in class logic.SList

satisfyEqualityConstraints(List, SList) - Method in class logic.Engine

satisfyNegConstraints(List, SList, SList) - Method in class logic.Engine

scootNeqForJIP() - Method in class logic.SList

semiColon - Static variable in class logic.Token

set(List) - Method in class logic.DisjunctivePrecondition

Sets the list of disjoint Preconditions

set(int, SList) - Method in class logic.DisjunctivePrecondition

set(int, Object) - Method in class logic.SList

set(int, Object) - Method in class logic.TermList

setBasis(Basis) - Method in class logic.Engine

setCommentChar(int) - Method in class logic.Tokenizer

setDashIsWordChar() - Method in class logic.Tokenizer

setDomain(Domain) - Static method in class logic.Engine

setFunctionSymbol(AtomicTerm) - Method in class logic.Structure

setLastTerm(Term) - Method in class logic.CompoundTerm

setOccurrences(int) - Method in class logic.SymbolicObject

setProbability(double) - Method in class logic.SymbolicObject

setProblemInstance(ProblemInstance) - Static method in class logic.Engine

setRandomSeed(long) - Method in class logic.Engine

setSmart(boolean) - Method in class logic.Engine

setStrict(boolean) - Method in class logic.Tokenizer

setTerm(Structure) - Method in class logic.AtomicSentence

setTerm(int, Term) - Method in class logic.AtomicSentence

setTerm(int, Term) - Method in class logic.CompoundTerm

setTerm(int, Term) - Method in class logic.Structure

setTerm(int, Term) - Method in class logic.TermList

setTerms(TermList) - Method in class logic.AtomicSentence

setTerms(TermList) - Method in class logic.CompoundTerm

setTerms(TermList) - Method in class logic.Structure

setType(Type) - Method in class logic.SymbolicObject

setType(Type) - Method in class logic.Term

sets(int, Sentence) - Method in class logic.SList

shallowCopy() - Method in class logic.Substitution

simpleEvaluate() - Method in class logic.Identity

singleArrow - Static variable in class logic.Token

size() - Method in class logic.Conjunction

size() - Method in class logic.ProbabilisticOutcome

size() - Method in class logic.SList

size() - Method in class logic.Substitution

size() - Method in class logic.TermList

sort() - Method in class logic.SList

sort() - Method in class logic.TermList

sortInPlace() - Method in class logic.SList

subList(int, int) - Method in class logic.SList

subList(int, int) - Method in class logic.TermList

substitute(Substitution) - Method in class logic.Assignment

substitute(Substitution) - Method in class logic.AtomicSentence

substitute(Substitution) - Method in class logic.ConditionalOutcome

substitute(Substitution) - Method in class logic.Conjunction

substitute(Substitution) - Method in class logic.Disjunction

substitute(Substitution) - Method in class logic.DisjunctivePrecondition

substitute(Substitution) - Method in class logic.Existential

substitute(Substitution) - Method in class logic.Identity

substitute(Substitution) - Method in class logic.Literal

From Term abstract class since is all indexed by Variables, this should return itself

substitute(Substitution) - Method in class logic.Negation

substitute(Substitution) - Method in class logic.ProbabilisticOutcome

substitute(Substitution) - Method in class logic.SList

substitute(Substitution) - Method in class logic.Structure

from Term abstract class only the terms of the function are of concern.

substitute(Substitution) - Method in class logic.SymbolicObject

substitute(Substitution) - Method in class logic.TermList

substitute(Substitution) - Method in class logic.Universal

substitute(Substitution) - Method in class logic.Variable

from Term abstract class

substitute(Substitution) - Method in class logic.Wildcard

substituteVariable(Variable, Term) - Method in class logic.Assignment

substituteVariable(Variable, Term) - Method in class logic.AtomicSentence

substituteVariable(Variable, Term) - Method in class logic.ConditionalOutcome

substituteVariable(Variable, Term) - Method in class logic.Conjunction

substituteVariable(Variable, Term) - Method in class logic.Disjunction

substituteVariable(Variable, Term) - Method in class logic.DisjunctivePrecondition

substituteVariable(Variable, Term) - Method in class logic.Existential

substituteVariable(Variable, Term) - Method in class logic.Identity

substituteVariable(Variable, Term) - Method in class logic.Literal

substituteVariable(Variable, Term) - Method in class logic.Negation

substituteVariable(Variable, Term) - Method in class logic.ProbabilisticOutcome

substituteVariable(Variable, Term) - Method in class logic.SList

substituteVariable(Variable, Term) - Method in class logic.Structure

substituteVariable(Variable, Term) - Method in class logic.SymbolicObject

substituteVariable(Variable, Term) - Method in class logic.TermList

substituteVariable(Variable, Term) - Method in class logic.Universal

substituteVariable(Variable, Term) - Method in class logic.Variable

implemented from interface Term if oldVar's name is equal to the name of this, replace with newVar.

substituteVariable(Variable, Term) - Method in class logic.Wildcard

supported(Object, Object, List) - Method in class logic.Engine

Is this query, and all its variables, supported by the kb? The list @param vars is a list of variables; what we're asking is whether there's a way to answer the query @param q with the kb

supported(Object, Object) - Method in class logic.Engine

Is this query supported by this kb?

symbolicMatch(Object) - Method in class logic.AtomicSentence

symbolicMatch(Object) - Method in class logic.AtomicTerm

symbolicMatch(Object) - Method in class logic.Effect

symbolicMatch(Object) - Method in class logic.Precondition

symbolicMatch(Object) - Method in class logic.SList

symbolicMatch(Object) - Method in class logic.Sentence

symbolicMatch(Object) - Method in class logic.Structure

symbolicMatch(Object) - Method in class logic.Term

symbolicMatch(Object) - Method in class logic.TermList

symbolicSignature() - Method in class logic.AtomicTerm

symbolicSignature() - Method in class logic.CompoundTerm

symbolicSignature() - Method in class logic.Conjunction

symbolicSignature() - Method in class logic.Disjunction

symbolicSignature() - Method in class logic.Effect

symbolicSignature() - Method in class logic.Existential

symbolicSignature() - Method in class logic.False

symbolicSignature() - Method in class logic.Identity

symbolicSignature() - Method in class logic.Literal

Defined in AtomicTerm superclass: isCompound() isSymbol() getFirst() getRest()

symbolicSignature() - Method in class logic.Negation

symbolicSignature() - Method in class logic.Precondition

symbolicSignature() - Method in class logic.Predicate

symbolicSignature() - Method in class logic.SList

symbolicSignature() - Method in class logic.Structure

symbolicSignature() - Method in class logic.SymbolicObject

symbolicSignature() - Method in class logic.TermList

symbolicSignature() - Method in class logic.True

symbolicSignature() - Method in class logic.Universal

T

Term - class logic.Term.

Term() - Constructor for class logic.Term

TermList - class logic.TermList.

TermList() - Constructor for class logic.TermList

TermList(Term) - Constructor for class logic.TermList

TermList(List) - Constructor for class logic.TermList

Token - class logic.Token.

Token(String, boolean) - Constructor for class logic.Token

Tokenizer - class logic.Tokenizer.

Tokenizer(String) - Constructor for class logic.Tokenizer

Tokenizer(Reader) - Constructor for class logic.Tokenizer

Tokenizer(Reader, boolean) - Constructor for class logic.Tokenizer

True - class logic.True.

True() - Constructor for class logic.True

toArray() - Method in class logic.SList

toArray(Object[]) - Method in class logic.SList

toArray() - Method in class logic.TermList

toArray(Object[]) - Method in class logic.TermList

toSentence(SList) - Static method in class logic.Sentence

toString() - Method in class logic.Assignment

toString() - Method in class logic.AtomicSentence

toString() - Method in class logic.AtomicTerm

toString() - Method in class logic.ConditionalOutcome

toString() - Method in class logic.Conjunction

toString() - Method in class logic.Connective

toString() - Method in class logic.Disjunction

toString() - Method in class logic.DisjunctivePrecondition

toString() - Method in class logic.Identity

toString(String) - Method in class logic.Identity

toString() - Method in class logic.Negation

toString() - Method in class logic.ProbabilisticOutcome

toString() - Method in class logic.Quantifier

toString() - Method in class logic.SList

toString(String) - Method in class logic.SList

toString() - Method in class logic.Structure

toString() - Method in class logic.Substitution

toString() - Method in class logic.SymbolicObject

toString() - Method in class logic.TermList

toString(String) - Method in class logic.TermList

toString() - Method in class logic.Token

toString() - Method in class logic.Universal

totalMass() - Method in class logic.ProbabilisticOutcome

ttype() - Method in class logic.Tokenizer

typeCompatible(Term) - Method in class logic.AtomicTerm

is my type special case of d's ?

typeCompatible(Term) - Method in class logic.CompoundTerm

typeCompatible(Term) - Method in class logic.Term

are the term's arguments a special case of d's ?

typeCompatible(TermList) - Method in class logic.TermList

types - Static variable in class logic.Token

U

Universal - class logic.Universal.

Universal(Variable, Sentence) - Constructor for class logic.Universal

unify(SymbolicObject, Substitution) - Method in class logic.Assignment

unify(SymbolicObject, Substitution) - Method in class logic.AtomicSentence

unify(SymbolicObject, Substitution) - Method in class logic.Conjunction

unify(SymbolicObject, Substitution) - Method in class logic.Disjunction

unify(SymbolicObject, Substitution) - Method in class logic.Effect

unify(SymbolicObject, Substitution) - Method in class logic.Existential

unify(SymbolicObject, Substitution) - Method in class logic.False

unify(SymbolicObject, Substitution) - Method in class logic.Identity

unify(SymbolicObject, Substitution) - Method in class logic.Literal

unify(SymbolicObject, Substitution) - Method in class logic.Negation

unify(SymbolicObject, Substitution) - Method in class logic.Precondition

unify(SymbolicObject, Substitution) - Method in class logic.SList

unify(SymbolicObject, Substitution) - Method in class logic.Structure

Implementation abstract method from Term.

unify(SymbolicObject, Substitution) - Method in class logic.SymbolicObject

Given two terms, return their most general unifier, or null if they don't unify.

unify(SymbolicObject, Substitution) - Method in class logic.TermList

unify(SymbolicObject, Substitution) - Method in class logic.True

unify(SymbolicObject, Substitution) - Method in class logic.Universal

unify(SymbolicObject, Substitution) - Method in class logic.Variable

Implements abstract method from Term.

unify(SymbolicObject, Substitution) - Method in class logic.Wildcard

V

Variable - class logic.Variable.

Variable(String) - Constructor for class logic.Variable

Variable(String, String) - Constructor for class logic.Variable

vee - Static variable in class logic.Token

W

Wildcard - class logic.Wildcard.

Wildcard() - Constructor for class logic.Wildcard

wedge - Static variable in class logic.Token

weightBy(double) - Method in class logic.SList

when - Static variable in class logic.Token

_

_iso - Variable in class logic.Engine

_l - Variable in class logic.DisjunctivePrecondition

_name - Variable in class logic.Term

_p - Variable in class logic.AtomicSentence

_random - Static variable in class logic.Engine

_s - Variable in class logic.ConditionalOutcome

_s - Variable in class logic.Connective

_s - Variable in class logic.ProbabilisticOutcome

_s - Variable in class logic.Quantifier

_s - Variable in class logic.SList

_type - Variable in class logic.Term

_v - Variable in class logic.Quantifier

_when - Variable in class logic.ConditionalOutcome

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