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

A

ADDRULE - Static variable in class rules.Change

AND - Static variable in class rules.Junct

APPLICABLE - Static variable in class rules.Subs

ARGS - Static variable in class rules.AppRule

Action - class rules.Action.

Action() - Constructor for class rules.Action

Action(String, Lang) - Constructor for class rules.Action

Action(Action) - Constructor for class rules.Action

Action(Pred, Args, boolean) - Constructor for class rules.Action

AppRule - class rules.AppRule.

AppRule() - Constructor for class rules.AppRule

AppRule(AppRule) - Constructor for class rules.AppRule

AppRule(String, Lang) - Constructor for class rules.AppRule

AppRule(Action, Conj, List, List) - Constructor for class rules.AppRule

AppRule(Action, Conj, List, List, Lit, Term, DeicticRef, int) - Constructor for class rules.AppRule

AppRule(Action, Conj, List) - Constructor for class rules.AppRule

AppRuleSet - class rules.AppRuleSet.

AppRuleSet() - Constructor for class rules.AppRuleSet

AppRuleSet(Lang) - Constructor for class rules.AppRuleSet

AppRuleSet(AppRuleSet) - Constructor for class rules.AppRuleSet

AppRuleSet(List) - Constructor for class rules.AppRuleSet

AppRuleSet(String, Lang, List) - Constructor for class rules.AppRuleSet

AppRuleSet(List, List) - Constructor for class rules.AppRuleSet

AppRuleSet(String, List) - Constructor for class rules.AppRuleSet

AppRuleSet(String, List, List) - Constructor for class rules.AppRuleSet

Args - class rules.Args.

action - Variable in class rules.Example

actionName() - Method in class rules.Rule

actionNameRS(String) - Method in class rules.RuleModel

actionRS(Action) - Method in class rules.RuleModel

actionSubs(Action, World) - Method in class rules.Rule

actionSubs(Example) - Method in class rules.Rule

actionSubs(Action, Action, Conj) - Method in class rules.World

actionSubsDeictic(World, Action) - Method in class rules.Rule

actionSubsDeicticList(World, Action) - Method in class rules.Rule

actionSubsList(Action, World) - Method in class rules.Rule

actionSubsList(Example) - Method in class rules.Rule

actualSize() - Method in class rules.Conj

actualSize() - Method in class rules.FLit

actualSize() - Method in class rules.Formula

actualSize() - Method in class rules.Junct

actualSize() - Method in class rules.Lit

actualSize() - Method in class rules.PLit

actualSize() - Method in class rules.Quant

actualSize() - Method in class rules.StarPlus

add(Rule) - Method in class rules.RuleSet

addAll(LinkedList) - Method in class rules.RuleSet

addConcept(Concept) - Method in class rules.Lang

addConcept(Pred, List, Formula) - Method in class rules.Lang

addConcepts(List) - Method in class rules.Lang

addDefaultEg(Example) - Method in class rules.AppRuleSet

addDefaultEgs(List) - Method in class rules.AppRuleSet

addEntry(int, double) - Method in class rules.Distn

addFunConcept(FunConcept) - Method in class rules.Lang

addFunConcepts(List) - Method in class rules.Lang

addLit(Lit, List) - Method in class rules.AppRule

addLit(Lit) - Method in class rules.Conj

addLits(Conj) - Method in class rules.Conj

addLits(List) - Method in class rules.Conj

addNonMatchingLits(Conj) - Method in class rules.Conj

addRefLit(DeicticRef, Lit, List) - Method in class rules.AppRule

addRule(Rule) - Method in class rules.RuleModel

addRuleSet(RuleSet) - Method in class rules.RuleModel

addSubs(Term, Term) - Method in class rules.Subs

Adds the substition f/t.

addSubs(Subs) - Method in class rules.Subs

Adds the elements of the substition s.

addSubsFront(Term, Term) - Method in class rules.Subs

addToBody(Lit) - Method in class rules.Outcome

addToDef(Lit) - Method in class rules.DeicticRef

addVar(DeicticRef, List) - Method in class rules.AppRule

allButMatchingFLits(Set, List) - Method in class rules.AppRuleSet

allButMatchingLits(Set, List) - Method in class rules.AppRuleSet

allConsts() - Method in class rules.Args

allIn(Conj, Subs) - Method in class rules.Conj

allPossActions() - Method in class rules.Lang

allPossActions(Set, boolean, boolean) - Method in class rules.Lang

allPossArgs(Pred) - Method in class rules.Lang

allPossArgs(Funct) - Method in class rules.Lang

allPossArgs(Funct, Set, boolean, boolean, boolean) - Method in class rules.Lang

allPossArgs(Pred, Set, boolean, boolean, boolean) - Method in class rules.Lang

allPossLitTypes(Set, boolean, boolean, boolean) - Method in class rules.Lang

allPossSubs(PLit) - Method in class rules.Lang

allPossSubs(List) - Method in class rules.Lang

allTransitions(World) - Method in class rules.RuleBinding

allTransitions(World, Action) - Method in class rules.RuleSet

allowed(World, Action) - Method in class rules.RuleSet

applicable(World, Action) - Method in class rules.Rule

applicable(Example) - Method in class rules.Rule

applicableList(World, Action) - Method in class rules.Rule

applicableList(Example) - Method in class rules.Rule

applicableRuleBinding(World, Action) - Method in class rules.RuleModel

applicableRuleBinding(World, Action) - Method in class rules.RuleSet

applicableRuleBinding(Example) - Method in class rules.RuleSet

applicableRuleBindings(String) - Method in class rules.RuleSet

applicableRuleBindings(World, Action) - Method in class rules.RuleSet

applicableRuleBindings(Example) - Method in class rules.RuleSet

apply(Subs) - Method in class rules.Action

apply(Subs) - Method in class rules.Args

apply(AppRuleSet) - Method in class rules.Change

apply(Subs) - Method in class rules.Conj

apply(Subs) - Method in class rules.DeicticRef

apply(Subs) - Method in class rules.FLit

apply(Subs) - Method in class rules.Lit

apply(Subs) - Method in class rules.Outcome

apply(Subs) - Method in class rules.PLit

apply(Subs) - Method in class rules.Rule

apply(Term) - Method in class rules.Subs

apply(Args) - Method in class rules.Subs

apply(Subs) - Method in class rules.Term

applyAll(Subs) - Method in class rules.FLit

applyAll(Subs) - Method in class rules.Lit

applyAll(Subs) - Method in class rules.PLit

applyAll(Args) - Method in class rules.Subs

applyInParallel(Args) - Method in class rules.Subs

applyInPlace(Subs) - Method in class rules.Conj

applyInPlace(Subs) - Method in class rules.Outcome

applyInPlace(Term) - Method in class rules.Subs

applyInPlace(Args) - Method in class rules.Subs

areNotTypesOf(Type[]) - Method in class rules.Args

areNotTypesOf(Type[], Subs) - Method in class rules.Args

arity() - Method in class rules.Args

arity() - Method in class rules.Concept

arity() - Method in class rules.FLit

arity() - Method in class rules.FTerm

arity() - Method in class rules.Funct

arity() - Method in class rules.Lit

arity() - Method in class rules.PLit

arity() - Method in class rules.Pred

B

BAD - Static variable in class rules.Subs

badConjequals(Object) - Method in class rules.World

bodyContains(Lit) - Method in class rules.Outcome

buildConjConcepts(Lit, Lit, int) - Method in class rules.Lang

buildConjConceptsWFun(PLit, FLit, int) - Method in class rules.Lang

buildConjConceptsWPreds(PLit, PLit, int) - Method in class rules.Lang

buildPlusConcept(PLit) - Method in class rules.Lang

buildQuantConcept(PLit, int, int) - Method in class rules.Lang

buildQuantConcept1(PLit, int) - Method in class rules.Lang

buildQuantConceptWithFun1(FLit, int) - Method in class rules.Lang

buildRefLit(Var, Lit, List) - Method in class rules.AppRule

buildRefLitPlusContext(Var, Lit, List) - Method in class rules.AppRule

buildStarConcept(PLit) - Method in class rules.Lang

C

CHANGERANGE - Static variable in class rules.Change

CONDROP - Static variable in class rules.Change

CONREF - Static variable in class rules.Change

Change - class rules.Change.

Change() - Constructor for class rules.Change

Change(Change) - Constructor for class rules.Change

Change(AppRuleSet, AppRule, int) - Constructor for class rules.Change

Change(AppRuleSet, AppRule, AppRule) - Constructor for class rules.Change

