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

A

AbstractConflictSet - class jeops.conflict.AbstractConflictSet.

This class provides a skeletal implementation of the ConflictSet interface to minimize the effort required to implement this interface.

AbstractConflictSet() - Constructor for class jeops.conflict.AbstractConflictSet

Class constructor.

AbstractKnowledgeBase - class jeops.AbstractKnowledgeBase.

The main class of JEOPS.

AbstractKnowledgeBase(ConflictSet) - Constructor for class jeops.AbstractKnowledgeBase

Creates a new knowledge base.

AbstractRuleBase - class jeops.AbstractRuleBase.

A generic rule base of Jeops.

AbstractRuleBase(AbstractKnowledgeBase) - Constructor for class jeops.AbstractRuleBase

Class constructor.

ACTIONS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word actions.

ACTIVE - Static variable in interface jeops.examples.monkeys.Constants

Goal status = active.

addConflictSetListener(RuleFireListener) - Method in class jeops.AbstractKnowledgeBase

Adds the specified conflict set listener to receive events from this knowledge base.

addImport(String) - Method in class jeops.compiler.ImportList

Adds an import statement to this list.

addInternalConflictSetListener(InternalConflictSetListener) - Method in class jeops.conflict.AbstractConflictSet

Adds the specified listener to receive events from this conflict set.

addInternalConflictSetListener(InternalConflictSetListener) - Method in interface jeops.conflict.ConflictSet

Adds the specified listener to receive events from this conflict set.

addMove(int, int) - Method in class jeops.examples.hanoi.Hanoi

Adds a movement to the solution.

addNewEntryNode(Class) - Method in class jeops.AbstractKnowledgeBase

Tries to find a way from which a class object may get into some entry point of the Rete network.

addRuleFireListener(RuleFireListener) - Method in class jeops.AbstractKnowledgeBase

Adds the specified rule fire listener to receive events from this knowledge base.

addSuccessor(int, ReteNode, int) - Method in class jeops.rete.ReteNode

Adds a connection from some input of this node to a given input of the given node.

addSuccessor(ReteNode) - Method in class jeops.rete.ReteNode

Adds a connection from the only input of this node to the only input of the given node.

addSuccessor(ReteNode, int) - Method in class jeops.rete.ReteNode

Adds a connection from the only input of this node to a given input of the given node.

allDeclForLocalDecl - Variable in class jeops.compiler.Main

The index of all declared identifiers used by some rule local declaration.

allJoinNodes - Variable in class jeops.AbstractKnowledgeBase

All join nodes of the Rete network.

ARRAY - Variable in class jeops.rete.FinalReteNode

Object array, defined as an attribute for efficiency purposes only.

ARRAY - Variable in class jeops.rete.JoinReteNode

Object array, defined as an attribute for efficiency purposes only.

assert(Object) - Method in class jeops.AbstractRuleBase

Adds an object into this rule base.

assert(Object) - Method in class jeops.ObjectBase

Inserts a new object into this object base.

assert(Object) - Method in class jeops.AbstractKnowledgeBase

Inserts a new object in this knowledge base.

ASTERISK - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is an asterisk.

at - Variable in class jeops.examples.monkeys.ObjectOPS

The position of this object.

at - Variable in class jeops.examples.monkeys.PhysicalObject

The position of this object.

AT - Static variable in interface jeops.examples.monkeys.Constants

Goal type: to be AT somewhere.

attacks(Queen) - Method in class jeops.examples.queens.Queen

Checks whether this queen can be attacked by the given one.

B

Banana - class jeops.examples.monkeys.Banana.

The bananas in the monkey and bananas world.

Banana() - Constructor for class jeops.examples.monkeys.Banana

Class constructor.

Banana(Point) - Constructor for class jeops.examples.monkeys.Banana

Class constructor.

Blanket - class jeops.examples.monkeys.Blanket.

A blanket in the monkey and bananas world.

Blanket() - Constructor for class jeops.examples.monkeys.Blanket

Class constructor.

Blanket(Point) - Constructor for class jeops.examples.monkeys.Blanket

Class constructor.

bring(PhysicalObject, Point) - Method in class jeops.examples.monkeys.Monkey

Brings an object to somewhere.

buffer - Variable in class jeops.compiler.parser.Scanner

The string buffer used in the scanning of the file.

C

CEILING - Static variable in interface jeops.examples.monkeys.Constants

Common objects: the ceiling.

checkCondForDeclaration(int, int) - Method in class jeops.AbstractRuleBase

Checks whether all the conditions of a rule which reference only the elements declared up to the given index are true.

checkCondition(int, int) - Method in class jeops.AbstractRuleBase

Checks whether a condition of some rule in this rule base is satisfied.

checkConditionsOnlyOf(int, int) - Method in class jeops.AbstractRuleBase

Checks whether all conditions of some rule that depend only on the given object are satisfied, not counting the local declarations.

checkReserved(String) - Method in class jeops.compiler.parser.Scanner

Checks whether a given identifier is a reserved word.

checkToken(Token, int[], String) - Method in class jeops.compiler.Main

Checks whether a token is one of several given types, throwing an exception if it's not.

checkToken(Token, int, String) - Method in class jeops.compiler.Main

Checks whether a token is of a given type, throwing an exception if it's not.

ClassFilterReteNode - class jeops.rete.ClassFilterReteNode.

A node in the Rete network that is activated if the object belongs to the class it represents.

ClassFilterReteNode(Class) - Constructor for class jeops.rete.ClassFilterReteNode

Class constructor.

classType - Variable in class jeops.rete.ClassFilterReteNode

The class object that indicates which tokens can pass by this node.

climbOn(PhysicalObject) - Method in class jeops.examples.monkeys.Monkey

Climbs on some object.

clone() - Method in class jeops.AbstractRuleBase

Creates a copy of this object.

CLOSE_CURLY_BRACKET - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a close curly bracket.

column - Variable in class jeops.compiler.JeopsException

The column number in the rule file where there is the problem that caused this exception.

column - Variable in class jeops.examples.queens.Queen

The column of the board (1-8).

COMMA - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a comma.

COMMENT - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a comment.

compare(Object, Object) - Method in class jeops.examples.monkeys.MEAConflictSet.CSEComparator

Compares two conflict set elements (CSEs)

compareArrays(Object[], Object[]) - Static method in class jeops.conflict.ConflictSetElement

Auxiliar method used to compare two arrays of objects.

compileJavaFile(String) - Static method in class jeops.compiler.JavaCompiler

Compile a given .java source file.

compileSourceFile(String) - Method in class jeops.compiler.Main

Attempts to find a source file and compile it into a .class file.

CONDITIONS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word conditions.

conflictSet - Variable in class jeops.AbstractKnowledgeBase

The conflict set associated with this knowledge base.

ConflictSet - interface jeops.conflict.ConflictSet.

Defines the required operations that a conflict set should implement.

ConflictSetElement - class jeops.conflict.ConflictSetElement.

An element present in the conflict set.

ConflictSetElement(int, Object[]) - Constructor for class jeops.conflict.ConflictSetElement

Class constructor.

ConflictSetEvent - class jeops.ConflictSetEvent.

A semantic event that indicates that an element was either added to or removed from a conflict set.

ConflictSetEvent(AbstractKnowledgeBase, ConflictSetElement) - Constructor for class jeops.ConflictSetEvent

Class constructor.

ConflictSetListener - interface jeops.ConflictSetListener.