Change(AppRuleSet, List, AppRule) - Constructor for class rules.Change

Concept - class rules.Concept.

Concept() - Constructor for class rules.Concept

Concept(Pred, List, Formula) - Constructor for class rules.Concept

Concept(String, Lang) - Constructor for class rules.Concept

Conj - class rules.Conj.

Conj() - Constructor for class rules.Conj

Conj(Lang) - Constructor for class rules.Conj

Conj(List, Lang) - Constructor for class rules.Conj

Conj(Conj) - Constructor for class rules.Conj

Conj(String, Lang) - Constructor for class rules.Conj

Const - class rules.Const.

Const(String, TypeSet) - Constructor for class rules.Const

Const(String, Type) - Constructor for class rules.Const

Const(Const) - Constructor for class rules.Const

Const(String, Lang) - Constructor for class rules.Const

cVarName - Static variable in class rules.Lang

cacheRefs - Static variable in class rules.World

cacheUpdate(Object) - Method in class rules.AppRule

calcDefaultLProb(int, int) - Static method in class rules.AppRuleSet

calcLangChange(AppRuleSet) - Method in class rules.Change

calcScore() - Method in class rules.AppRule

calcScoreOld() - Method in class rules.AppRule

calcVD(List) - Method in class rules.AppRuleSet

calcVD() - Method in class rules.AppRuleSet

clear() - Method in class rules.Conj

clear() - Method in class rules.Subs

clear() - Method in class rules.World

clearCache() - Method in class rules.AppRule

clearCaches() - Method in class rules.AppRuleSet

clearRule() - Method in class rules.AppRule

clone() - Method in class rules.AppRule

clone() - Method in class rules.AppRuleSet

clone() - Method in class rules.Args

clone() - Method in class rules.Conj

clone() - Method in class rules.DeicticRef

clone() - Method in class rules.Distn

clone() - Method in class rules.Example

clone() - Method in class rules.FLit

clone() - Method in class rules.Lit

clone() - Method in class rules.Outcome

clone() - Method in class rules.PLit

clone() - Method in class rules.Rule

clone() - Method in class rules.RuleBinding

clone() - Method in class rules.RuleSet

clone() - Method in class rules.Term

cloneFalses(World) - Method in class rules.Conj

cloneOutcomes(Rule) - Method in class rules.Rule

cloneOutcomesWithout(Rule, int) - Method in class rules.Rule

cloneOutcomesWithout(Rule, int, int) - Method in class rules.Rule

cloneRefsReplace(DeicticRef, DeicticRef) - Method in class rules.AppRule

cloneTrues(World) - Method in class rules.Conj

compareSigs(List, List, List) - Method in class rules.World

completeRule(AppRule, List) - Method in class rules.AppRule

computeSignature(Const) - Method in class rules.World

computeStrVal() - Method in class rules.Conj

conceptFitsExample(Rule, Example) - Method in class rules.Outcome

conceptIsMemoized(Pred, Args, Subs) - Method in class rules.World

conceptLearn(List) - Method in class rules.AppRuleSet

conceptObjects(World, Var, Subs) - Method in class rules.Lit

conceptPenalty - Static variable in class rules.Lit

conceptSearch(List) - Method in class rules.AppRuleSet

conceptVar(Lit) - Method in class rules.Lang

considerDebug(Change, Change) - Method in class rules.AppRule

considerDroppingRule(Change, AppRuleSet) - Method in class rules.AppRule

considerNewRule(AppRule, Change, AppRuleSet) - Method in class rules.AppRule

considerNewRuleList(List, Change, AppRuleSet) - Method in class rules.AppRule

constsAllowed - Static variable in class rules.AppRule

contains(Term) - Method in class rules.Args

contains(Term) - Method in class rules.FLit

contains(Term) - Method in class rules.FTerm

contains(Term) - Method in class rules.Lit

contains(Term) - Method in class rules.PLit

containsMatchingFLits(Set, Set) - Method in class rules.AppRuleSet

contextToRef(Lit, List) - Method in class rules.AppRule

contradicts(Object) - Method in class rules.FLit

contradicts(Object) - Method in class rules.Lit

contradicts(Object) - Method in class rules.PLit

copyIn(AppRuleSet) - Method in class rules.AppRuleSet

couldCover(World, Subs) - Method in class rules.Conj

couldCover(Example, Subs) - Method in class rules.Outcome

countUp(Pred, Args, int) - Method in class rules.World

countUpLits() - Method in class rules.Lang

covers(World, Subs) - Method in class rules.Conj

Returns true if after we apply the substitution s every lit is ground and they all appear in w

covers(Example, Subs) - Method in class rules.Outcome

covers(World, Subs) - Method in class rules.Rule

coversMoreThan(Conj, List) - Method in class rules.Conj

coversSameExamples(AppRule) - Method in class rules.AppRule

coversSome(Rule, List) - Method in class rules.Outcome

coversSomeOf(List) - Method in class rules.Conj

crazyDebug - Static variable in class rules.AppRule

crazyDebug - Static variable in class rules.AppRuleSet

createBestCopy(List, List) - Method in class rules.AppRuleSet

createGeneralRule(Action, List) - Method in class rules.AppRule

cutExamples - Static variable in class rules.AppRule

D

DEICTIC - Static variable in class rules.AppRule

DROPCON - Static variable in class rules.Change

DROPREF - Static variable in class rules.Change

DROPRULE - Static variable in class rules.Change

DeicticRef - class rules.DeicticRef.

DeicticRef() - Constructor for class rules.DeicticRef

DeicticRef(Var, Conj) - Constructor for class rules.DeicticRef

DeicticRef(Var) - Constructor for class rules.DeicticRef

DeicticRef(String, Lang) - Constructor for class rules.DeicticRef

Distn - class rules.Distn.

debug - Static variable in class rules.AppRule

debug - Static variable in class rules.AppRuleSet

debug - Static variable in class rules.Change

debugDisplay() - Method in class rules.Change

debugSearchOp(AppRule) - Method in class rules.AppRule

defIterator() - Method in class rules.DeicticRef

defNoise - Static variable in class rules.AppRule

defaultEgIterator() - Method in class rules.AppRuleSet

defaultFnValue() - Method in class rules.Funct

defaultFnValue(Funct) - Method in class rules.Lang

defaultFnValue() - Method in class rules.SpecFunct

defaultLProb() - Method in class rules.AppRuleSet

defaultLProb(double, int, int) - Method in class rules.AppRuleSet

defaultLProb(Example) - Method in class rules.RuleSet

defaultLProb(Example, List) - Method in class rules.RuleSet

defaultProb() - Method in class rules.AppRuleSet

defaultTransition(World, List) - Method in class rules.RuleSet

defaultTransition(World) - Method in class rules.RuleSet

destReverse() - Method in class rules.Subs

differentAction(Action) - Method in class rules.Action

display() - Method in class rules.AppRuleSet

displayEntry(int) - Method in class rules.Distn

displayExamples() - Method in class rules.AppRuleSet

distributeExamples() - Method in class rules.AppRuleSet

doDebug() - Method in class rules.Change

dropLit(Lit, List) - Method in class rules.AppRule

dropRefLit(DeicticRef, Lit, List) - Method in class rules.AppRule

dropVar(DeicticRef, List) - Method in class rules.AppRule

dumbDebug - Static variable in class rules.Change

E

EQUAL - Static variable in class rules.FLit

EXISTS - Static variable in class rules.Quant

Example - class rules.Example.

Example(Example) - Constructor for class rules.Example

Example(Action, World, World) - Constructor for class rules.Example

Example(String, Lang) - Constructor for class rules.Example

earlier(String, String) - Method in class rules.SpecFunct

earlier(Term, Term) - Method in class rules.SpecFunct

egSizeChange() - Method in class rules.Change

egsCache() - Method in class rules.Outcome

emptyRuleSet() - Method in class rules.AppRuleSet

epsilon - Static variable in class rules.AppRule

equals(Args) - Method in class rules.Args

equals(Object) - Method in class rules.Args

equals(Args, Subs) - Method in class rules.Args

equals(Object) - Method in class rules.Conj

equals(Object) - Method in class rules.Const

equals(Object) - Method in class rules.DeicticRef

equals(Object) - Method in class rules.FLit

equals(Lit, Subs) - Method in class rules.FLit

equals(Object) - Method in class rules.FTerm

equals(Term, Subs) - Method in class rules.FTerm

equals(Formula, Subs) - Method in class rules.Formula