The listener interface for receiving conflict set events.

conflictSetListeners - Variable in class jeops.AbstractKnowledgeBase

The set of conflict set listeners.

Constants - interface jeops.examples.monkeys.Constants.

Useful constants for the monkey and bananas problem.

convert() - Method in class jeops.compiler.Main

Creates a java source file that behaves as defined in the rules file.

convertedRuleDeclarations - Variable in class jeops.compiler.Main

The converted declarations of the current rule.

convertedRuleLocalDeclarations - Variable in class jeops.compiler.Main

The converted local declarations of the current rule.

convertRule(PrintWriter) - Method in class jeops.compiler.Main

Converts a rule into a set of java methods.

convertRuleActions(PrintWriter) - Method in class jeops.compiler.Main

Processes the actions part of a rule.

convertRuleConditions(PrintWriter) - Method in class jeops.compiler.Main

Processes the conditions part of a rule.

convertRuleDeclarations(PrintWriter) - Method in class jeops.compiler.Main

Processes the declaration part of a rule.

convertRuleLocalDeclarations(PrintWriter) - Method in class jeops.compiler.Main

Processes the local declarations part of a rule.

Couch - class jeops.examples.monkeys.Couch.

A couch in the monkey and bananas world.

Couch() - Constructor for class jeops.examples.monkeys.Couch

Class constructor.

Couch(Point) - Constructor for class jeops.examples.monkeys.Couch

Class constructor.

createReteEntryPoints(int) - Method in class jeops.AbstractKnowledgeBase

Stores in the entryPoints field all the entry points for a given rule.

createReteNetwork() - Method in class jeops.AbstractKnowledgeBase

Creates the Rete network that will be used in this knowledge base.

createRuleBase() - Method in class jeops.AbstractKnowledgeBase

Factory method, used to instantiate the actual rule base.

currentColumn - Variable in class jeops.compiler.parser.Scanner

The current column from the file.

currentLine - Variable in class jeops.compiler.parser.Scanner

The current line from the file.

currentToken - Variable in class jeops.compiler.parser.Scanner

The current token.

D

debug - Variable in class jeops.AbstractKnowledgeBase

Flag indicating whether there is any listener for rule events in this knowledge base.

debug - Variable in class jeops.conflict.AbstractConflictSet

Flag indicating whether there is some registered listener.

DECLARATIONS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word declarations.

declaredClassNames - Variable in class jeops.compiler.Main

The classes of the identifiers generated in the new java file.

declIndex - Variable in class jeops.rete.JoinReteNode

declIndex - Variable in class jeops.rete.FilterReteNode

DefaultConflictSet - class jeops.conflict.DefaultConflictSet.

A default conflict set, whose conflict resolution policy is not specified.

DefaultConflictSet() - Constructor for class jeops.conflict.DefaultConflictSet

Class constructor.

description - Variable in class jeops.examples.monkeys.ObjectOPS

A description of this object.

description - Variable in class jeops.examples.monkeys.PhysicalObject

A description of this object.

destination - Variable in class jeops.examples.hanoi.Hanoi

The pin the disks have to be moved to.

discs - Variable in class jeops.examples.hanoi.Hanoi

The number of discs in this problem.

DOT - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a dot.

drop() - Method in class jeops.examples.monkeys.Monkey

Drops the object this monkey is holding.

dump() - Method in class jeops.examples.queens.Queen

Prints this queen.

dump(int) - Method in class jeops.examples.hanoi.Hanoi

Prints the tree for this instance of the Hanoi problem.

dump(int) - Method in class jeops.examples.queens.Queen

Prints this queen with the specified identation.

E

element - Variable in class jeops.ConflictSetEvent

The element that was added/removed.

element - Variable in class jeops.conflict.InternalConflictSetEvent

The element that was added or removed.

elementAdded(ConflictSetElement) - Method in class jeops.conflict.AbstractConflictSet

Callback method, used to indicate that an element has been added to this conflict set.

elementAdded(ConflictSetEvent) - Method in interface jeops.ConflictSetListener

Invoked when an element is added to the conflict set.

elementRemoved(ConflictSetElement) - Method in class jeops.conflict.AbstractConflictSet

Callback method, used to indicate that an element has been removed from this conflict set.

elementRemoved(ConflictSetEvent) - Method in interface jeops.ConflictSetListener

Invoked when an element is removed from the conflict set.

ensureFireableRulesCapacity(int) - Method in class jeops.conflict.PriorityConflictSet

Auxiliar method that ensures that the fireable rules vector has as many elements as the given integer.

ensureFireableRulesCapacity(int) - Method in class jeops.conflict.LRUConflictSet

Auxiliar method that ensures that the fireable rules vector has as many elements as the given integer.

ensureFireableRulesCapacity(int) - Method in class jeops.conflict.MRUConflictSet

Auxiliar method that ensures that the fireable rules vector has as many elements as the given integer.

ensureFireableRulesCapacity(int) - Method in class jeops.conflict.OneShotConflictSet

Auxiliar method that ensures that the fireable rules vector has as many elements as the given integer.

entryPoints - Variable in class jeops.AbstractKnowledgeBase

The map that takes class names into the entry points of the Rete network.

EOF - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is EOF.

EOF_TOKEN - Static variable in class jeops.compiler.parser.Token

The EOF token.

EQUALS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is an equals sign.

equals(Object) - Method in class jeops.AbstractRuleBase

equals(Object) - Method in class jeops.conflict.ConflictSetElement

Compares this object with the given one.

equals(Object) - Method in class jeops.rete.PairIntReteNode

Compares the given object with this one.

equals(Object) - Method in class jeops.examples.monkeys.MEAConflictSet.CSEComparator

Indicates whether some other object is "equal to" this Comparator.

ERROR - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is an error.

EXTENDS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word extends.

F

Fact - class jeops.examples.factorial.Fact.

Class used to solve the factorial problem (N!) with JEOPS.

Fact(int) - Constructor for class jeops.examples.factorial.Fact

Class constructor.

Fibonacci - class jeops.examples.fibonacci.Fibonacci.

This class models an encapsulation for a solution for the Fibonacci series.

Fibonacci(int) - Constructor for class jeops.examples.fibonacci.Fibonacci

Class constructor.

FilterReteNode - class jeops.rete.FilterReteNode.

A discriminant node in the Rete network.

FilterReteNode(AbstractKnowledgeBase, AbstractRuleBase, int, int) - Constructor for class jeops.rete.FilterReteNode

Creates a new discriminant rete node.

FinalReteNode - class jeops.rete.FinalReteNode.

A final node in the Rete network.

FinalReteNode(int, AbstractKnowledgeBase, int) - Constructor for class jeops.rete.FinalReteNode

Creates a new discriminant rete node.

fireableRules - Variable in class jeops.conflict.PriorityConflictSet

The vector where the fireable rules are stored.

fireableRules - Variable in class jeops.conflict.LRUConflictSet

The vector where the fireable rules are stored.

fireableRules - Variable in class jeops.conflict.DefaultConflictSet

The vector where the fireable rules are stored.

fireableRules - Variable in class jeops.conflict.MRUConflictSet

The vector where the fireable rules are stored.

fireableRules - Variable in class jeops.conflict.OneShotConflictSet

The vector where the fireable rules are stored.

fireElementAddedEvent(ConflictSetEvent) - Method in class jeops.AbstractKnowledgeBase

Dispatch an element added event to all registered listeners.

fireElementRemovedEvent(ConflictSetEvent) - Method in class jeops.AbstractKnowledgeBase

Dispatch an element removed event to all registered listeners.

fireInternalElementAddedEvent(InternalConflictSetEvent) - Method in class jeops.conflict.AbstractConflictSet

Dispatch an internal element added event to all registered listeners.

fireInternalElementRemovedEvent(InternalConflictSetEvent) - Method in class jeops.conflict.AbstractConflictSet

Dispatch an internal element removed event to all registered listeners.

fireRule(int) - Method in class jeops.AbstractRuleBase

Fires one of the rules in this rule base.

fireRuleFiredEvent(RuleEvent) - Method in class jeops.AbstractKnowledgeBase

Dispatch a rule fired event to all registered listeners.

fireRuleFiringEvent(RuleEvent) - Method in class jeops.AbstractKnowledgeBase

Dispatch a rule firing event to all registered listeners.

FLOOR - Static variable in interface jeops.examples.monkeys.Constants

Common objects: the floor.

flush() - Method in class jeops.AbstractRuleBase

Removes all the objects from this rule base.

flush() - Method in class jeops.ObjectBase

Removes all objects of this base.

flush() - Method in class jeops.AbstractKnowledgeBase

Remove all facts (objects) of the object base.

flush() - Method in class jeops.conflict.PriorityConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in interface jeops.conflict.ConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.conflict.LRUConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.conflict.DefaultConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.conflict.NaturalConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.conflict.MRUConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.conflict.OneShotConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

flush() - Method in class jeops.rete.FinalReteNode

Remove all objects that may be stored in this node.

flush() - Method in class jeops.rete.JoinReteNode

Remove all objects that may be stored in this node.

flush() - Method in class jeops.examples.monkeys.MEAConflictSet

Removes all rules from this conflict set, as well as cleaning any history that might have been stored.

forbiddenClasses - Variable in class jeops.AbstractKnowledgeBase

The set of classes whose objects can't be inserted into the Rete network (because there is no compatible entry node).

G

general() - Static method in class jeops.examples.monkeys.TestMonkeys

Generates the general instance of the problem.

generalOnLadder() - Static method in class jeops.examples.monkeys.TestMonkeys

Generates a general instance of the problem, where the monkey is on a ladder.

generalOnLadder2() - Static method in class jeops.examples.monkeys.TestMonkeys

Generates a second general instance of the problem, where the monkey is on a ladder.

generalOnLadderImpossible() - Static method in class jeops.examples.monkeys.TestMonkeys

Generates an impossible goal.

genericImportStatements - Variable in class jeops.compiler.ImportList

The set of generic import statements.

getAt() - Method in class jeops.examples.monkeys.ObjectOPS

Returns the position of this object.

getAt() - Method in class jeops.examples.monkeys.PhysicalObject

Returns the position of this object.

getClassFilterSuccessors() - Method in class jeops.rete.ClassFilterReteNode

Returns the successors of this node.

getClassType() - Method in class jeops.rete.ClassFilterReteNode

Returns the class object associated with this node.

getColumn() - Method in class jeops.compiler.JeopsException

Returns the column number in the rule file where there is the problem that caused this exception.

getColumn() - Method in class jeops.examples.queens.Queen

Returns the column of this queen.

getCurrentColumn() - Method in class jeops.compiler.parser.Scanner

Returns the current column from the file.

getCurrentLine() - Method in class jeops.compiler.parser.Scanner

Returns the current line from the file.

getDeclaredClass(int, int) - Method in class jeops.AbstractRuleBase

Returns the class of an object declared in a rule.

getDeclaredClassName(int, int) - Method in class jeops.AbstractRuleBase

Returns the class name of an object declared in a rule.

getDeclaredIdentifiers(int) - Method in class jeops.AbstractRuleBase

Returns the identifiers declared in a given rule.

getDescription() - Method in class jeops.examples.monkeys.ObjectOPS

Returns a description of this object.

getDescription() - Method in class jeops.examples.monkeys.PhysicalObject

Returns a description of this object.

getDestination() - Method in class jeops.examples.hanoi.Hanoi

Returns the destination pin for this problem.

getDiscs() - Method in class jeops.examples.hanoi.Hanoi

Returns the number of discs of this problem.

getElement() - Method in class jeops.ConflictSetEvent

Returns the element that was added/removed.

getElement() - Method in class jeops.conflict.InternalConflictSetEvent

Returns the element that was added or removed.

getEntryPoint(Class) - Method in class jeops.AbstractKnowledgeBase

Returns the entry point of the rete network from where an object of a given class must enter.

getIntermediate() - Method in class jeops.examples.hanoi.Hanoi

Returns the intermediate pin form this problem.

getIntValue() - Method in class jeops.rete.PairIntReteNode

Returns the integer value of this pair.

getKnowledgeBase() - Method in class jeops.RuleEvent

Returns the knowledge base that fired the rule.

getKnowledgeBase() - Method in class jeops.ConflictSetEvent

Returns the knowledge base that added or removed the element.

getLastNonWhiteSpaceToken() - Method in class jeops.compiler.parser.Scanner

Returns the last non-whitespace token.

getLexeme() - Method in class jeops.compiler.parser.Token

Returns the lexeme associated with this token.

getLine() - Method in class jeops.compiler.JeopsException

Returns the line number in the rule file where there is the problem that caused this exception.

getN() - Method in class jeops.examples.factorial.Fact

Returns the number whose factorial we are trying to find.

getN() - Method in class jeops.examples.fibonacci.Fibonacci

Returns the order of this element of the series.

getNode() - Method in class jeops.rete.PairIntReteNode

Returns the rete node of this pair.

getNumberInputs() - Method in class jeops.rete.ReteNode

Returns the number of inputs of this node.

getNumberOfConditions() - Method in class jeops.AbstractRuleBase

Returns the number of conditions of the rules in this rule base.

getNumberOfDeclarations() - Method in class jeops.AbstractRuleBase

Returns the number of declarations of the rules in this rule base.

getNumberOfRules() - Method in class jeops.AbstractRuleBase

Returns the number of rules in this base.

getNumberOutputs() - Method in class jeops.rete.ReteNode

Returns the number of outputs of this node.

getObject() - Method in class jeops.examples.monkeys.Goal

Returns the object associated with this goal.

getObject(int, int) - Method in class jeops.AbstractRuleBase

Returns an object that represents a declaration of some rule.

getObjectHeld() - Method in class jeops.examples.monkeys.Monkey

Returns the object this monkey holds.

getObjects() - Method in class jeops.conflict.ConflictSetElement

Returns the objects bound to the declared variables.

getObjects(int) - Method in class jeops.AbstractRuleBase

Returns all variables bound to the declarations of some rule.

getOn() - Method in class jeops.examples.monkeys.ObjectOPS

Returns the object over which this one is on.

getOn() - Method in class jeops.examples.monkeys.PhysicalObject

Returns the object over which this one is on.

getRepresentingClass(String) - Method in class jeops.compiler.ImportList

Returns the class that is represented by the given identifier for this import list.

getResult() - Method in class jeops.examples.factorial.Fact

Returns the factorial of n.

getRow() - Method in class jeops.examples.queens.Queen

Returns the row of this queen.

getRuleBase() - Method in class jeops.AbstractKnowledgeBase

Returns the (production) rule base of this knowledge base.