equals(Junct, Subs) - Method in class rules.Junct

equals(Object) - Method in class rules.Lit

equals(Lit, Subs) - Method in class rules.Lit

equals(Object) - Method in class rules.Outcome

equals(Object) - Method in class rules.PLit

equals(Lit, Subs) - Method in class rules.PLit

equals(Quant, Subs) - Method in class rules.Quant

equals(Object) - Method in class rules.SpecConst

equals(StarPlus, Subs) - Method in class rules.StarPlus

equals(Term, Subs) - Method in class rules.Term

equals(Object) - Method in class rules.Type

equals(Object) - Method in class rules.Var

equals(Object) - Method in class rules.World

equalsButForArgs(Object) - Method in class rules.FTerm

equalsFun(Funct) - Method in class rules.FunConcept

equalsFun(String) - Method in class rules.FunConcept

equalsFun(String, int) - Method in class rules.FunConcept

equalsPred(Pred) - Method in class rules.Concept

equalsPred(String) - Method in class rules.Concept

equalsPred(String, int) - Method in class rules.Concept

exampleConceptObjects(Rule, Example) - Method in class rules.Outcome

extendActionSubs(World, Subs) - Method in class rules.DeicticRef

extendActionSubsList(World, Subs) - Method in class rules.DeicticRef

F

FLit - class rules.FLit.

FLit() - Constructor for class rules.FLit

FLit(String, Lang) - Constructor for class rules.FLit

FLit(Funct, Args, Term) - Constructor for class rules.FLit

FLit(Funct, Args, Term, int) - Constructor for class rules.FLit

FLit(Funct, Args, Term, boolean) - Constructor for class rules.FLit

FLit(Funct, Args, Term, boolean, int) - Constructor for class rules.FLit

FLit(FTerm, Term, boolean) - Constructor for class rules.FLit

FLit(FTerm, Term, boolean, int) - Constructor for class rules.FLit

FLit(FLit) - Constructor for class rules.FLit

FORALL - Static variable in class rules.Quant

FOR_EACH - Static variable in class rules.DeicticRef

FOR_THE - Static variable in class rules.DeicticRef

FTerm - class rules.FTerm.

FTerm(String, Lang) - Constructor for class rules.FTerm

Formula - class rules.Formula.

Formula() - Constructor for class rules.Formula

FunConcept - class rules.FunConcept.

FunConcept() - Constructor for class rules.FunConcept

FunConcept(Funct, List, Pred, int) - Constructor for class rules.FunConcept

FunConcept(String, Lang) - Constructor for class rules.FunConcept

Funct - class rules.Funct.

Funct() - Constructor for class rules.Funct

Funct(String, TypeSet) - Constructor for class rules.Funct

Funct(String, Type[], Type) - Constructor for class rules.Funct

fLitNeeded(Pred) - Method in class rules.Lang

fLitsUsed() - Method in class rules.AppRuleSet

fillCacheCouldCover(Rule, List) - Method in class rules.Outcome

fillCacheCovers(Rule, List) - Method in class rules.Outcome

fillConHash() - Method in class rules.Lang

fillOutcomeHash(Outcome) - Method in class rules.AppRule

fillProbs() - Method in class rules.Distn

fillWorld(Conj) - Method in class rules.World

findChangeLits(Subs, Example, Var, List) - Method in class rules.Outcome

findChanges(World) - Method in class rules.World

findExamples(List) - Method in class rules.AppRule

finishScoring(Set, AppRuleSet, AppRule) - Method in class rules.Change

finishScoring(Set, AppRuleSet, List) - Method in class rules.Change

finishScoringNoise(Set, AppRuleSet, AppRule) - Method in class rules.Change

finishScoringNoise(Set, AppRuleSet, List) - Method in class rules.Change

finishScoringNoiseless(Set, AppRuleSet) - Method in class rules.Change

firstEquals(Args) - Method in class rules.Args

fixType() - Method in class rules.Conj

fixType() - Method in class rules.FLit

fixType() - Method in class rules.FTerm

fixType() - Method in class rules.Lit

fixType() - Method in class rules.PLit

fixTypeOf(Type) - Method in class rules.Term

fixTypeOf(Type) - Method in class rules.Var

fixTypesOf(Type[]) - Method in class rules.Args

fixedNoise - Static variable in class rules.AppRule

forgetAllBut(Set, Set) - Method in class rules.World

forgetConcept(Pred) - Method in class rules.World

forgetFunConcept(Funct) - Method in class rules.World

freeVar(List) - Method in class rules.Args

freeVar(Set) - Method in class rules.Args

freeVar(Set) - Method in class rules.FLit

freeVar(Set) - Method in class rules.Lit

freeVar(Set) - Method in class rules.PLit

fromIterator() - Method in class rules.Subs

funConceptLookup(Funct, Args, Subs) - Method in class rules.World

funsNeeded(Pred) - Method in class rules.Lang

funsNeeded(Funct) - Method in class rules.Lang

funsUsed(List, List) - Method in class rules.AppRuleSet

funsUsed() - Method in class rules.AppRuleSet

G

genExample(World, Action) - Method in class rules.RuleModel

genExample(World, Action) - Method in class rules.RuleSet

genExamples(World, int) - Method in class rules.RuleModel

genExamples(Lit, World, int, int) - Method in class rules.RuleModel

genExamples(String, World, int, int) - Method in class rules.RuleModel

generalSubs() - Method in class rules.Lang

generalSubs(Args) - Method in class rules.Lang

generalVar(Const) - Method in class rules.Lang

generalize() - Method in class rules.Conj

Removes a random Lit from the Conj

get(int) - Method in class rules.PLit

getAction() - Method in class rules.Example

getAction(String) - Method in class rules.Lang

getAction() - Method in class rules.Rule

getAction() - Method in class rules.RuleSet

getActs() - Method in class rules.Lang

getAllConceptFLits() - Method in class rules.Lang

getAllConceptFuns() - Method in class rules.Lang

getAllConceptPreds() - Method in class rules.Lang

getAllEgs() - Method in class rules.AppRuleSet

getAllFuns() - Method in class rules.Lang

getAllLiteralsContaining(Term) - Method in class rules.Conj

getAllPreds() - Method in class rules.Lang

getArg(int) - Method in class rules.Args

getArg(int) - Method in class rules.FTerm

getArgs() - Method in class rules.FTerm

getArity() - Method in class rules.FLit

getArity() - Method in class rules.PLit

getBinding() - Method in class rules.RuleBinding

getBody() - Method in class rules.Quant

getBody1() - Method in class rules.Junct

getBody2() - Method in class rules.Junct

getCC() - Method in class rules.Outcome

getChanges() - Method in class rules.Example

getConcept() - Method in class rules.Funct

getConcept(Pred) - Method in class rules.Lang

getConcept(Funct) - Method in class rules.Lang

getConcept() - Method in class rules.Pred

getConceptPreds(List) - Method in class rules.Lang

getConcepts() - Method in class rules.Lang

getConst(String) - Method in class rules.Lang

getConsts() - Method in class rules.Args

getConsts() - Method in class rules.Conj

getConsts() - Method in class rules.FLit

getConsts() - Method in class rules.FTerm

getConsts() - Method in class rules.Lang

getConsts(Type) - Method in class rules.Lang

getConsts() - Method in class rules.Lit

getConsts() - Method in class rules.Outcome

getConsts() - Method in class rules.PLit

getConsts() - Method in class rules.Rule

getConsts() - Method in class rules.World

getConsts(Type) - Method in class rules.World

getContext() - Method in class rules.Rule

getCount(int) - Method in class rules.Distn

getCount() - Method in class rules.Example

getCountArg() - Method in class rules.FunConcept

getCoversSame() - Method in class rules.AppRule

getDR() - Method in class rules.Change

getDef() - Method in class rules.DeicticRef

getDist() - Method in class rules.Rule

getEg() - Method in class rules.RuleBinding

getExamples() - Method in class rules.AppRule

getFLits() - Method in class rules.Conj

getFTerm() - Method in class rules.FLit

getFirst() - Method in class rules.Args

getFirstRulesAction() - Method in class rules.RuleSet

getForm() - Method in class rules.Concept

getFormula(Pred) - Method in class rules.Lang

getFreeVar() - Method in class rules.Outcome

getFrom() - Method in class rules.Subs

getFun() - Method in class rules.FLit

getFun() - Method in class rules.FTerm

getFun() - Method in class rules.FunConcept

getFunArg(int) - Method in class rules.FLit