getRuleIndex() - Method in class jeops.AbstractRuleBase

Returns the index of the rule that has the focus.

getRuleIndex() - Method in class jeops.RuleEvent

Returns the index of the fired rule.

getRuleIndex() - Method in class jeops.conflict.ConflictSetElement

Returns the index of the fireable rule.

getRuleNames() - Method in class jeops.AbstractRuleBase

Returns the name of the rules in this rule base.

getSon1() - Method in class jeops.examples.fibonacci.Fibonacci

Returns the first subproblem used to solve this recursion.

getSon2() - Method in class jeops.examples.fibonacci.Fibonacci

Returns the second subproblem used to solve this recursion.

getSource() - Method in class jeops.examples.hanoi.Hanoi

Returns the source pin for this problem.

getSub1() - Method in class jeops.examples.hanoi.Hanoi

Returns the first subproblem for this problem.

getSub2() - Method in class jeops.examples.hanoi.Hanoi

Returns the second subproblem for this problem.

getSubProblem() - Method in class jeops.examples.factorial.Fact

Returns the factorial of (n - 1).

getSuccessors() - Method in class jeops.rete.ReteNode

Returns the successors of this node.

getTimestamp() - Method in class jeops.conflict.ConflictSetElement

Returns the timestamp of this element.

getTo() - Method in class jeops.examples.monkeys.Goal

Returns the destiny of this goal (if applicable)

getTokenType() - Method in class jeops.compiler.parser.Token

Returns the type of this token.

getType() - Method in class jeops.examples.monkeys.Goal

Returns the type of this goal, which can be one of (HOLD, AT, ON).

getValue() - Method in class jeops.examples.fibonacci.Fibonacci

Returns the value of this element of the series.

getWeight() - Method in class jeops.examples.monkeys.ObjectOPS

Returns the weight of this object.

getWeight() - Method in class jeops.examples.monkeys.PhysicalObject

Returns the weight of this object.

Goal - class jeops.examples.monkeys.Goal.

A goal of the agent in the monkey and bananas world.

Goal(int) - Constructor for class jeops.examples.monkeys.Goal

Class constructor.

goTo(Point) - Method in class jeops.examples.monkeys.Monkey

Go somewhere.

H

Hanoi - class jeops.examples.hanoi.Hanoi.

This class models an encapsulation for a solution for the Towers of Hanoi problem.

Hanoi(int, int, int) - Constructor for class jeops.examples.hanoi.Hanoi

Class constructor.

hashCode() - Method in class jeops.AbstractRuleBase

hashCode() - Method in class jeops.conflict.ConflictSetElement

Returns a hash code for this object.

hashCode() - Method in class jeops.rete.PairIntReteNode

Returns a hash code for this object.

HEAVY - Static variable in interface jeops.examples.monkeys.Constants

Weight constants: heavy.

history - Variable in class jeops.conflict.LRUConflictSet

The history of rule firings.

history - Variable in class jeops.conflict.NaturalConflictSet

The history rule firing.

history - Variable in class jeops.conflict.MRUConflictSet

The history of rule firings.

history - Variable in class jeops.conflict.OneShotConflictSet

The history of rule firings.

HOLD - Static variable in interface jeops.examples.monkeys.Constants

Goal type: to HOLD something.

holdsNothing() - Method in class jeops.examples.monkeys.Monkey

Checks whether this monkey holds something.

holdsSomething() - Method in class jeops.examples.monkeys.Monkey

Checks whether this monkey holds something.

I

IDENT - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is an identifier.

idOrReserved(String) - Method in class jeops.compiler.parser.Scanner

Returns a token that can be an identifier or a reserved word.

IMPLEMENTS - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word implements.

IMPORT - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word import.

ImportException - exception jeops.compiler.ImportException.

An exception thrown by the import list when an identifier can represent more than one class (ambiguity).

ImportException() - Constructor for class jeops.compiler.ImportException

Constructs an ImportException with no detail message.

ImportException(String) - Constructor for class jeops.compiler.ImportException

Constructs an ImportException with the specified detail message.

importList - Variable in class jeops.compiler.Main

The import list of this rule base.

ImportList - class jeops.compiler.ImportList.

A list of import statements.

ImportList() - Constructor for class jeops.compiler.ImportList

Class constructor for rule bases in the default package.

ImportList(String) - Constructor for class jeops.compiler.ImportList

Class constructor.

insertElement(ConflictSetElement) - Method in class jeops.conflict.PriorityConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in interface jeops.conflict.ConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.conflict.LRUConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.conflict.DefaultConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.conflict.NaturalConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.conflict.MRUConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.conflict.OneShotConflictSet

Inserts a rule instantiation.

insertElement(ConflictSetElement) - Method in class jeops.examples.monkeys.MEAConflictSet

Inserts a rule instantiation.

insertImplementedInterfaces(Class, String) - Method in class jeops.ObjectBase

Inserts a pairs into the subClass map for the given class, as well as the corresponding pairs for the superinterfaces of the given one.

insertInheritancePair(String, String) - Method in class jeops.ObjectBase

Inserts a new pair .

InternalConflictSetEvent - class jeops.conflict.InternalConflictSetEvent.

A semantic event that indicates that an element was added to or removed from a conflict set.

InternalConflictSetEvent(ConflictSet, ConflictSetElement) - Constructor for class jeops.conflict.InternalConflictSetEvent

Class constructor.

InternalConflictSetListener - interface jeops.conflict.InternalConflictSetListener.

The listener interface for receiving conflict set events.

internalElementAdded(InternalConflictSetEvent) - Method in class jeops.AbstractKnowledgeBase

Invoked when an element is added to the conflict set.

internalElementAdded(InternalConflictSetEvent) - Method in interface jeops.conflict.InternalConflictSetListener

Invoked when an element is added to the conflict set.

internalElementRemoved(InternalConflictSetEvent) - Method in class jeops.AbstractKnowledgeBase

Invoked when an element is removed from the conflict set.

internalElementRemoved(InternalConflictSetEvent) - Method in interface jeops.conflict.InternalConflictSetListener

Invoked when an element is removed from the conflict set.

internalFireRule(int) - Method in class jeops.AbstractRuleBase

Fires one of the rules in this rule base.

intValue - Variable in class jeops.rete.PairIntReteNode

The integer value.

isActive() - Method in class jeops.examples.monkeys.Goal

Checks whether this goal is active.

isAt(Point) - Method in class jeops.examples.monkeys.ObjectOPS

Checks whether this object is at a given position.

isAt(Point) - Method in class jeops.examples.monkeys.PhysicalObject

Checks whether this object is at a given position.

isDeclared(Object) - Method in class jeops.conflict.ConflictSetElement

Checks whether a given object is one of the objects bound to the declared variables in this element.

isEmpty() - Method in class jeops.conflict.PriorityConflictSet

Checks whether this set has any elements.

isEmpty() - Method in interface jeops.conflict.ConflictSet

Checks whether this set has any elements.

isEmpty() - Method in class jeops.conflict.LRUConflictSet

Checks whether this set has any elements.

isEmpty() - Method in class jeops.conflict.DefaultConflictSet

Checks whether this set has any elements.

isEmpty() - Method in class jeops.conflict.MRUConflictSet

Checks whether this set has any elements.

isEmpty() - Method in class jeops.conflict.OneShotConflictSet

Checks whether this set has any elements.

isEmpty() - Method in class jeops.examples.monkeys.MEAConflictSet

Checks whether this set has any elements.

isHolding(PhysicalObject) - Method in class jeops.examples.monkeys.Monkey

Checks whether this monkey holds a given object.

isListener - Variable in class jeops.AbstractKnowledgeBase

Indicates whether this knowledge base is a listener of its conflict set.

isOk() - Method in class jeops.examples.factorial.Fact

Checks whether this problem is already solved.

isOk() - Method in class jeops.examples.hanoi.Hanoi

Returns the state of this problem.

isOn(Object) - Method in class jeops.examples.monkeys.ObjectOPS

Checks whether this object is on a given object.

isOn(Object) - Method in class jeops.examples.monkeys.PhysicalObject

Checks whether this object is on a given object.

isSatisfied() - Method in class jeops.examples.monkeys.Goal

Checks whether this goal is satisfied.

its - Variable in class jeops.rete.JoinReteNode

Iterator array, defined as an attribute for efficiency purposes only.

J

JavaCompiler - class jeops.compiler.JavaCompiler.

Auxiliar class that compiles java files into bytecodes (.class files).

JavaCompiler() - Constructor for class jeops.compiler.JavaCompiler

javaFileName - Variable in class jeops.compiler.Main

The name of the generated java file.

jeops - package jeops

The Runtime Environment for JEOPS.

jeops.compiler - package jeops.compiler

The Compiler that translates rules files into java files.

jeops.compiler.parser - package jeops.compiler.parser

Package that contains auxiliar classes used by the compiler to perform its duties.

jeops.conflict - package jeops.conflict

The predefined conflict resolution policies that can be used in knowledge bases generated by JEOPS.

jeops.examples.factorial - package jeops.examples.factorial

A solution to the factorial problem using JEOPS.

jeops.examples.fibonacci - package jeops.examples.fibonacci

A solution to the Fibonacci problem using JEOPS.

jeops.examples.hanoi - package jeops.examples.hanoi

A solution to the Towers of Hanoi problem using JEOPS.

jeops.examples.monkeys - package jeops.examples.monkeys

A solution to the Monkey and Bananas problem using JEOPS.

jeops.examples.queens - package jeops.examples.queens

A solution to the 8-Queens problem using JEOPS.

jeops.rete - package jeops.rete

The classes that implement the nodes of the Rete network implemented in JEOPS.

JeopsException - exception jeops.compiler.JeopsException.

An exception thrown by JEOPS.

JeopsException(int, int) - Constructor for class jeops.compiler.JeopsException

Constructs a JeopsException with no detail message.

JeopsException(String, int, int) - Constructor for class jeops.compiler.JeopsException

Constructs a JeopsException with the specified detail message.

JoinReteNode - class jeops.rete.JoinReteNode.

A node in the Rete network that has more than one input, so that objects coming from distinct parts of the network are joined together in instances of this class.

JoinReteNode(int, AbstractRuleBase, int, int) - Constructor for class jeops.rete.JoinReteNode

Class constructor.

jumpOn(PhysicalObject) - Method in class jeops.examples.monkeys.Monkey

Jumps on some object.

K

knowledgeBase - Variable in class jeops.AbstractRuleBase

The knowledge base that contains this rule base.

knowledgeBase - Variable in class jeops.rete.FinalReteNode

The knowledge base that will receive the elements to pass them to the conflict set.

knowledgeBase - Variable in class jeops.rete.FilterReteNode

The rule base used to check the validity of the property of the incoming objects.

L

Ladder - class jeops.examples.monkeys.Ladder.

A ladder in the monkey and bananas world.

Ladder() - Constructor for class jeops.examples.monkeys.Ladder

Class constructor.

Ladder(Point) - Constructor for class jeops.examples.monkeys.Ladder

Class constructor.

lastChar - Variable in class jeops.compiler.parser.Scanner

The last char read from the file.

lastDeclForLocalDecl - Variable in class jeops.compiler.Main

The index of the last declared identifier used by some rule local declaration.

lastNonWhiteSpaceToken - Variable in class jeops.compiler.parser.Scanner

The last non-whitespace token.

lexeme - Variable in class jeops.compiler.parser.Token

The lexeme associated with this token.

LIGHT - Static variable in interface jeops.examples.monkeys.Constants

Weight constants: light.

line - Variable in class jeops.compiler.JeopsException

The line number in the rule file where there is the problem that caused this exception.

listeners - Variable in class jeops.conflict.AbstractConflictSet

The event listeners.

LOCALDECL - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word localdecl.

localDeclClasses - Variable in class jeops.compiler.Main

Vector (of vectors) of the classes of the local declarations.

LRUConflictSet - class jeops.conflict.LRUConflictSet.

A conflict set whose conflict resolution policy is one that the least recently fired rules have priority over the remaining ones.

LRUConflictSet() - Constructor for class jeops.conflict.LRUConflictSet

Class constructor.

M

Main - class jeops.compiler.Main.

Main class in the Jeops phase of converting rule files into Java classes.

Main(String) - Constructor for class jeops.compiler.Main

Class constructor.

main(String[]) - Static method in class jeops.compiler.JavaCompiler

Test method for this class.

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

Test method for this class.

main(String[]) - Static method in class jeops.compiler.parser.Scanner

Test method for this class.

main(String[]) - Static method in class jeops.examples.factorial.TestFact

Starts the application.

main(String[]) - Static method in class jeops.examples.fibonacci.TestFibonacci

Starts the application.

main(String[]) - Static method in class jeops.examples.hanoi.TestHanoi

Starts the application.

main(String[]) - Static method in class jeops.examples.hanoi.Test

main(String[]) - Static method in class jeops.examples.monkeys.TestMonkeys

Tests the application.

main(String[]) - Static method in class jeops.examples.queens.TestQueens

Main entry point of the application.

mb - Static variable in class jeops.examples.monkeys.TestMonkeys

The knowledge base.

MEAConflictSet - class jeops.examples.monkeys.MEAConflictSet.

The conflict resolution policy used to solve the monkeys and bananas problem.

MEAConflictSet.CSEComparator - class jeops.examples.monkeys.MEAConflictSet.CSEComparator.

Inner class used to compare two conflict set elements (CSEs)

MEAConflictSet.CSEComparator() - Constructor for class jeops.examples.monkeys.MEAConflictSet.CSEComparator

MEAConflictSet() - Constructor for class jeops.examples.monkeys.MEAConflictSet

Class constructor.

modified(Object) - Method in class jeops.AbstractRuleBase

Tells this base that an object was modified, so that the rules can be retested against the object.

modified(Object) - Method in class jeops.AbstractKnowledgeBase

Informs this base that an object was modified, so that the rules can be retested against the object.

Monkey - class jeops.examples.monkeys.Monkey.

An agent in the monkey and bananas world.

Monkey() - Constructor for class jeops.examples.monkeys.Monkey

Class constructor.

Monkey(Point) - Constructor for class jeops.examples.monkeys.Monkey

Class constructor.

Monkey(String, Point) - Constructor for class jeops.examples.monkeys.Monkey

Class constructor.

MRUConflictSet - class jeops.conflict.MRUConflictSet.

A conflict set whose conflict resolution policy is one that the most recently fired rules have priority over the remaining ones.

MRUConflictSet() - Constructor for class jeops.conflict.MRUConflictSet

Class constructor.

N

n - Variable in class jeops.examples.factorial.Fact

The number whose factorial we are trying to find.