getFunArgs() - Method in class rules.FLit

getFunConcept() - Method in class rules.FLit

getFunConcepts() - Method in class rules.Lang

getFunct(String) - Method in class rules.Lang

getFunct(String, int) - Method in class rules.Lang

getFuns() - Method in class rules.Conj

getFuns() - Method in class rules.FLit

getFuns() - Method in class rules.Formula

getFuns() - Method in class rules.Lang

getFuns() - Method in class rules.Lit

getGroundAntecedentIterator() - Method in class rules.RuleBinding

getGroundAntecedentList() - Method in class rules.RuleBinding

getGroundOutcomes(String) - Method in class rules.RuleBinding

getId() - Method in class rules.Var

getIntRange() - Method in class rules.SpecFunct

getLang() - Method in class rules.AppRule

getLang() - Method in class rules.AppRuleSet

getLang() - Method in class rules.Conj

getLang() - Method in class rules.Rule

getLang() - Method in class rules.RuleSet

getLang() - Method in class rules.World

getLanguage() - Method in class rules.Conj

getLanguage() - Method in class rules.Example

getLit() - Method in class rules.Change

getLit(int) - Method in class rules.Conj

getLit() - Method in class rules.StarPlus

getLits() - Method in class rules.Conj

getLits() - Method in class rules.Formula

getLits() - Method in class rules.Junct

getLits() - Method in class rules.Lit

getLits() - Method in class rules.Quant

getLits() - Method in class rules.StarPlus

getLitsContainingNothingBut(Set) - Method in class rules.Conj

getMapTable(Funct) - Method in class rules.World

getMatchingLit(Lit) - Method in class rules.Conj

getName() - Method in class rules.Action

getName() - Method in class rules.Const

getName() - Method in class rules.FLit

getName() - Method in class rules.Funct

getName() - Method in class rules.Lit

getName() - Method in class rules.PLit

getName() - Method in class rules.Pred

getName() - Method in class rules.SpecConst

getNameOfFirstRulesAction() - Method in class rules.RuleSet

getNew() - Method in class rules.Example

getNext() - Method in class rules.Outcome

getNextStates(String) - Method in class rules.RuleBinding

getNextStates(World) - Method in class rules.RuleBinding

getNumLits() - Method in class rules.Lang

getNumPoss() - Method in class rules.Rule

getOld() - Method in class rules.Example

getOp() - Method in class rules.Change

getOrigProb() - Method in class rules.Example

getOutcomes() - Method in class rules.Rule

getPick() - Method in class rules.Outcome

getPred() - Method in class rules.Concept

getPred() - Method in class rules.FunConcept

getPred(String) - Method in class rules.Lang

getPred(String, int) - Method in class rules.Lang

getPred(Funct) - Method in class rules.Lang

getPred() - Method in class rules.PLit

getPred() - Method in class rules.Type

getPredTable(Pred) - Method in class rules.World

getPreds() - Method in class rules.Conj

getPreds() - Method in class rules.Formula

getPreds() - Method in class rules.Junct

getPreds() - Method in class rules.Lang

getPreds() - Method in class rules.Lit

getPreds() - Method in class rules.PLit

getPreds() - Method in class rules.Quant

getProb(int) - Method in class rules.Distn

getRandomConst(Type, Random) - Method in class rules.Lang

getRandomConst(Type) - Method in class rules.World

getRatio() - Method in class rules.Change

getRef(int) - Method in class rules.Rule

getRef(Var) - Method in class rules.Rule

getRefCache() - Method in class rules.World

getRefIn(World, Subs) - Method in class rules.DeicticRef

getRefsIn(World, Subs) - Method in class rules.DeicticRef

getRetType() - Method in class rules.Funct

getRule(int) - Method in class rules.AppRuleSet

getRule() - Method in class rules.RuleBinding

getRules() - Method in class rules.RuleSet

getSFuns() - Method in class rules.Lang

getScore() - Method in class rules.AppRule

getScore() - Method in class rules.AppRuleSet

getSecond() - Method in class rules.Args

getSupers() - Method in class rules.Type

getTerm() - Method in class rules.Change

getTerm(int) - Method in class rules.PLit

getTerms() - Method in class rules.PLit

getTo() - Method in class rules.Subs

getType() - Method in class rules.Const

getType() - Method in class rules.FLit

getType() - Method in class rules.FTerm

getType(int) - Method in class rules.Funct

getType(int) - Method in class rules.Pred

getType() - Method in class rules.SpecConst

getType() - Method in class rules.Term

getType(String) - Method in class rules.TypeSet

Returns the type in the list that is called name.

getType() - Method in class rules.Var

getTypeOf(String) - Method in class rules.Lang

getTypeSet() - Method in class rules.Lang

getTypedConsts(Type) - Method in class rules.Lang

getTypes() - Method in class rules.FTerm

getTypes() - Method in class rules.Funct

getTypes() - Method in class rules.Lang

getTypes() - Method in class rules.Pred

getVAHelper(World, int, Subs) - Method in class rules.Rule

getVal() - Method in class rules.FLit

getVal(int) - Method in class rules.SpecFunct

getVal(String) - Method in class rules.SpecFunct

getValidActions(World) - Method in class rules.Rule

getValidActions(World) - Method in class rules.RuleSet

getValue(Funct, Args, Subs) - Method in class rules.World

getVar() - Method in class rules.DeicticRef

getVariables() - Method in class rules.Rule

getVars() - Method in class rules.Args

getVars() - Method in class rules.Concept

getVars() - Method in class rules.Conj

getVars() - Method in class rules.FLit

getVars() - Method in class rules.FTerm

getVars() - Method in class rules.FunConcept

getVars() - Method in class rules.Lit

getVars() - Method in class rules.Outcome

getVars() - Method in class rules.PLit

globalHash - Static variable in class rules.AppRule

graphEquals(Object) - Method in class rules.World

graphHashCode() - Method in class rules.World

greedyGen(AppRuleSet) - Method in class rules.AppRule

greedyGen() - Method in class rules.AppRuleSet

greedySearch() - Method in class rules.AppRuleSet

growOrphansAndRemList(Set, AppRuleSet, AppRule) - Method in class rules.Change

H

h(int) - Static method in class rules.AppRule

handleOverlaps(AppRuleSet, List) - Method in class rules.Change

handleOverlaps(AppRuleSet, AppRule) - Method in class rules.Change

hasChanges() - Method in class rules.Example

hasConcept() - Method in class rules.Funct

hasConcept() - Method in class rules.Pred

hasConsts() - Method in class rules.Args

hasConsts() - Method in class rules.FLit

hasConsts() - Method in class rules.Lit

hasConsts() - Method in class rules.PLit

hasExample(Example) - Method in class rules.AppRule

hasFreeVars() - Method in class rules.Args

hasFreeVars(Subs) - Method in class rules.Args

hasFreeVars() - Method in class rules.Conj

hasFreeVars(Subs) - Method in class rules.Conj

hasFreeVars() - Method in class rules.Const

hasFreeVars(Subs) - Method in class rules.Const

hasFreeVars() - Method in class rules.FLit

hasFreeVars(Subs) - Method in class rules.FLit

hasFreeVars() - Method in class rules.FTerm

hasFreeVars(Subs) - Method in class rules.FTerm

hasFreeVars() - Method in class rules.Formula

hasFreeVars(Subs) - Method in class rules.Formula

hasFreeVars() - Method in class rules.Junct

hasFreeVars(Subs) - Method in class rules.Junct

hasFreeVars() - Method in class rules.Lit

hasFreeVars(Subs) - Method in class rules.Lit

hasFreeVars() - Method in class rules.PLit

hasFreeVars(Subs) - Method in class rules.PLit

hasFreeVars() - Method in class rules.Quant

hasFreeVars(Subs) - Method in class rules.Quant

hasFreeVars() - Method in class rules.SpecConst

hasFreeVars(Subs) - Method in class rules.SpecConst

hasFreeVars() - Method in class rules.StarPlus

hasFreeVars(Subs) - Method in class rules.StarPlus

hasFreeVars() - Method in class rules.Term

hasFreeVars(Subs) - Method in class rules.Term

hasFreeVars() - Method in class rules.Var

hasFreeVars(Subs) - Method in class rules.Var

hasFunctions - Static variable in class rules.World

hasGoodConcept(Rule, List) - Method in class rules.Outcome

hasLit(Lit, Subs) - Method in class rules.Conj

hasLit(Lit) - Method in class rules.Conj