n - Variable in class jeops.examples.fibonacci.Fibonacci

The order of this element of the series.

NaturalConflictSet - class jeops.conflict.NaturalConflictSet.

A conflict set whose conflict resolution policy specifies that no rule can be fired more than once with the same objects.

NaturalConflictSet() - Constructor for class jeops.conflict.NaturalConflictSet

Class constructor.

newFirableRule(int, Object[]) - Method in class jeops.AbstractKnowledgeBase

Receives a message from the Rete network indicating that the given rule and objects should be inserted into the conflict set.

newObject(Object) - Method in class jeops.rete.ClassFilterReteNode

Informs this node that an object has arrived.

newObject(Object, int) - Method in class jeops.rete.ReteNode

Informs this node that an object has arrived.

newObject(Object, int) - Method in class jeops.rete.FinalReteNode

Informs this node that an object has arrived.

newObject(Object, int) - Method in class jeops.rete.JoinReteNode

Informs this node that an object has arrived.

newObject(Object, int) - Method in class jeops.rete.FilterReteNode

Informs this node that an object has arrived.

newObject(Object, int) - Method in class jeops.rete.ClassFilterReteNode

Informs this node that an object has arrived.

nextElement() - Method in class jeops.conflict.PriorityConflictSet

Returns the next rule to be fired.

nextElement() - Method in interface jeops.conflict.ConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.conflict.LRUConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.conflict.DefaultConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.conflict.NaturalConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.conflict.MRUConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.conflict.OneShotConflictSet

Returns the next rule to be fired.

nextElement() - Method in class jeops.examples.monkeys.MEAConflictSet

Returns the next rule to be fired.

nextToken() - Method in class jeops.compiler.parser.Scanner

Returns the next token from the file.

node - Variable in class jeops.rete.PairIntReteNode

The rete node.

NoMoreElementsException - exception jeops.conflict.NoMoreElementsException.

This class defines an exception that will be thrown when there aren't more rules to be fired in a conflict set.

NoMoreElementsException() - Constructor for class jeops.conflict.NoMoreElementsException

Creates a new NoMoreElementsException, without a detailed message.

NoMoreElementsException(String) - Constructor for class jeops.conflict.NoMoreElementsException

Creates a new NoMoreElementsException with a given detail message.

NONE_ABOVE - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is none of the above.

numberInputs - Variable in class jeops.rete.ReteNode

The number of inputs of this node.

numberOfConditions - Variable in class jeops.compiler.Main

The number of conditions in each rule.

numberOfDeclarations - Variable in class jeops.compiler.Main

The number of declarations in each rule.

numberOfLocalDeclarations - Variable in class jeops.compiler.Main

The number of local declarations in each rule.

numberOfRules - Variable in class jeops.AbstractKnowledgeBase

The number of rules in the rule base.

numberOutputs - Variable in class jeops.rete.ReteNode

The number of outputs of this node.

O

object - Variable in class jeops.examples.monkeys.Goal

The object associated with this goal.

objectBase - Variable in class jeops.AbstractKnowledgeBase

The fact (object) base.

ObjectBase - class jeops.ObjectBase.

This class models the facts over which the inference engine will act.

ObjectBase() - Constructor for class jeops.ObjectBase

Class constructor.

objectHeld - Variable in class jeops.examples.monkeys.Monkey

The object this monkey holds.

ObjectOPS - class jeops.examples.monkeys.ObjectOPS.

An object in the monkey and bananas world.

ObjectOPS(String, int) - Constructor for class jeops.examples.monkeys.ObjectOPS

Class constructor.

ObjectOPS(String, Point, int) - Constructor for class jeops.examples.monkeys.ObjectOPS

Class constructor.

objects - Variable in class jeops.ObjectBase

The class/objects mapping.

objects - Variable in class jeops.conflict.ConflictSetElement

The objects bound to the declared variables.

objects(String) - Method in class jeops.ObjectBase

Returns the objects of the given class.

objects(String) - Method in class jeops.AbstractKnowledgeBase

Returns the objects of a given class.

ok - Variable in class jeops.examples.factorial.Fact

Flag indicating whether this problem is already solved.

ok - Variable in class jeops.examples.hanoi.Hanoi

Flag which indicates whether this problem is solved.

on - Variable in class jeops.examples.monkeys.ObjectOPS

The object over which this one is on.

on - Variable in class jeops.examples.monkeys.PhysicalObject

The object over which this one is on.

ON - Static variable in interface jeops.examples.monkeys.Constants

Goal type: to be ON something.

OneShotConflictSet - class jeops.conflict.OneShotConflictSet.

A conflict set whose conflict resolution policy specifies that no rule can be fired more than once.

OneShotConflictSet() - Constructor for class jeops.conflict.OneShotConflictSet

Class constructor.

OPEN_CURLY_BRACKET - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is an open curly bracket.

P

PACKAGE - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word package.

PairIntReteNode - class jeops.rete.PairIntReteNode.

Auxiliar class used to group pairs of integers and rete nodes.

PairIntReteNode(int, ReteNode) - Constructor for class jeops.rete.PairIntReteNode

Class constructor.

PhysicalObject - class jeops.examples.monkeys.PhysicalObject.

An object in the monkey and bananas world.

PhysicalObject(String, int) - Constructor for class jeops.examples.monkeys.PhysicalObject

Class constructor.

PhysicalObject(String, Point, int) - Constructor for class jeops.examples.monkeys.PhysicalObject

Class constructor.

possibleFileNames(String) - Method in class jeops.compiler.ImportList

Returns the possible file names an identifier can represent, based on this import list.

printSolution() - Method in class jeops.examples.hanoi.Hanoi

Prints the tree for this instance of the Hanoi problem.

PriorityConflictSet - class jeops.conflict.PriorityConflictSet.

A conflict set whose conflict resolution policy is one that rules defined first in the rule base have a higher priority over the ones defined below it.

PriorityConflictSet() - Constructor for class jeops.conflict.PriorityConflictSet

Class constructor.

processEndOfRuleBase(PrintWriter) - Method in class jeops.compiler.Main

Processes the end of the rule base, adding control information.

processImport(PrintWriter) - Method in class jeops.compiler.Main

Processes an import statement of a rule base.

processPackage(PrintWriter) - Method in class jeops.compiler.Main

Processes the package statement of a rule base.

propagate(Object, int) - Method in class jeops.rete.ReteNode

Propagates the objects from this node to the successors.

PUBLIC - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word public.

Q

Queen - class jeops.examples.queens.Queen.

Represents a queen in a chess board.

Queen(int, int) - Constructor for class jeops.examples.queens.Queen

Class constructor.

R

reader - Variable in class jeops.compiler.parser.Scanner

The reader used to get the characters from the rules file.

readNextChar() - Method in class jeops.compiler.parser.Scanner

Reads the next char in the file, storing it in "lastChar".

readNextToken() - Method in class jeops.compiler.Main

Reads the next token from the scanner, throwing an exception in case of an error.

remove(Object) - Method in class jeops.ObjectBase

Removes an object from this object base.

remove(Object) - Method in class jeops.rete.FinalReteNode

Remove the following objects that may be stored in this node.

remove(Object) - Method in class jeops.rete.JoinReteNode

Remove the given object from the memory of this node.

removeConflictSetListener(RuleFireListener) - Method in class jeops.AbstractKnowledgeBase

Removes the specified conflict set listener so that it no longer receives conflict set events from this knowledge base.

removeElementsWith_1D(Vector, Object) - Method in class jeops.conflict.AbstractConflictSet

Auxiliar method, used to remove the elements that use a given object in its instantiations.

removeElementsWith_2D(Vector, Object) - Method in class jeops.conflict.AbstractConflictSet

Auxiliar method, used to remove the elements that use a given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.conflict.PriorityConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in interface jeops.conflict.ConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.conflict.LRUConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.conflict.DefaultConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.conflict.MRUConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.conflict.OneShotConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeElementsWith(Object) - Method in class jeops.examples.monkeys.MEAConflictSet

Remove all elements from this set that uses the given object in its instantiations.

removeInternalConflictSetListener(InternalConflictSetListener) - Method in class jeops.conflict.AbstractConflictSet

Removes the specified listener so that it no longer receives events from this conflict set.

removeInternalConflictSetListener(InternalConflictSetListener) - Method in interface jeops.conflict.ConflictSet

Removes the specified listener so that it no longer receives events from this conflict set.

removeRuleFireListener(RuleFireListener) - Method in class jeops.AbstractKnowledgeBase

Removes the specified rule fire listener so that it no longer receives rule fire events from this knowledge base.

reservedWords - Static variable in class jeops.compiler.parser.Scanner

The list of reserved words.

result - Variable in class jeops.examples.factorial.Fact

The factorial of n.

ReteNode - class jeops.rete.ReteNode.

A node in the Rete network.

ReteNode(int, int) - Constructor for class jeops.rete.ReteNode

Creates a new rete node.

retract(Object) - Method in class jeops.AbstractRuleBase

Removes an object from this rule base.

retract(Object) - Method in class jeops.AbstractKnowledgeBase

Removes a given object from this knowledge base.

row - Variable in class jeops.examples.queens.Queen

The row of the board (1-8).

RULE - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word rule.

RULE_BASE - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is the reserved word ruleBase.

ruleBase - Variable in class jeops.AbstractKnowledgeBase

The (production) rule base.

ruleBase - Variable in class jeops.rete.JoinReteNode

The rule base used to check the validity of the property of the incoming objects.

ruleBase - Variable in class jeops.rete.FilterReteNode

The rule base used to check the validity of the property of the incoming objects.

ruleBaseName - Variable in class jeops.compiler.Main

The name of this rule base.

ruleDeclarations - Variable in class jeops.compiler.Main

The declarations of the current rule.

RuleEvent - class jeops.RuleEvent.

A semantic event that indicates that a rule was fired.

RuleEvent(AbstractKnowledgeBase, int) - Constructor for class jeops.RuleEvent

Class constructor.

ruleFileName - Variable in class jeops.compiler.Main

The name of the rules file.

ruleFileName - Variable in class jeops.compiler.parser.Scanner

The name of the rules file.

ruleFired(RuleEvent) - Method in interface jeops.RuleFireListener

Invoked right after a rule is fired.

RuleFireListener - interface jeops.RuleFireListener.

The listener interface for receiving rule fire events.

ruleFiring(RuleEvent) - Method in interface jeops.RuleFireListener

Invoked right before a rule is fired.

ruleFiringListeners - Variable in class jeops.AbstractKnowledgeBase

The set of rule firing listeners.

ruleIndex - Variable in class jeops.AbstractRuleBase

The index of the rule that has the focus.

ruleIndex - Variable in class jeops.RuleEvent

The index of the fired rule.

ruleIndex - Variable in class jeops.conflict.ConflictSetElement

The index of the fireable rule.

ruleIndex - Variable in class jeops.rete.FinalReteNode

The index of the rule correspondent to this node.

ruleIndex - Variable in class jeops.rete.JoinReteNode

The index of the rule that contains the condition to be checked by this node.

ruleIndex - Variable in class jeops.rete.FilterReteNode

The index of the rule that contains the condition to be checked by this node.

ruleLocalDeclarations - Variable in class jeops.compiler.Main

The local declarations of the current rule.

ruleName - Variable in class jeops.compiler.Main

The name of the rule being converted.

ruleNames - Variable in class jeops.compiler.Main

The names of the rules.

run() - Method in class jeops.AbstractKnowledgeBase

Fires the rules in the rule base with the objects present in the object base, until no rule is fireable anymore.

S

SATISFIED - Static variable in interface jeops.examples.monkeys.Constants

Goal status = satisfied.

scanner - Variable in class jeops.compiler.Main

The scanner used to read from the input file.

Scanner - class jeops.compiler.parser.Scanner.

Class used in the parsing of the rules file.

Scanner(String) - Constructor for class jeops.compiler.parser.Scanner

Class constructor.

searchInterfaces(Class, ClassFilterReteNode) - Method in class jeops.AbstractKnowledgeBase

Searches the interface implementation hierarchy of the given class to see if it can be connected to some entry point of the network.

SEMICOLON - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a semicolon.

set - Variable in class jeops.examples.monkeys.MEAConflictSet

The actual conflict set.

setAt(Point) - Method in class jeops.examples.monkeys.ObjectOPS

Defines the position of this object.

setAt(Point) - Method in class jeops.examples.monkeys.PhysicalObject

Defines the position of this object.

setConflictSet(ConflictSet) - Method in class jeops.AbstractKnowledgeBase

Defines a conflict set policy for this knowledge base.

setObject(int, int, Object) - Method in class jeops.AbstractRuleBase

Sets an object that represents a declaration of some rule.

setObject(PhysicalObject) - Method in class jeops.examples.monkeys.Goal

Sets the object associated with this goal.

setObjectHeld(PhysicalObject) - Method in class jeops.examples.monkeys.Monkey

Defines the object this monkey holds.

setObjects(int, Object[]) - Method in class jeops.AbstractRuleBase

Defines all variables bound to the declarations of some rule.

setOk(boolean) - Method in class jeops.examples.hanoi.Hanoi

Determines whether this problem has already been solved.

setOn(ObjectOPS) - Method in class jeops.examples.monkeys.ObjectOPS

Defines the object over which this one is on.

setOn(PhysicalObject) - Method in class jeops.examples.monkeys.PhysicalObject

Defines the object over which this one is on.

setResult(int) - Method in class jeops.examples.factorial.Fact

Defines the factorial of n.

setRuleBase(AbstractRuleBase) - Method in class jeops.AbstractKnowledgeBase

Defines the (production) rule base of this knowledge base.

setRuleIndex(int) - Method in class jeops.AbstractRuleBase

Defines the index of the rule that has the focus.

setSatisfied() - Method in class jeops.examples.monkeys.Goal

Defines that this goal has been accomplished.

setSon1(Fibonacci) - Method in class jeops.examples.fibonacci.Fibonacci

Defines the first subproblem used to solve this recursion.

setSon2(Fibonacci) - Method in class jeops.examples.fibonacci.Fibonacci

Defines the second subproblem used to solve this recursion.

setSub1(Hanoi) - Method in class jeops.examples.hanoi.Hanoi

Determines the first subproblem for this problem.

setSub2(Hanoi) - Method in class jeops.examples.hanoi.Hanoi

Determines the second subproblem for this problem.

setSubProblem(Fact) - Method in class jeops.examples.factorial.Fact

Defines the factorial of (n - 1).

setTo(Point) - Method in class jeops.examples.monkeys.Goal

Sets the destiny of this goal (if applicable).