hasLit(Lit) - Method in class rules.Rule

hasLitsEquals(Lit) - Method in class rules.Rule

hasMatchingLit(Lit) - Method in class rules.Conj

hasMatchingLitOrItsEquals(Lit) - Method in class rules.Conj

hasMatchingLitsEquals(Lit) - Method in class rules.Conj

hasName(String) - Method in class rules.Var

hasOutcomeFor(Example) - Method in class rules.Rule

hasOutcomeFor(Example) - Method in class rules.RuleBinding

hasRepeats() - Method in class rules.Subs

hasTerm(Term) - Method in class rules.Args

hasTerm(Term) - Method in class rules.FLit

hasTerm(Term) - Method in class rules.Lit

hasTerm(Term) - Method in class rules.PLit

hasUnboundVars() - Method in class rules.FLit

hasUnboundVars(Subs) - Method in class rules.FLit

hasUnboundVars(Subs) - Method in class rules.Lit

hasUnboundVars() - Method in class rules.PLit

hasUnboundVars(Subs) - Method in class rules.PLit

hasValue(Term) - Method in class rules.Subs

hasValueFor(Term) - Method in class rules.Subs

hasValues(Set) - Method in class rules.Subs

hasValuesFor(Set) - Method in class rules.Subs

hasVar(Var) - Method in class rules.Conj

hashCode() - Method in class rules.Args

hashCode() - Method in class rules.Const

hashCode() - Method in class rules.Funct

hashCode() - Method in class rules.Lit

hashCode() - Method in class rules.Pred

hashCode() - Method in class rules.SpecConst

hashCode() - Method in class rules.Type

hashCode() - Method in class rules.Var

hashCode() - Method in class rules.World

hashPicking - Static variable in class rules.AppRuleSet

help(int) - Method in class rules.AppRule

I

incCount() - Method in class rules.Example

incfCount(int, int) - Method in class rules.Distn

incfProb(int, double) - Method in class rules.Distn

indexOfAppRule(LinkedList) - Method in class rules.Example

indexOfLit(Lit, Subs) - Method in class rules.Conj

indexOfMatchingLit(Lit) - Method in class rules.Conj

induceOutcomes() - Method in class rules.AppRule

induceOutcomesNew() - Method in class rules.AppRule

induceOutcomesOld() - Method in class rules.AppRule

initCache() - Method in class rules.AppRule

initCounts() - Method in class rules.AppRule

initNoisyRuleSet(List) - Method in class rules.AppRuleSet

initPickHash() - Method in class rules.AppRuleSet

initRefCache() - Method in class rules.World

initRuleParams() - Method in class rules.AppRule

initRuleSet(List) - Method in class rules.AppRuleSet

initSpecificRuleSet(List) - Method in class rules.AppRuleSet

initVariables() - Method in class rules.Rule

isEquality() - Method in class rules.FLit

isEquality() - Method in class rules.Lit

isFalse(Lit) - Method in class rules.Conj

isFalseIn(World, Subs) - Method in class rules.Formula

isFalseIn(World) - Method in class rules.Formula

isFalseIn(World, Subs) - Method in class rules.Junct

isFalseIn(World) - Method in class rules.Junct

isFalseIn(World, Subs) - Method in class rules.Lit

isFalseIn(World) - Method in class rules.Lit

isFalseIn(World, Subs) - Method in class rules.Quant

isFalseIn(World) - Method in class rules.Quant

isFalseIn(World, Subs) - Method in class rules.StarPlus

isFalseIn(World) - Method in class rules.StarPlus

isForeach() - Method in class rules.DeicticRef

isInequality() - Method in class rules.Lit

isLess() - Method in class rules.FLit

isMore() - Method in class rules.FLit

isNegative() - Method in class rules.Lit

isNull() - Method in class rules.Conj

isPositive() - Method in class rules.Lit

isSpecFLit() - Method in class rules.FLit

isStarPlus(PLit) - Method in class rules.Lang

isSubtypeOf(Term) - Method in class rules.Term

isSubtypeOf(Type) - Method in class rules.Term

isSubtypeOf(Term, Subs) - Method in class rules.Term

isSubtypeOf(Type, Subs) - Method in class rules.Term

isSubtypeOf(Type) - Method in class rules.Type

isSubtypeOf(Type, Subs) - Method in class rules.Var

isSupertypeOf(Term) - Method in class rules.Term

isSupertypeOf(Type) - Method in class rules.Term

isSupertypeOf(Type) - Method in class rules.Type

checks if this object matches the type of t or any of t's parent types

isTrue(Lit) - Method in class rules.Conj

isTrue(Pred, Args, Subs) - Method in class rules.World

isTrueIn(World, Subs) - Method in class rules.FLit

isTrueIn(World) - Method in class rules.Formula

isTrueIn(World, Subs) - Method in class rules.Formula

isTrueIn(World) - Method in class rules.Junct

isTrueIn(World, Subs) - Method in class rules.Junct

isTrueIn(World) - Method in class rules.Lit

isTrueIn(World, Subs) - Method in class rules.Lit

isTrueIn(World, Subs) - Method in class rules.PLit

isTrueIn(World) - Method in class rules.Quant

isTrueIn(World, Subs) - Method in class rules.Quant

isTrueIn(World) - Method in class rules.StarPlus

isTrueIn(World, Subs) - Method in class rules.StarPlus

isTypeLit() - Method in class rules.Lit

isTypeLit() - Method in class rules.PLit

isTypePred(Pred) - Method in class rules.Lang

isTyped() - Method in class rules.Lit

isTyped() - Method in class rules.PLit

isUseless(Outcome) - Method in class rules.Outcomes

isUselessIgnoringIndex(Outcome, int) - Method in class rules.Outcomes

isUselessOutcome(Outcome) - Method in class rules.AppRule

iterator() - Method in class rules.Distn

iterator() - Method in class rules.TypeSet

J

Junct - class rules.Junct.

Junct() - Constructor for class rules.Junct

Junct(int, String, String, Lang) - Constructor for class rules.Junct

Junct(int, Formula, Formula) - Constructor for class rules.Junct

Junct(String, Lang) - Constructor for class rules.Junct

L

LESS - Static variable in class rules.FLit

Lang - class rules.Lang.

Lang() - Constructor for class rules.Lang

Lang(String, TypeSet) - Constructor for class rules.Lang

Lang(String, TypeSet, boolean) - Constructor for class rules.Lang

Lang(List, List, List, List, List, TypeSet) - Constructor for class rules.Lang

Lit - class rules.Lit.

Lit() - Constructor for class rules.Lit

langChangeCounts - Static variable in class rules.Change

languagePenalty() - Method in class rules.AppRuleSet

latestVar(Lit) - Method in class rules.AppRule

latestVarLoc(Lit) - Method in class rules.AppRule

learnNoiseP(int, int) - Method in class rules.AppRuleSet

liftConst(Const, List) - Method in class rules.AppRule

litsIterator() - Method in class rules.Conj

litsNeeded(Funct) - Method in class rules.Lang

litsNeeded(Pred) - Method in class rules.Lang

litsUsed() - Method in class rules.AppRuleSet

localCache - Static variable in class rules.AppRule

lprob(Example, Subs) - Method in class rules.Rule

lprob(Example) - Method in class rules.Rule

lprob(Example) - Method in class rules.RuleBinding

lprob() - Method in class rules.RuleBinding

lprob(Example) - Method in class rules.RuleSet

M

MORE - Static variable in class rules.FLit

main(String[]) - Static method in class rules.AppRuleSet

main(String[]) - Static method in class rules.Conj

testing code

main(String[]) - Static method in class rules.Distn

testing code

main(String[]) - Static method in class rules.Example

main(String[]) - Static method in class rules.FLit

testing code

main(String[]) - Static method in class rules.Formula

main(String[]) - Static method in class rules.Funct

main(String[]) - Static method in class rules.Lang

main(String[]) - Static method in class rules.Lit

testing code

main(String[]) - Static method in class rules.Outcome

main(String[]) - Static method in class rules.PLit

testing code

main(String[]) - Static method in class rules.Pred

main(String[]) - Static method in class rules.Rule

main(String[]) - Static method in class rules.RuleBinding

main(String[]) - Static method in class rules.RuleModel

main(String[]) - Static method in class rules.RuleSet

main(String[]) - Static method in class rules.StarPlus

main(String[]) - Static method in class rules.Subs

main(String[]) - Static method in class rules.Type

main(String[]) - Static method in class rules.TypeSet

main(String[]) - Static method in class rules.Var

main(String[]) - Static method in class rules.World

testing code

makeBadRule() - Static method in class rules.AppRule

makeBuildList(List) - Method in class rules.AppRuleSet

makeContextToRef(DeicticRef, Lit, List) - Method in class rules.AppRule

makeFormula(String, Lang) - Static method in class rules.Formula

makeGraphSubs(World) - Method in class rules.World

makeInitialOutcomes() - Method in class rules.AppRule

makeLangFromFile(String, TypeSet) - Static method in class rules.Lang

makeRef(String, Const, Subs, Example) - Method in class rules.AppRule

makeRefFor(World, Subs, Const, Conj) - Static method in class rules.DeicticRef

makeRefFor(String, World, Subs, Const, Conj) - Static method in class rules.DeicticRef

makeSpecificAppRule(Example) - Static method in class rules.AppRule

makeSpecificDeicticAppRule(Example) - Static method in class rules.AppRule

makeSpecificRule(World, Action) - Static method in class rules.Rule

makeSplitVar(Term, Term, List) - Method in class rules.AppRule

makeTypeSetFromFile(String) - Static method in class rules.TypeSet

takes a list of the form: ((type1name (super1 ..

matchEquals(Object) - Method in class rules.FLit

matchEquals(Object) - Method in class rules.Lit

matchType(Type, Type) - Static method in class rules.Lang

matches(Object) - Method in class rules.FLit

matches(Object) - Method in class rules.Lit

matches(Object) - Method in class rules.PLit

matchesButForArgs(Object) - Method in class rules.FLit

matchesButForArgs(Object) - Method in class rules.Lit

matchesButForArgs(Object) - Method in class rules.PLit

matchesButForVars(Concept) - Method in class rules.Concept

matchesButForVars(FunConcept) - Method in class rules.FunConcept

matchesWithType(Object) - Method in class rules.FLit

matchesWithType(Object) - Method in class rules.Lit

memoizeConcept(Pred, Args, Subs, boolean) - Method in class rules.World

merge(Conj) - Method in class rules.Conj

merge(Outcome, boolean) - Method in class rules.Outcome

mistyped() - Method in class rules.Conj

mistyped(Subs) - Method in class rules.Conj

mistyped() - Method in class rules.FLit

mistyped(Subs) - Method in class rules.FLit

mistyped() - Method in class rules.FTerm

mistyped(Subs) - Method in class rules.FTerm

mistyped() - Method in class rules.Lit

mistyped(Subs) - Method in class rules.Lit

mistyped() - Method in class rules.Outcome

mistyped(Subs) - Method in class rules.Outcome

mistyped() - Method in class rules.PLit

mistyped(Subs) - Method in class rules.PLit

mistyped() - Method in class rules.Subs

moreSpecific(Type) - Method in class rules.Type

mostSpecificType(Const) - Method in class rules.Conj

mostSpecificType(Const) - Method in class rules.FLit

mostSpecificType(Const) - Method in class rules.FTerm

mostSpecificType(Const) - Method in class rules.Lit

mostSpecificType(Const) - Method in class rules.PLit

moveRange(Lit, Lit, List) - Method in class rules.AppRule

N

NONE - Static variable in class rules.AppRule

NOT - Static variable in class rules.Junct

NO_PICK - Static variable in class rules.Outcome

nameArityEquals(String, int) - Method in class rules.Funct

nameArityEquals(String, int) - Method in class rules.Pred

nameEquals(String) - Method in class rules.Const

nameEquals(String) - Method in class rules.Funct

nameEquals(String) - Method in class rules.Pred

nameEquals(String) - Method in class rules.SpecConst

neededVars(Lit) - Method in class rules.Lang

negateClone() - Method in class rules.Lit

negateClone() - Method in class rules.PLit

newLanguagePenalty(List, List) - Method in class rules.AppRuleSet

newstate - Variable in class rules.Example

nextName() - Static method in class rules.Var

noChanges() - Method in class rules.Example

noNext() - Method in class rules.Outcome

noallocApplyInPlace(Args, Subs) - Method in class rules.World

noiseProbBound - Static variable in class rules.AppRule

noiseProbBound - Static variable in class rules.AppRuleSet

notOccursConj(Term) - Method in class rules.Conj

numAct() - Method in class rules.Lang

numChangedExamples() - Method in class rules.AppRule

numConceptsUsed(List, List) - Method in class rules.AppRuleSet

numConceptsUsed() - Method in class rules.AppRuleSet

numConst() - Method in class rules.Lang

numDefaultEgs() - Method in class rules.AppRuleSet

numFunct() - Method in class rules.Lang

numOccurs(Term) - Method in class rules.Args

numOccurs(Term) - Method in class rules.Conj

numOccurs(Term) - Method in class rules.FLit

numOccurs(Term) - Method in class rules.FTerm

numOccurs(Term) - Method in class rules.Lit

numOccurs(Term) - Method in class rules.PLit

numOccurs(Term) - Method in class rules.Term

numPred() - Method in class rules.Lang

numPreds() - Method in class rules.Outcome

numRefs() - Method in class rules.Rule

numTerms() - Method in class rules.PLit

numTypedConsts(Type) - Method in class rules.Lang

numTypes() - Method in class rules.Lang

O

OR - Static variable in class rules.Junct

Outcome - class rules.Outcome.

Outcomes - class rules.Outcomes.

Outcomes() - Constructor for class rules.Outcomes

occurs(Term) - Method in class rules.Args

occurs(Term) - Method in class rules.Conj

occurs(Term) - Method in class rules.FLit

occurs(Term) - Method in class rules.FTerm

occurs(Term) - Method in class rules.Lit

occurs(Term) - Method in class rules.Outcome

occurs(Term) - Method in class rules.PLit

occurs(Term) - Method in class rules.Term

occursConj(Term) - Method in class rules.Conj

occursNoConstsConj(Var) - Method in class rules.Conj

oldstate - Variable in class rules.Example

oneToOne() - Method in class rules.Subs

onlyleaves - Static variable in class rules.Lit

orderObjects() - Method in class rules.World

outcomeCoversAll(Outcome, Outcome, List) - Method in class rules.AppRule

outcomeCoversMore(Outcome, Outcome, List) - Method in class rules.AppRule

outcomeCoversSome(Outcome, List) - Method in class rules.AppRule

outcomesApply(Subs) - Method in class rules.AppRule

outputCounts() - Method in class rules.AppRule

outputCounts(Map) - Static method in class rules.AppRule

overlaps(List) - Method in class rules.AppRule

overlaps(RuleBinding) - Method in class rules.RuleBinding

overwriteSubs(Subs) - Method in class rules.Subs

P

PICK_ALL - Static variable in class rules.Outcome

PICK_ONE - Static variable in class rules.Outcome

PLUS - Static variable in class rules.StarPlus

PLit - class rules.PLit.

PLit() - Constructor for class rules.PLit

PLit(String, Lang) - Constructor for class rules.PLit

PLit(Pred, Term[]) - Constructor for class rules.PLit

PLit(Pred, Term[], boolean) - Constructor for class rules.PLit

PLit(Pred, Args) - Constructor for class rules.PLit

PLit(Pred, Args, Boolean) - Constructor for class rules.PLit

PLit(Pred, Term, boolean) - Constructor for class rules.PLit

PLit(Pred, Args, boolean, boolean) - Constructor for class rules.PLit

PLit(Pred, Term, boolean, boolean) - Constructor for class rules.PLit

PLit(Pred, Args, boolean) - Constructor for class rules.PLit

PLit(String, Type[], Term[]) - Constructor for class rules.PLit

PLit(String, Type[], List) - Constructor for class rules.PLit

PLit(Pred, List) - Constructor for class rules.PLit

PLit(PLit) - Constructor for class rules.PLit

Pred - class rules.Pred.

Pred(Type[]) - Constructor for class rules.Pred

Pred(String, TypeSet) - Constructor for class rules.Pred

Pred(String, Type[]) - Constructor for class rules.Pred

Pred(String, Type) - Constructor for class rules.Pred

parallel - Static variable in class rules.RuleSet

partialClone() - Method in class rules.AppRule

penalRatio - Static variable in class rules.AppRule

penalRatio - Static variable in class rules.AppRuleSet

penalty() - Method in class rules.AppRule

penalty() - Method in class rules.Outcome

penalty() - Method in class rules.Outcomes

pickallcouldcover(Example, Subs) - Method in class rules.Outcome

pickallcovers(Example, Subs, List, Conj) - Method in class rules.Outcome

picknonecouldcover(Example, Subs) - Method in class rules.Outcome

picknonecovers(Example, Subs, Conj) - Method in class rules.Outcome

pickonecouldcover(Example, Subs) - Method in class rules.Outcome

pickonecovers(Example, Subs, List) - Method in class rules.Outcome

possCountFuns(List) - Method in class rules.Lang

possNewConcepts(List) - Method in class rules.Lang

possOutcomePicks(Set) - Method in class rules.Lang

possOutcomePicks() - Method in class rules.Lang

possOutcomes(Set) - Method in class rules.Lang

ppddlStyle - Static variable in class rules.Lang

predsNeeded(Pred) - Method in class rules.Lang

predsNeeded(Funct) - Method in class rules.Lang

predsUsed(List, List) - Method in class rules.AppRuleSet

predsUsed() - Method in class rules.AppRuleSet

prepareStub() - Method in class rules.AppRule

print() - Method in class rules.Example

print() - Method in class rules.RuleSet

probabilityOfTransition(World, World) - Method in class rules.RuleBinding

pruneConcepts(Set, Set) - Method in class rules.Lang

Q

Quant - class rules.Quant.

Quant() - Constructor for class rules.Quant

Quant(int, Var, String, Lang) - Constructor for class rules.Quant

Quant(int, Var, Formula) - Constructor for class rules.Quant

Quant(String, Lang) - Constructor for class rules.Quant

R

REFCON - Static variable in class rules.Change

REFDROP - Static variable in class rules.Change

Rule - class rules.Rule.

Rule() - Constructor for class rules.Rule

Rule(Action, Conj, List, Distn, Outcomes) - Constructor for class rules.Rule

Rule(Action, Conj) - Constructor for class rules.Rule

Rule(Action, Conj, List) - Constructor for class rules.Rule

Rule(Rule) - Constructor for class rules.Rule

Rule(String, Lang) - Constructor for class rules.Rule

RuleBinding - class rules.RuleBinding.

RuleModel - class rules.RuleModel.

RuleModel() - Constructor for class rules.RuleModel

RuleModel(RuleModel) - Constructor for class rules.RuleModel

RuleModel(ArrayList) - Constructor for class rules.RuleModel

RuleSet - class rules.RuleSet.

RuleSet(String, Lang) - Constructor for class rules.RuleSet

raiseAllConsts() - Method in class rules.Conj

raiseDefaultEg(Example, List) - Method in class rules.AppRule

randGen(AppRuleSet) - Method in class rules.AppRule

randGen() - Method in class rules.AppRuleSet

randRule() - Method in class rules.AppRuleSet

randSearch() - Method in class rules.AppRuleSet

randomAction(String, Random) - Method in class rules.Lang

randomLit() - Method in class rules.Conj

rangeIterator() - Method in class rules.SpecFunct

rangeSize(Lang) - Method in class rules.FLit

rangeSize(Lang) - Method in class rules.Funct

rangeSize() - Method in class rules.SpecFunct

readFromFile(String, List, Lang) - Static method in class rules.AppRuleSet

readFromFile(String, Lang) - Static method in class rules.RuleSet

readLit(String, Lang) - Static method in class rules.Lit

refIterator() - Method in class rules.Rule

refNum(Var) - Method in class rules.Rule

refToContext(DeicticRef, Lit, List) - Method in class rules.AppRule

refsActualSize() - Method in class rules.AppRule

refsSize() - Method in class rules.AppRule

remFromDef(Lit) - Method in class rules.DeicticRef

remove(Rule) - Method in class rules.RuleSet

removeAll(LinkedList) - Method in class rules.RuleSet

removeAllLiteralsContaining(Term) - Method in class rules.Conj

removeAllLiteralsContainingConsts() - Method in class rules.Conj

removeAllLiteralsOfArity(int) - Method in class rules.Conj

removeAllNegLiteralsOfArity(int) - Method in class rules.Conj

removeAllPLiteralsOfArity(int) - Method in class rules.Conj

removeDefaultEgs(List) - Method in class rules.AppRuleSet

removeEntry(int) - Method in class rules.Distn

removeEquivConcepts(List, List) - Method in class rules.AppRuleSet

removeEquivFunConcepts(List, List) - Method in class rules.AppRuleSet

removeFirstSubs() - Method in class rules.Subs

removeFromBody(Lit) - Method in class rules.Outcome

removeInequalities(Set) - Method in class rules.AppRuleSet

removeLastSubs() - Method in class rules.Subs

removeLit(Lit) - Method in class rules.Conj

removeLit(int) - Method in class rules.Conj

removeLits(Conj) - Method in class rules.Conj

removeLits(List) - Method in class rules.Conj

removeMatchingFLits(Set) - Method in class rules.AppRuleSet

removeMatchingLits(Set) - Method in class rules.AppRuleSet

removeOverlaps(Set) - Method in class rules.AppRule

removeSubs(Term) - Method in class rules.Subs

resetConcepts() - Method in class rules.Lang

resetExampleCache(Concept) - Method in class rules.AppRuleSet

resetExampleCaches(Set, Set) - Method in class rules.AppRuleSet

resetRefCache() - Method in class rules.World

responsibleFor() - Method in class rules.RuleBinding

reverse() - Method in class rules.Conj

reverse() - Method in class rules.Subs

rmDefaultEg(Example) - Method in class rules.AppRuleSet

ruleNoise - Static variable in class rules.AppRule

rules - package rules

S

STAR - Static variable in class rules.StarPlus

SpecConst - class rules.SpecConst.

SpecConst(String) - Constructor for class rules.SpecConst

SpecConst(SpecConst) - Constructor for class rules.SpecConst

SpecFunct - class rules.SpecFunct.

SpecFunct(String, TypeSet) - Constructor for class rules.SpecFunct

SpecFunct(String, int) - Constructor for class rules.SpecFunct

SpecFunct(Type[], List) - Constructor for class rules.SpecFunct

StarPlus - class rules.StarPlus.

StarPlus() - Constructor for class rules.StarPlus

StarPlus(int, String, Lang) - Constructor for class rules.StarPlus

StarPlus(int, PLit, Lang) - Constructor for class rules.StarPlus

Subs - class rules.Subs.

Subs() - Constructor for class rules.Subs

Subs(Term, Term) - Constructor for class rules.Subs

Subs(List, List) - Constructor for class rules.Subs

Subs(Subs) - Constructor for class rules.Subs

sample() - Method in class rules.Distn

sampleNoise() - Method in class rules.Distn

sampleSize - Static variable in class rules.AppRule

saveToFile(String) - Method in class rules.Lang

saveToFile(String) - Method in class rules.RuleSet

secondEquals(Args) - Method in class rules.Args

selectExamples(Lit, List) - Static method in class rules.AppRuleSet

selectExamples(String, List) - Static method in class rules.AppRuleSet

setArg(int, Term) - Method in class rules.Args

setArg(int, Term) - Method in class rules.FTerm

setArgs(Lang, Type[], Random) - Method in class rules.Args

setArgs(Args) - Method in class rules.Args

setArgs(Lang, Random) - Method in class rules.FTerm

setArgs(Lang, Random) - Method in class rules.PLit

setConcept(FunConcept) - Method in class rules.Funct

setConcept(Concept) - Method in class rules.Pred

setCount(int, int) - Method in class rules.Distn

setDefaultFnValue(Term) - Method in class rules.Funct

setExamples(List) - Method in class rules.AppRuleSet

setFirst(Term) - Method in class rules.Args

setFunConcepts(Lang) - Method in class rules.Concept

setFunConcepts(Lang) - Method in class rules.FLit

setFunConcepts(Lang) - Method in class rules.FTerm

setFunConcepts(Lang) - Method in class rules.Formula

setFunConcepts(Lang) - Method in class rules.Lit

setFunConcepts(Lang) - Method in class rules.Quant

setFunConcepts(Lang) - Method in class rules.StarPlus

setFunctDefaults() - Method in class rules.Lang

setLastCount(int) - Method in class rules.Distn

setLists(List, List) - Method in class rules.Subs

setOrigProb(RuleSet) - Method in class rules.Example

setOrigProb(double) - Method in class rules.Example

setPicking(int, Lit, Var, Outcome) - Method in class rules.Outcome

setProb(int, double) - Method in class rules.Distn

setSecond(Term) - Method in class rules.Args

setTestEgs(List) - Method in class rules.AppRuleSet

setTruth(Lit, boolean) - Method in class rules.Conj

setTruth(boolean) - Method in class rules.Lit

setType(Type) - Method in class rules.Var

setTypeToEqual() - Method in class rules.FLit

setTypeToLess() - Method in class rules.FLit

setTypeToMore() - Method in class rules.FLit

setVal(Term) - Method in class rules.FLit

setValue(Lit) - Method in class rules.Conj

shallowValueFor(Term) - Method in class rules.Subs

sigToInt(List) - Method in class rules.World

signString() - Method in class rules.FLit

simpleEquals(Object) - Method in class rules.World

simpleHashCode() - Method in class rules.World

size() - Method in class rules.Args

size() - Method in class rules.Conj

size() - Method in class rules.Distn

size() - Method in class rules.RuleSet

size() - Method in class rules.Subs

size() - Method in class rules.TypeSet

sizeChange() - Method in class rules.Change

someMatch(Conj) - Method in class rules.Conj

specificContext() - Method in class rules.Example

specificDroppedLits() - Method in class rules.Example

specificTrueContext() - Method in class rules.Example

splitLit(Lit, Term, List) - Method in class rules.AppRule

splitLit(Lit, List) - Method in class rules.AppRule

splitRefLit(Lit, Term, List) - Method in class rules.AppRule

splitRefLit(Lit, List) - Method in class rules.AppRule

splitVar(Var, List) - Method in class rules.AppRule

stringFromFile(String) - Static method in class rules.RuleSet

subTypes(Type) - Method in class rules.TypeSet

superTypes() - Method in class rules.Type

T

Term - class rules.Term.

Term() - Constructor for class rules.Term

Type - class rules.Type.

This class defines a possible type for an object.

Type(String) - Constructor for class rules.Type

Takes the name of this type and a list of supertypes.

Type(String, List) - Constructor for class rules.Type

Type(String, Type) - Constructor for class rules.Type

TypeSet - class rules.TypeSet.

TypeSet(String) - Constructor for class rules.TypeSet

toBoolean(List) - Static method in class rules.Example

toBooleanInner(Conj) - Method in class rules.Example

toConj() - Method in class rules.World

toConj(boolean, boolean, boolean) - Method in class rules.World

toConjNoType() - Method in class rules.World

toFalseConj() - Method in class rules.World

toFileString() - Method in class rules.Args

toFileString() - Method in class rules.Conj

toFileString() - Method in class rules.DeicticRef

toFileString() - Method in class rules.FLit

toFileString() - Method in class rules.FTerm

toFileString() - Method in class rules.Lit

toFileString() - Method in class rules.Outcome

toFileString() - Method in class rules.PLit

toFileString() - Method in class rules.Rule

toFileString() - Method in class rules.RuleSet

toFileString() - Method in class rules.Term

toFileString() - Method in class rules.Var

toFullConj() - Method in class rules.World

toLongString() - Method in class rules.Example

toSS() - Method in class rules.DeicticRef

toSS() - Method in class rules.Lit

toSS() - Method in class rules.Term

toShortString() - Method in class rules.AppRule

toShortString() - Method in class rules.AppRuleSet

toShortString() - Method in class rules.Args

toShortString() - Method in class rules.Conj

toShortString() - Method in class rules.Const

toShortString() - Method in class rules.FLit

toShortString() - Method in class rules.FTerm

toShortString() - Method in class rules.Funct

toShortString() - Method in class rules.Lit

toShortString() - Method in class rules.Outcome

toShortString() - Method in class rules.PLit

toShortString() - Method in class rules.Pred

toShortString() - Method in class rules.SpecConst

toShortString() - Method in class rules.SpecFunct

toShortString() - Method in class rules.Term

toShortString() - Method in class rules.Var

toShortStringCWA() - Method in class rules.World

toSimString() - Method in class rules.Action

toSimString() - Method in class rules.Args

toString() - Method in class rules.Action

toString() - Method in class rules.AppRule

toString() - Method in class rules.AppRuleSet

toString() - Method in class rules.Args

toString() - Method in class rules.Concept

toString() - Method in class rules.Conj

toString() - Method in class rules.Const

toString() - Method in class rules.DeicticRef

toString() - Method in class rules.Distn

toString() - Method in class rules.Example

toString() - Method in class rules.FLit

toString() - Method in class rules.FTerm

toString() - Method in class rules.Formula

toString() - Method in class rules.FunConcept

toString() - Method in class rules.Funct

toString() - Method in class rules.Junct

toString() - Method in class rules.Lang

toString() - Method in class rules.Lit

toString() - Method in class rules.Outcome

toString() - Method in class rules.PLit

toString() - Method in class rules.Pred

toString() - Method in class rules.Quant

toString() - Method in class rules.Rule

toString() - Method in class rules.RuleBinding

toString() - Method in class rules.RuleModel

toString() - Method in class rules.RuleSet

toString() - Method in class rules.SpecConst

toString() - Method in class rules.SpecFunct

toString() - Method in class rules.StarPlus

toString() - Method in class rules.Subs

toString() - Method in class rules.Type

toString() - Method in class rules.TypeSet

toString() - Method in class rules.Var

toString() - Method in class rules.World

toStringCWA() - Method in class rules.World

toStringWithExamples() - Method in class rules.AppRuleSet

toTrueConj() - Method in class rules.World

toTrueConjNoType() - Method in class rules.World

toUnboundString() - Method in class rules.Term

toUnboundString() - Method in class rules.Var

totalProb() - Method in class rules.Distn

transition(World, Subs) - Method in class rules.Outcome

Create the world S^t+1 given the world S^t.

transition(World) - Method in class rules.RuleBinding

transition(World, Action) - Method in class rules.RuleModel

transition(World, String) - Method in class rules.RuleModel

transition(World, Action) - Method in class rules.RuleSet

transitionPrint(World, Action) - Method in class rules.RuleModel

transitionPrint(World, Action) - Method in class rules.RuleSet

trim - Static variable in class rules.AppRule

trimContext(List) - Method in class rules.AppRule

trimRefs - Static variable in class rules.DeicticRef

trimRule(AppRule, Example, List) - Method in class rules.AppRule

trimRuleOld(AppRule, Example, List) - Method in class rules.AppRule

trimUseless() - Method in class rules.Outcomes

trimUselessOutcomes() - Method in class rules.AppRule

trimZeroes() - Method in class rules.AppRule

typeLitTruth(Subs) - Method in class rules.Lit

typeLitTruth() - Method in class rules.Lit

typeLitTruth() - Method in class rules.PLit

typeLitTruth(Subs) - Method in class rules.PLit

typePreds - Static variable in class rules.Lang

typed - Static variable in class rules.Var

U

UNNEEDED - Static variable in class rules.Subs

uncoveredExamples(List) - Method in class rules.AppRule

unify(Args, Subs, Type[]) - Method in class rules.Args

unify(Term, Subs, Type) - Method in class rules.Const

unify(Lit, Subs) - Method in class rules.FLit

unify(Term, Subs, Type) - Method in class rules.FTerm

unify(Lit) - Method in class rules.Lit

unify(Lit, Subs) - Method in class rules.Lit

unify(Lit, Subs) - Method in class rules.PLit

unify(Term, Subs, Type) - Method in class rules.SpecConst

unify(Term, Subs, Type) - Method in class rules.Term

unify(Term, Subs, Type) - Method in class rules.Var

unusedVar(Lit) - Method in class rules.AppRule

updateSubs(Subs, World) - Method in class rules.FLit

updateWorld(Conj) - Method in class rules.World

updateWorld(Conj, Subs) - Method in class rules.World

useGraphEquals - Static variable in class rules.World

usedConceptObjects(World, Var, Subs, Set) - Method in class rules.Lit

usefulConcept(Concept, List) - Method in class rules.AppRuleSet

V

VARADD - Static variable in class rules.Change

VARREM - Static variable in class rules.Change

Var - class rules.Var.

Var(Type) - Constructor for class rules.Var

Var(Var) - Constructor for class rules.Var

Var(String, Lang) - Constructor for class rules.Var

Var(String, Type) - Constructor for class rules.Var

the string should be "$whatever"

valueFor(Term) - Method in class rules.Subs

valuesFor(Term) - Method in class rules.Subs

varIsDefined(Var) - Method in class rules.AppRule

varIsUsed(Var) - Method in class rules.AppRule

varLevel - Static variable in class rules.AppRule

W

World - class rules.World.

World(Lang) - Constructor for class rules.World

World(World) - Constructor for class rules.World

warning - Static variable in class rules.Lang

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