setValue(int) - Method in class jeops.examples.fibonacci.Fibonacci

Defines the value of this element in the series.

size - Variable in class jeops.conflict.PriorityConflictSet

The number of elements in this conflict set.

size - Variable in class jeops.conflict.LRUConflictSet

The number of elements in this conflict set.

size - Variable in class jeops.conflict.MRUConflictSet

The number of elements in this conflict set.

size - Variable in class jeops.conflict.OneShotConflictSet

The number of elements in this conflict set.

skipWhiteSpace(PrintWriter, boolean) - Method in class jeops.compiler.Main

Auxiliar method used to advance through white space and comments.

solution - Variable in class jeops.examples.hanoi.Hanoi

The problem solution, made up by a Strings in the form "Disk moved from to ".

son1 - Variable in class jeops.examples.fibonacci.Fibonacci

The first subproblem used to solve this recursion.

son2 - Variable in class jeops.examples.fibonacci.Fibonacci

The second subproblem used to solve this recursion.

source - Variable in class jeops.examples.hanoi.Hanoi

The pin from where the discs come.

specificImportStatements - Variable in class jeops.compiler.ImportList

The set of specific import statements.

status - Variable in class jeops.examples.monkeys.Goal

The status of this goal.

STRING - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is a string constant.

sub1 - Variable in class jeops.examples.hanoi.Hanoi

The first subproblem used to solve this problem.

sub2 - Variable in class jeops.examples.hanoi.Hanoi

The second subproblem used to solve this problem.

subClasses - Variable in class jeops.ObjectBase

The superclasses/subclasses mapping.

subProblem - Variable in class jeops.examples.factorial.Fact

The factorial of (n - 1).

successors - Variable in class jeops.rete.ReteNode

The nodes that succede this one.

T

take(PhysicalObject) - Method in class jeops.examples.monkeys.Monkey

Takes an object.

Test - class jeops.examples.hanoi.Test.

Class used to test the Towers of Hanoi example for JEOPS.

Test() - Constructor for class jeops.examples.hanoi.Test

testAtMonkey() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "atMonkey"

testAtMonkeyObject() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "atMonkeyObject"

testAtObject() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "atObject"

TestFact - class jeops.examples.factorial.TestFact.

Class used to test the Factorial example for JEOPS.

TestFact() - Constructor for class jeops.examples.factorial.TestFact

TestFibonacci - class jeops.examples.fibonacci.TestFibonacci.

Test class for the fibonacci example using JEOPS.

TestFibonacci() - Constructor for class jeops.examples.fibonacci.TestFibonacci

TestHanoi - class jeops.examples.hanoi.TestHanoi.

Class used to test the Towers of Hanoi example for JEOPS.

TestHanoi() - Constructor for class jeops.examples.hanoi.TestHanoi

testHoldsNil() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "holdsNil"

testHoldsObjectCeiling() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "holdsObjectCeiling"

testHoldsObjectCeiling2() - Static method in class jeops.examples.monkeys.TestMonkeys

Second instance of the problem used to test rule "holdsObjectCeiling"

testHoldsObjectCeilingAtObj() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "holdsObjectCeilingAtObj"

testHoldsObjectNotCeilingOnLadder() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "holdsObjectNotCeilingOnLadder"

TestMonkeys - class jeops.examples.monkeys.TestMonkeys.

Class used to test the monkey and bananas implementation.

TestMonkeys() - Constructor for class jeops.examples.monkeys.TestMonkeys

testOn() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test an ON goal

testOnFloor() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onFloor"

testOnFloorSatisfied() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onFloorSatisfied"

testOnPhysicalObject() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onPhysicalObject"

testOnPhysicalObjectAtMonkey() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onPhysicalObjectAtMonkey"

testOnPhysicalObjectHold() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onPhysicalObjectHold"

testOnPhysicalObjectSatisfied() - Static method in class jeops.examples.monkeys.TestMonkeys

Instance of the problem used to test rule "onPhysicalObjectSatisfied"

TestQueens - class jeops.examples.queens.TestQueens.

Test class used to test the eight queens problem solved using JEOPS.

TestQueens() - Constructor for class jeops.examples.queens.TestQueens

thereIsRuleBase - Variable in class jeops.compiler.Main

Flag that indicates whether a rule base is declared in the file.

timestamp - Variable in class jeops.conflict.ConflictSetElement

A timestamp of this element.

to - Variable in class jeops.examples.monkeys.Goal

The destiny of this goal (if it's the case)

token - Variable in class jeops.compiler.Main

The current token.

Token - class jeops.compiler.parser.Token.

Class used to store the tokens read from the rules file.

Token(int, String) - Constructor for class jeops.compiler.parser.Token

Class constructor.

tokenColumn - Variable in class jeops.compiler.parser.Scanner

The column of the first character in the current token.

TokenConstants - interface jeops.compiler.parser.TokenConstants.

Interface used to define the constants used by the tokenization process of the scanning/parser of the rule files.

tokenLine - Variable in class jeops.compiler.parser.Scanner

The line of the first character in the current token.

tokenType - Variable in class jeops.compiler.parser.Token

The type of this token.

toString() - Method in class jeops.conflict.PriorityConflictSet

Returns a string representation of this object.

toString() - Method in class jeops.conflict.ConflictSetElement

Returns a string representation of this object.

toString() - Method in class jeops.compiler.parser.Token

Returns a string representing this token.

toString() - Method in class jeops.rete.PairIntReteNode

Returns a string representation of this object.

toString() - Method in class jeops.rete.FinalReteNode

Returns a string representation of this object.

toString() - Method in class jeops.rete.JoinReteNode

Returns a string representation of this object.

toString() - Method in class jeops.rete.FilterReteNode

Returns a string representation of this object.

toString() - Method in class jeops.rete.ClassFilterReteNode

Returns a string representation of this object.

toString() - Method in class jeops.examples.factorial.Fact

Returns a String representation of this problem.

toString() - Method in class jeops.examples.hanoi.Hanoi

Returns a string representation of this object.

toString() - Method in class jeops.examples.monkeys.Goal

Returns a string representation of this object.

toString() - Method in class jeops.examples.monkeys.ObjectOPS

Returns a string representation of this object.

toString() - Method in class jeops.examples.monkeys.PhysicalObject

Returns a string representation of this object.

toString() - Method in class jeops.examples.queens.Queen

Returns a string representation of this queen.

type - Variable in class jeops.examples.monkeys.Goal

The type of this goal (HOLD, AT, ON)

typeReservedWords - Static variable in class jeops.compiler.parser.Scanner

The token types of the reserved words.

V

value - Variable in class jeops.examples.fibonacci.Fibonacci

The value of the element in the series.

variableIdents - Variable in class jeops.compiler.Main

The list of the identifiers of the instance variables of the generated java file.

variables - Variable in class jeops.compiler.Main

The list of declaration of instance variables of the generated java file.

W

waitingObjects - Variable in class jeops.rete.JoinReteNode

The objects that are "waiting" at some inputs of this node for the arrival of objects in other inputs, in order to be propagated at this node.

weight - Variable in class jeops.examples.monkeys.ObjectOPS

The weight of this object.

weight - Variable in class jeops.examples.monkeys.PhysicalObject

The weight of this object.

WHITE_SPACE - Static variable in interface jeops.compiler.parser.TokenConstants

Constant used to indicate that the token type is white spaces.

writer - Variable in class jeops.compiler.Main

The writer used to create the java file.

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