All Packages  Class Hierarchy

Index of all Fields and Methods

A

A. Variable in class JavaAgent.context.AgentContext

Agent which this context represents.

Action. Variable in class JavaAgent.context.AgentFrame

action(Event, Object). Method in class JavaAgent.context.AgentApplet

Called when an event happens in the AgentApplet.

action(Event, Object). Method in class JavaAgent.context.AgentFrame

Called when an event happens in the AgentFrame.

action(Event, Object). Method in class JavaAgent.context.ANSApplet

Called when an event happens in the ANSApplet.

action(Event, Object). Method in class JavaAgent.context.ComposeMessagePanel

Called when an event happens in the AgentApplet.

action(Event, Object). Method in class JavaAgent.context.LoadMessagePanel

Called when an event happens.

action(Event, Object). Method in class JavaAgent.context.LoadResourcePanel

Called when an event happens.

action(Event, Object). Method in class JavaAgent.context.SystemMessagesPanel

Called when an event happens.

action(Event, Object). Method in class JavaAgent.context.ViewMessagePanel

Called when an event happens.

action(Event, Object). Method in class JavaAgent.context.ViewResourcePanel

Called when an event happens.

actionId. Variable in class JavaAgent.resource.cdl.CDLDescription

the action identifier for this capability

add(KQMLmessage). Method in class JavaAgent.agent.MessageBuffer

Add a message to the buffer.

AddAddress. Variable in class JavaAgent.context.LoadMessagePanel

addAgent(). Method in class JavaAgent.context.AgentContext

Creates the Agent object.

addAgent(). Method in class JavaAgent.context.ANSContext

Creates the ANS object.

addAgent(). Method in class JavaAgent.oplan.OPAgentContext

This function creates the OPAgent and initializes it by calling its init() function.

addAgent(). Method in class JavaAgent.context.SocketContext

Creates an Agent object.

addCapability(String, KQMLmessage, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function gets called when an agent wants to advertise a new capability.

addClosedClause(Clause). Method in class JavaAgent.resource.fopl.RTProver

This function can be used to add Clauses to the Vector of closed Clauses.

addElement(Object, Object, boolean). Method in class JavaAgent.resource.Resource

Synchronized method which adds a new element Object associated with an identifier Object.

addFieldValuePair(String, String). Method in class JavaAgent.resource.KQMLmessage

Sets the value of the field "field".

addFormula(Formula). Method in class JavaAgent.resource.fopl.MultiConFormula

This function adds a new conjunct/disjunct to this Formula if it is not already in there.

addLiteral(Literal). Method in class JavaAgent.resource.fopl.Clause

This function adds a new Literal to this Clause.

addLocation(Object, Object, boolean). Method in class JavaAgent.resource.Resource

Method which adds a location Object associated with an identifier Object.

addOpenClause(Clause). Method in class JavaAgent.resource.fopl.RTProver

This function can be used to add Clauses to the Vector of open Clauses.

addPanel(Panel). Method in class JavaAgent.agent.Agent

If the context supports a GUI, then add the instantiated and intialized panel to a new top-level window.

addPanel(Panel). Method in class JavaAgent.context.AgentContext

Takes a panel created by the Agent and passed through the MessageOutput object and displays it in a new top-level window.

addPanel(Panel). Method in class JavaAgent.context.AgentFrame

Takes a panel created by the Agent and passed through the MessageOutput object and displays it in a new top-level window.

addPanel(Panel). Method in interface JavaAgent.context.ContextInterface

If the context supports a GUI, then adds the instantiated and intialized panel to a new top-level window.

addParamodulants(Literal, Clause, Literal, Vector). Method in class JavaAgent.resource.fopl.Clause

This function adds certain paramodulants to the given Vector.

addresses. Variable in class JavaAgent.agent.ResourceManager

Local storage for agent addresses.

Addresses(Agent). Constructor for class JavaAgent.resource.Addresses

Constructor for the resource.

addSystemMessage(String). Method in class JavaAgent.agent.Agent

Pipes a system message to the Agent's context.

addSystemMessage(String). Method in class JavaAgent.context.AgentContext

Adds a system message.

addSystemMessage(String). Method in class JavaAgent.context.AgentFrame

Displays the message in the SystemMessages TextArea.

addSystemMessage(String). Method in interface JavaAgent.context.ContextInterface

Sends a system message to the context.

addSystemMessage(String). Method in class JavaAgent.agent.MessageHandler

Sends a system message to the agent.

addSystemMessage(String). Method in class JavaAgent.agent.ResourceManager

Sends a system message to the agent.

addSystemMessage(String). Method in class JavaAgent.context.SystemMessagesPanel

Displays the message in the SystemMessages TextArea.

addSystemMessage(String, Exception). Method in class JavaAgent.agent.Agent

Pipes a system message to the Agent's context.

addSystemMessage(String, Exception). Method in class JavaAgent.context.AgentContext

Adds a system message w/ optional exception.

addSystemMessage(String, Exception). Method in interface JavaAgent.context.ContextInterface

Sends a system message w/ an optional exception.

addSystemMessage(String, Exception). Method in class JavaAgent.agent.MessageHandler

Sends a system message to the agent w/ exception.

addSystemMessage(String, Exception). Method in class JavaAgent.agent.ResourceManager

Sends a system message to the agent w/ exception.

AF_HEIGHT. Static variable in class JavaAgent.context.ContextParams

AF_WIDTH. Static variable in class JavaAgent.context.ContextParams

Window sizes

Agent(ContextInterface, String, URL, URL, File, File). Constructor for class JavaAgent.agent.Agent

Contructs an Agent with a name, init file, shared classes URL and working directory.

AgentAddress(). Constructor for class JavaAgent.resource.AgentAddress

AgentApplet(). Constructor for class JavaAgent.context.AgentApplet

Constructor for an AgentApplet.

AgentContext(RuntimeParams). Constructor for class JavaAgent.context.AgentContext

Constructor for AgentContext.

AgentFrame(AgentContext, String). Constructor for class JavaAgent.context.AgentFrame

Constructor for an AgentFrame.

AgentInterpreter(). Constructor for class JavaAgent.resource.AgentInterpreter

AgentParams(). Constructor for class JavaAgent.agent.AgentParams

allSubTerms(). Method in class JavaAgent.resource.fopl.FunctTerm

This function returns an Enumeration over all sub-terms in this FunctTerm.

allSubTerms(). Method in class JavaAgent.resource.fopl.Literal

This function returns an Enumeration over all sub-terms in this Literal.

AND. Static variable in class JavaAgent.resource.fopl.YYlex

AND. Static variable in class JavaAgent.resource.fopl.YYparse

AND. Static variable in class JavaAgent.resource.fopl.YYtokentypes

ANS(ContextInterface, String, URL, URL, File, File). Constructor for class JavaAgent.agent.ANS

Contructs an ANS with an output, name, init file, shared classes URL and working directory.

ANSApplet(). Constructor for class JavaAgent.context.ANSApplet

Constructor for an ANSApplet.

ANSContext(SocketParams). Constructor for class JavaAgent.context.ANSContext

Sets the parameters and creates the CommInterface, represented Agent and possibly the AgentFrame.

ANSMessageHandler(ANS). Constructor for class JavaAgent.agent.ANSMessageHandler

Creates a new ANSMessageHandler.

ANSResourceManager(ANS). Constructor for class JavaAgent.agent.ANSResourceManager

Initializes the memory and contents of all ANS resources.

APPEND. Static variable in class JavaAgent.agent.AgentParams

If the file exists, append the remote file onto the local file.

applet. Variable in class JavaAgent.context.RuntimeParams

True if the AgentContext was created by an Applet.

arguments(). Method in class JavaAgent.resource.fopl.FunctTerm

This function returns an Enumeration over the arguments of this FunctTerm.

arguments(). Method in class JavaAgent.resource.fopl.Literal

This function returns an Enumeration over the arguments of this Literal.

ask_addressAction(KQMLmessage, String, Agent). Method in class JavaAgent.resource.AgentInterpreter

Agent wants an address.

ask_codeAction(KQMLmessage, String, Agent, Resource). Method in class JavaAgent.resource.AgentInterpreter

Request for the location of class code for langauge, Interpreter or class resources.

ask_fileAction(KQMLmessage, String, Agent, Resource). Method in class JavaAgent.resource.AgentInterpreter

Request for the location of a file.

ask_resourceAction(KQMLmessage, String, Agent). Method in class JavaAgent.resource.AgentInterpreter

Handles general ask-resource messages.

assert(ClauseSet). Method in class JavaAgent.resource.fopl.ClauseSet

This function can be used to add knowledge to this KnowledgeBase.

assert(KRSentence). Method in class JavaAgent.resource.fopl.ClauseSet

This function can be used to add knowledge to this KnowledgeBase.

assert(KRSentence). Method in class JavaAgent.resource.fopl.FormulaSet

This function can be used to add knowledge to this FormulaSet.

assert(KRSentence). Method in interface JavaAgent.resource.cdl.KnowledgeBase

This function can be used to add knowledge to this KnowledgeBase.

B

BEGIN(int). Method in class JavaAgent.resource.fopl.YYlex

BinConFormula(int, Formula, Formula). Constructor for class JavaAgent.resource.fopl.BinConFormula

This constructor for a BinConFormula takes an integer which represents the connective (see YYtokentypes) and two Formulae.

BLOCK. Static variable in class JavaAgent.resource.RetrievalResource

Block retrieval.

block(Object). Method in class JavaAgent.resource.RetrievalResource

Block until the element is put in the Resource.

brokerAddr. Variable in class JavaAgent.oplan.OPSocketParams

This variable contains the address of the broker

brokerAll(String, CDLDescription, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function gets called when an agent wants to contract other agents through the broker that can solve the problem described in the given CDLDescription.

brokerOne(String, CDLDescription, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function gets called when an agent wants to contract another agent through the broker that can solve the problem described in the given CDLDescription.

ButtonPanel. Variable in class JavaAgent.context.ComposeMessagePanel

ButtonPanel. Variable in class JavaAgent.context.ViewMessagePanel

C

cache(). Method in class JavaAgent.resource.Resource

Provides persistent storage of the Resource elements.

cAgent. Variable in class JavaAgent.resource.cdl.CDLDescription

the name of the agent that advertised the capability

Cancel. Variable in class JavaAgent.context.ComposeMessagePanel

CDLDescription(String, String, Agent, Hashtable). Constructor for class JavaAgent.resource.cdl.CDLDescription

This constructor for a CDLDescription takes a String and parses it.

CDLInterpreter(). Constructor for class JavaAgent.resource.cdl.CDLInterpreter

charno(). Method in class JavaAgent.resource.fopl.YYlex

charno0(). Method in class JavaAgent.resource.fopl.YYlex

Class. Variable in class JavaAgent.context.LoadResourcePanel

classes. Variable in class JavaAgent.agent.ResourceManager

Storage for all Classes loaded into the runtime.

Classes(Agent). Constructor for class JavaAgent.resource.Classes

Constructor for the resource.

ClassLabel. Variable in class JavaAgent.context.LoadResourcePanel

ClassLoaders. Variable in class JavaAgent.agent.ResourceManager

Storage for NetworkClassLoaders used to load remote classes into the current runtime.

CLAUSE. Static variable in class JavaAgent.resource.fopl.YYlex

CLAUSE. Static variable in class JavaAgent.resource.fopl.YYparse

CLAUSE. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Clause(). Constructor for class JavaAgent.resource.fopl.Clause

This constructor is for the empty clause.

Clause(Literal). Constructor for class JavaAgent.resource.fopl.Clause

This constructor for a Clause takes a single Literal as argument for this unit clause.

Clause(Vector). Constructor for class JavaAgent.resource.fopl.Clause

This constructor for a Clause takes a Vector of Literals.

CLAUSESET. Static variable in class JavaAgent.resource.fopl.YYlex

CLAUSESET. Static variable in class JavaAgent.resource.fopl.YYparse

CLAUSESET. Static variable in class JavaAgent.resource.fopl.YYtokentypes

ClauseSet(). Constructor for class JavaAgent.resource.fopl.ClauseSet

This constructor creates an empty ClauseSet.

ClauseSet(Clause). Constructor for class JavaAgent.resource.fopl.ClauseSet

This constructor for a ClauseSet takes a single Clause as its argument.

ClauseSet(Formula). Constructor for class JavaAgent.resource.fopl.ClauseSet

This constructor creates a ClauseSet that contains the Skolemized clause form version of the given Formula.

ClauseSet(FormulaSet). Constructor for class JavaAgent.resource.fopl.ClauseSet

This constructor creates a ClauseSet that contains the Skolemized clause form version of the given Formulae in the given FormulaSet.

clean(). Method in class JavaAgent.resource.Resource

Removes all NullResource objects from the storage Hashtable.

clone(). Method in class JavaAgent.resource.fopl.BinConFormula

This function generates a copy of this BinConFormula.

clone(). Method in class JavaAgent.resource.cdl.CDLDescription

This funcion returns a clone of this CDLDescription using the same Variables.

clone(). Method in class JavaAgent.resource.fopl.Clause

Cloning a Clause returns a new Clause consisting of clones of the Literals in the original Clause.

clone(). Method in class JavaAgent.resource.fopl.ClauseSet

Cloning a ClauseSet returns a new ClauseSet consisting of clones of the Clauses in the original ClauseSet.

clone(). Method in class JavaAgent.resource.fopl.ConstTerm

Cloning a ConstTerm returns another ConstTerm that contains the same Symbol.

clone(). Method in class JavaAgent.resource.fopl.FOPLFormula

This function generates a copy of this FOPLFormula.

clone(). Method in class JavaAgent.resource.fopl.Formula

This function generates a copy of this Formula.

clone(). Method in class JavaAgent.resource.fopl.FormulaSet

Cloning a FormulaSet returns a new FormulaSet consisting of clones of the Formulae in the original FormulaSet.

clone(). Method in class JavaAgent.resource.fopl.FunctTerm

Returns a copy of this FunctTerm.

clone(). Method in interface JavaAgent.resource.cdl.KnowledgeBase

This function generates a copy of this KnowledgeBase that holds the same knowledge in the same formalism.

clone(). Method in interface JavaAgent.resource.cdl.KRSentence

This function generates a copy of this KRSentence that holds the same knowledge in the same formalism.

clone(). Method in class JavaAgent.resource.fopl.Literal

Cloning a Literal returns a new Literal consisting of the same predicate symbol and a clone of each argument.

clone(). Method in class JavaAgent.resource.fopl.LitLObject

This function generates a copy of this LitLObject.

clone(). Method in class JavaAgent.resource.fopl.MultiConFormula

This function generates a copy of this MultiConFormula.

clone(). Method in class JavaAgent.resource.fopl.NegFormula

This function generates a copy of this NegFormula.

clone(). Method in class JavaAgent.resource.fopl.Proposition

Cloning a Proposition returns a new Proposition of the same Symbol.

clone(). Method in class JavaAgent.resource.fopl.QuantFormula

This function generates a copy of this QuantFormula.

clone(). Method in class JavaAgent.resource.fopl.Substitution

This function returns a copy of this Substitution that will be identical to this Substitution.

clone(). Method in class JavaAgent.resource.fopl.Symbol

Cloning a Symbol returns the same Symbol, not a copy!

clone(). Method in class JavaAgent.resource.fopl.Term

Returns a copy of this Term.

clone(). Method in class JavaAgent.resource.fopl.Variable

Cloning a Variable returns a new Variable with the same name and type but with a different index.

clone(). Method in class JavaAgent.resource.fopl.VarTerm

Cloning a VarTerm returns a new VarTerm with the same Variable.

clone(Substitution). Method in class JavaAgent.resource.fopl.BinConFormula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.Clause

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

clone(Substitution). Method in class JavaAgent.resource.fopl.ConstTerm

Cloning a ConstTerm under a given Substitution returns another ConstTerm that contains the same Symbol.

clone(Substitution). Method in class JavaAgent.resource.fopl.FOPLFormula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.Formula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.FunctTerm

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

clone(Substitution). Method in class JavaAgent.resource.fopl.Literal

Cloning a Literal returns a new Literal consisting of the same predicate symbol and a clone of each argument with the given Substitution.

clone(Substitution). Method in class JavaAgent.resource.fopl.LitLObject

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

clone(Substitution). Method in class JavaAgent.resource.fopl.MultiConFormula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.NegFormula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.Proposition

Cloning a Proposition returns a new Proposition of the same Symbol.

clone(Substitution). Method in class JavaAgent.resource.fopl.QuantFormula

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

clone(Substitution). Method in class JavaAgent.resource.fopl.Term

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

clone(Substitution). Method in class JavaAgent.resource.fopl.VarTerm

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

clone(Substitution, Term, Term). Method in class JavaAgent.resource.fopl.ConstTerm

Cloning a ConstTerm under a given Substitution returns another ConstTerm that contains the same Symbol or an instance of the second given Term if this is the first given Term.

clone(Substitution, Term, Term). Method in class JavaAgent.resource.fopl.FunctTerm

Returns a copy of this FunctTerm with Variables replaced according to the given Substitution and the first Term replaced by the second.

clone(Substitution, Term, Term). Method in class JavaAgent.resource.fopl.Literal

Cloning a Literal returns a new Literal consisting of the same predicate symbol and a clone of each argument with the given Substitution but with the first given sub-Term replaced by the second given Term.

clone(Substitution, Term, Term). Method in class JavaAgent.resource.fopl.Term

Returns a copy of this Term with Variables replaced according to the given Substitution and the first given Term replaced by the second.

clone(Substitution, Term, Term). Method in class JavaAgent.resource.fopl.VarTerm

Cloning a VarTerm with a given Substitution and Term replacements returns a new Term which is either an instantiation of the Variable under the given Substitution or an instance of the replacement Term.

Close. Variable in class JavaAgent.context.SystemMessagesPanel

closed. Variable in class JavaAgent.resource.fopl.RTProver

the Vector of closed Clauses

cmp. Variable in class JavaAgent.context.AgentFrame

comm. Variable in class JavaAgent.context.AgentContext

Object which provides messaging functionality for the Agent.

comm. Variable in class JavaAgent.agent.MessageHandler

Mechanism through which messages are sent and received.

comm_ready. Variable in class JavaAgent.context.AgentContext

Is the CommInterface ready to send messages?

CommInterface(Agent). Constructor for class JavaAgent.agent.CommInterface

Contructs a CommInterace for a specific Agent.

commReady(). Method in class JavaAgent.context.AgentContext

COMP_MESS_HT. Static variable in class JavaAgent.context.ContextParams

COMP_MESS_WD. Static variable in class JavaAgent.context.ContextParams

complements(Literal). Method in class JavaAgent.resource.fopl.Literal

This function tests whether this and the given Literal completmentary.

complements(Literal, Substitution). Method in class JavaAgent.resource.fopl.Literal

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

ComposeMessage. Variable in class JavaAgent.context.AgentFrame

ComposeMessageAction(). Method in class JavaAgent.context.AgentFrame

Called when "Compose Message" is selected from the menu bar.

ComposeMessagePanel(AgentFrame, KQMLmessage). Constructor for class JavaAgent.context.ComposeMessagePanel

Constructs a ComposeMessagePanel for a subclass of AgentFrame with the specified default KQMLmessage.

CONSTANT. Static variable in class JavaAgent.resource.fopl.YYlex

CONSTANT. Static variable in class JavaAgent.resource.fopl.YYparse

CONSTANT. Static variable in class JavaAgent.resource.fopl.YYtokentypes

ConstTerm(String). Constructor for class JavaAgent.resource.fopl.ConstTerm

This constructor takes a String that is interpreted as the name of a Symbol.

ConstTerm(Symbol). Constructor for class JavaAgent.resource.fopl.ConstTerm

This constructor just takes the Symbol that is this Term.

contains(Vector, Substitution). Method in class JavaAgent.resource.fopl.ConstTerm

This function tests whether one of the Variables in the given set of variables occurs in this Term taking the given Substitution into account.

contains(Vector, Substitution). Method in class JavaAgent.resource.fopl.Term

This function tests whether one of the Variables in the given set of Variables occurs in this Term taking the given Substitution into account.

contains(Vector, Substitution, Vector). Method in class JavaAgent.resource.fopl.ConstTerm

Like contains(Vector, Substitution), this function tests whether one of the variables in the first given Vector occurs in this Term taking the given substitution into account.

contains(Vector, Substitution, Vector). Method in class JavaAgent.resource.fopl.FunctTerm

This function tests whether one of the Variables in the given set of variables occurs in this FunctTerm taking the given Substitution into account.

contains(Vector, Substitution, Vector). Method in class JavaAgent.resource.fopl.Term

Like contains(Vector, Substitution), this function tests whether one of the variables in the first given Vector occurs in this Term taking the given Substitution into account.

contains(Vector, Substitution, Vector). Method in class JavaAgent.resource.fopl.VarTerm

Like contains(Vector, Substitution), this function tests whether one of the variables in the first given Vector occurs in this VarTerm taking the given Substitution into account.

containsEmptyClause. Variable in class JavaAgent.resource.fopl.RTProver

this boolean indicates whether the open or closed Clauses contain the empty Clause

Content. Variable in class JavaAgent.context.ComposeMessagePanel

Content. Variable in class JavaAgent.context.ViewMessagePanel

ContentLabel. Variable in class JavaAgent.context.ComposeMessagePanel

ContentLabel. Variable in class JavaAgent.context.ViewMessagePanel

ContentPanel. Variable in class JavaAgent.context.ComposeMessagePanel

ContentPanel. Variable in class JavaAgent.context.ViewMessagePanel

context. Variable in class JavaAgent.agent.Agent

Interface to the context in which the Agent was created.

context. Variable in class JavaAgent.context.AgentApplet

SocketContext which this applet creates.

context. Variable in class JavaAgent.context.AgentFrame

ContextParams(). Constructor for class JavaAgent.context.ContextParams

Controls. Variable in class JavaAgent.context.AgentFrame

copy_to_file(URL, File, boolean). Static method in class JavaAgent.agent.FileIO

Copy to a new or existing file.

createCommInterface(). Method in class JavaAgent.context.AgentContext

Creates a CommInterface for the Agent.

createCommInterface(). Method in class JavaAgent.context.ANSContext

Creates a SocketInterface for the ANS, uses the address contained in the initialization file.

createCommInterface(). Method in class JavaAgent.oplan.OPAgentContext

Creates a SocketInterface for the Agent.

createCommInterface(). Method in class JavaAgent.context.SocketContext

Creates a SocketInterface for the Agent.

createGUI(). Method in class JavaAgent.context.AgentContext

If the gui flag is set, creates an instance of AgentFrame to provide a interface to the user.

CreateNewFrame(Panel, int, int, String). Method in class JavaAgent.context.AgentFrame

Generic method for creating a new top-level window with the specified width, height and name to contain the specified panel.

CreateServer(int). Method in class JavaAgent.agent.SocketInterface

Creates a Server Socket on the specified port.

ctx. Variable in class JavaAgent.agent.NetworkClassLoader

current_message. Variable in class JavaAgent.agent.MessageHandler

KQMLmessage which is currently being interpreted, or null if no message is being interpreted.

current_msg. Variable in class JavaAgent.context.ViewMessagePanel

current_resource. Variable in class JavaAgent.context.ViewResourcePanel

currentMessage(). Method in class JavaAgent.agent.Agent

Returns the message currently being interpreted, returns null if no message is being interpreted.

currentMessage(). Method in class JavaAgent.agent.MessageHandler

Returns the message currently being interpreted, returns null if no message is being interpreted.

CurrentMsg. Variable in class JavaAgent.context.ViewMessagePanel

CurrentMsgLabel. Variable in class JavaAgent.context.ViewMessagePanel

D

DEBUG. Static variable in class JavaAgent.agent.AgentParams

Should detailed systems messages be printed?

DEBUG. Static variable in class JavaAgent.context.ContextParams

Should detailed systems messages be printed?

disconnect(). Method in class JavaAgent.agent.CommInterface

Called by the Agent to disconnect the CommInterface.

disconnect(). Method in class JavaAgent.agent.SocketInterface

Called by the Agent to disconnect the SocketInterface.

disjoin(Clause). Method in class JavaAgent.resource.fopl.Clause

This function adds the Literals (not clones) in the given Clause to this Clause.

displayed_messages. Variable in class JavaAgent.context.ViewMessagePanel

do_action. Static variable in class JavaAgent.resource.fopl.YYlex

dollar(int). Method in class JavaAgent.resource.fopl.YYparse

Done. Variable in class JavaAgent.context.LoadMessagePanel

Done. Variable in class JavaAgent.context.LoadResourcePanel

Done. Variable in class JavaAgent.context.ViewMessagePanel

Done. Variable in class JavaAgent.context.ViewResourcePanel

DownMsg. Variable in class JavaAgent.context.ViewMessagePanel

E

elements(). Method in class JavaAgent.resource.fopl.MultiConFormula

This function returns an enumerator for the sub-Formulae in this Formula.

EOB_ACT_CONTINUE_SCAN. Static variable in class JavaAgent.resource.fopl.YYlex

EOB_ACT_END_OF_FILE. Static variable in class JavaAgent.resource.fopl.YYlex

EOB_ACT_LAST_MATCH. Static variable in class JavaAgent.resource.fopl.YYlex

EOF. Static variable in class JavaAgent.resource.fopl.YYlex

EOF. Static variable in class JavaAgent.resource.fopl.YYtokentypes

equals(Object). Method in class JavaAgent.resource.fopl.BinConFormula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.Clause

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.ConstTerm

A ConstTerm is equal to any other ConstTerm that holds the same Symbol.

equals(Object). Method in class JavaAgent.resource.fopl.FOPLFormula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.Formula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.FunctTerm

A FunctTerm is equal to any other FunctTerm that consists of an equal function symbol followed by an equal number of equal Terms.

equals(Object). Method in class JavaAgent.resource.fopl.Literal

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.LitLObject

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.MultiConFormula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.NegFormula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.Proposition

A Proposition is equal to any other Proposition that consists of the same symbol and sign.

equals(Object). Method in class JavaAgent.resource.fopl.QuantFormula

This function tests whether this and the given Object are equal.

equals(Object). Method in class JavaAgent.resource.fopl.Symbol

This function tests whether two Symbols are the same.

equals(Object). Method in class JavaAgent.resource.fopl.Term

Tests whether this Term is equal to the given Object.

equals(Object). Method in class JavaAgent.resource.fopl.Variable

This function tests for variable equality.

equals(Object). Method in class JavaAgent.resource.fopl.VarTerm

A VarTerm is equal to any other VarTermthat holds the same Variable.

evaluate(KRSentence). Method in class JavaAgent.resource.fopl.ClauseSet

This function takes a Clause and evaluates it against this ClauseSet.

evaluate(KRSentence). Method in class JavaAgent.resource.fopl.FormulaSet

This function takes a Formula and evaluates it against this FormulaSet.

evaluate(KRSentence). Method in interface JavaAgent.resource.cdl.KnowledgeBase

This function takes a KRSentence and evaluates it against this KnowledgeBase.

evaluate(KRSentence, Vector). Method in class JavaAgent.resource.fopl.FormulaSet

This function tries to find values for the Variables in the given Vector such that the given KRSentence follows from this FormulaSet.

EXISTS. Static variable in class JavaAgent.resource.fopl.YYlex

EXISTS. Static variable in class JavaAgent.resource.fopl.YYparse

EXISTS. Static variable in class JavaAgent.resource.fopl.YYtokentypes

expectMsg(). Method in class JavaAgent.oplan.OPReader

This function can be called to tell the OPReader that it should expect a message from OPlan.

ExpressionReader(InputStream). Constructor for class JavaAgent.resource.cdl.ExpressionReader

The constructor for an ExpressionReader takes an InputStream and calls the according constructor for an InputStreamReader.

extractExpr(StreamTokenizer). Static method in class JavaAgent.resource.cdl.CDLDescription

This function extracts an expression from the given StreamTokenizer.

extractRefutation(). Method in class JavaAgent.resource.fopl.RTProver

This function extracts a proof from the Clauses currently in the closed and open sets.

extractValues(Vector). Method in class JavaAgent.resource.fopl.RTProver

This function extracts the values for the given Variables from the last refutation.

F

field_value_pairs. Variable in class JavaAgent.resource.KQMLmessage

file_base. Variable in class JavaAgent.resource.FileLocation

FILE_EXISTS_ACTION. Static variable in class JavaAgent.agent.AgentParams

Should existing files be left, overwritten or appended to when performing a remote copy?

FileIO(). Constructor for class JavaAgent.agent.FileIO

FileLocation(URL, String). Constructor for class JavaAgent.resource.FileLocation

Constructor for FileLocation

files. Variable in class JavaAgent.agent.ResourceManager

Storage for all local Files.

Files(Agent). Constructor for class JavaAgent.resource.Files

Constructor for the resource.

fileURL. Variable in class JavaAgent.context.LoadMessagePanel

FOPLFormula(). Constructor for class JavaAgent.resource.fopl.FOPLFormula

This constructor creates an empty instance of a FOPLFormula.

FOPLFormula(String). Constructor for class JavaAgent.resource.fopl.FOPLFormula

This constructor for a FOPLFormula parses the given String and creates the according Formula.

FORALL. Static variable in class JavaAgent.resource.fopl.YYlex

FORALL. Static variable in class JavaAgent.resource.fopl.YYparse

FORALL. Static variable in class JavaAgent.resource.fopl.YYtokentypes

FormalismException(String). Constructor for class JavaAgent.resource.cdl.FormalismException

This constructor takes a String which should be a short message indicating why this exception was thrown.

FORMS. Static variable in class JavaAgent.resource.fopl.YYlex

FORMS. Static variable in class JavaAgent.resource.fopl.YYparse

FORMS. Static variable in class JavaAgent.resource.fopl.YYtokentypes

FORMULA. Static variable in class JavaAgent.resource.fopl.YYlex

FORMULA. Static variable in class JavaAgent.resource.fopl.YYparse

FORMULA. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Formula(). Constructor for class JavaAgent.resource.fopl.Formula

FormulaSet(). Constructor for class JavaAgent.resource.fopl.FormulaSet

This constructor creates an empty FormulaSet.

FormulaSet(Formula). Constructor for class JavaAgent.resource.fopl.FormulaSet

This constructor creates a FormulaSet that contains just the given Formula.

frame. Variable in class JavaAgent.context.AgentContext

Agent GUI.

fromOPlan. Variable in class JavaAgent.oplan.OPAgent

the OPReader for reading from the OPlan Process

FunctTerm(Symbol, Vector). Constructor for class JavaAgent.resource.fopl.FunctTerm

This constructor for a FunctTerm takes a Symbol (the function symbol) and a Vector of arguments.

G

get(). Method in class JavaAgent.agent.MessageBuffer

Remove a message for processing.

get(String). Static method in class JavaAgent.resource.fopl.Symbol

This function must be used to get hold of Symbols with the given name.

get(String). Static method in class JavaAgent.resource.fopl.Variable

This function must be used to get hold of Variables with the given name.

get(String, Vector). Static method in class JavaAgent.resource.fopl.Variable

This function returns the first Variable from the given Vector of Variables that has the given String as its name (ignoring the index).

getAction(). Method in class JavaAgent.resource.cdl.CDLDescription

This function returns the action identifier for this capability.

getAgent(). Method in class JavaAgent.context.AgentContext

getAgent(). Method in class JavaAgent.context.AgentFrame

getAgent(). Method in class JavaAgent.resource.cdl.CDLDescription

This function returns the name of the agent that has this capability.

getBrokerAddress(). Method in class JavaAgent.oplan.OPAgentContext

This function gets the SocketAddress of the broker out of the params and returns it.

getBrokerAddress(). Method in class JavaAgent.oplan.OPSocketParams

This function gets the SocketAddress of the broker.

getConclusion(). Method in class JavaAgent.resource.fopl.BinConFormula

This function returns the conclusion of this implication.

getConclusion(). Method in class JavaAgent.resource.fopl.FOPLFormula

This function returns the conclusion of this implication.

getConjunction(Vector). Static method in class JavaAgent.resource.fopl.FOPLFormula

This function returns a FOPLFormula that represents a conjunction of the KRSentences in the given Vector.

getConjunction(Vector). Static method in class JavaAgent.resource.fopl.LitLObject

This function returns a FOPLFormula that represents a conjunction of the Literals in the given Vector.

getElement(Object, int). Method in class JavaAgent.resource.Resource

Automatically uses the default receiver for retrieve messages.

getElement(Object, int, String). Method in class JavaAgent.resource.Resource

Synchronized method which returns the Object identified by the input identifier.

getElements(). Method in class JavaAgent.resource.Resource

getFields(). Method in class JavaAgent.resource.KQMLmessage

Return the fields in the message.

getFileBase(). Method in class JavaAgent.resource.FileLocation

Gets the base URL.

getFOPLFormula(). Method in class JavaAgent.resource.fopl.LitLObject

This function returns a FOPLFormula that contains the Literal in this LitLObject.

getFOPLFormula(KRSentence). Static method in class JavaAgent.resource.fopl.FormulaSet

This function converts the given KRSentence into a FOPLFormula.

getFormula(). Method in class JavaAgent.resource.fopl.FOPLFormula

This function returns the Formula embedded in this FOPLFormula.

getInputConstrs(). Method in class JavaAgent.resource.cdl.CDLDescription

getInputVars(). Method in class JavaAgent.resource.cdl.CDLDescription

getIOConstrs(). Method in class JavaAgent.resource.cdl.CDLDescription

getKBClass(). Static method in class JavaAgent.resource.fopl.FOPLFormula

This function returns the Class that implements KnowledgeBase for this KRSentence Class.

getKBClass(). Static method in class JavaAgent.resource.fopl.LitLObject

This function returns the Class that implements KnowledgeBase for this KRSentence Class.

getLiteral(). Method in class JavaAgent.resource.fopl.LitLObject

This function returns the Literal embedded in this LitLObject.

getLocation(Object). Method in class JavaAgent.resource.Resource

Method which returns the location associated with the input identifier.

getMissingAction(Object, int, String). Method in class JavaAgent.resource.Resource

Action to take when there is an attempt to retrieve an element associated with a non-existent identifier.

getMissingAction(Object, int, String). Method in class JavaAgent.resource.RetrievalResource

Called when there is an attempt to retrieve an element associated with a non-existent identifier.

getName(). Method in class JavaAgent.agent.Agent

Gets name of Agent.

getName(). Method in class JavaAgent.resource.fopl.Variable

This function returns the name of this Variable.

getNonDelimiter(StringTokenizer). Method in class JavaAgent.resource.KQMLmessage

Removes tokens from the StringTokenizer until the Tokenizer is empty or a a non-Delimiter token is found.

getNonWhiteSpace(StringTokenizer). Method in class JavaAgent.resource.KQMLmessage

Removes tokens from the StringTokenizer until the Tokenizer is empty or a a non-whitespace token is found.

getObjectName(). Method in class JavaAgent.resource.FileLocation

Gets the object name

getOutputConstrs(). Method in class JavaAgent.resource.cdl.CDLDescription

getOutputVars(). Method in class JavaAgent.resource.cdl.CDLDescription

getParents(). Method in class JavaAgent.resource.fopl.Clause

This function returns a Vector that contains all the direct parent Clauses to this Clause.

getParentSubstitution(). Method in class JavaAgent.resource.fopl.Clause

This function returns the Substitution that was used to derive this Clause.

getPremise(). Method in class JavaAgent.resource.fopl.BinConFormula

This function returns the premise of this implication.

getPremise(). Method in class JavaAgent.resource.fopl.FOPLFormula

This function returns the premise of this implication.

getReadString(). Method in class JavaAgent.resource.KQMLmessage

Returns the KQML message as a single human readable string.

getReceivedMessages(). Method in class JavaAgent.agent.Agent

Returns a Vector of received messages, if more than MESSAGE_STORAGE number have been received, only returns the most recent.

getReceivedMessages(). Method in class JavaAgent.agent.MessageHandler

Returns a Vector of received messages, if more than MESSAGE_STORAGE number have been received, only returns the most recent.

getReceiver(Object). Method in class JavaAgent.resource.Addresses

getReceiver(Object). Method in class JavaAgent.resource.Classes

getReceiver(Object). Method in class JavaAgent.resource.Files

getReceiver(Object). Method in class JavaAgent.resource.Interpreters

getReceiver(Object). Method in class JavaAgent.resource.Languages

getReceiver(Object). Method in class JavaAgent.resource.RetrievalResource

getResolvent(Literal, Clause, Literal, Substitution). Method in class JavaAgent.resource.fopl.Clause

This function generates a new Clause that is the resolvent of this Clause and the given Clause over the first given Literal in this Clause and the second given Literal in the given Clause where the given Substitution must be a unifying Substitution over these two Literals.

getResolvents(Literal, Clause, Vector). Method in class JavaAgent.resource.fopl.Clause

This function generates all possible resolvents from this and the given Clause over the given Literal in this Clause and adds them to the given Vector.

getResolvents(Vector). Method in class JavaAgent.resource.fopl.Clause

This function generates all possible resolvents from this and the given Vector of Clauses over one of this Clauses' Literals.

getResource(String). Method in class JavaAgent.agent.Agent

Get the resource object for the specified type.

getResource(String). Method in class JavaAgent.agent.ResourceManager

Get the resource object for the specified type.

getSendString(). Method in class JavaAgent.resource.KQMLmessage

Returns the KQML message as a single machine readable string.

getSentMessages(). Method in class JavaAgent.agent.Agent

Returns a Vector of transmitted messages, if more than MESSAGE_STORAGE number have been sent, only returns the most recent.

getSentMessages(). Method in class JavaAgent.agent.MessageHandler

Returns a Vector of transmitted messages, if more than MESSAGE_STORAGE number have been sent, only returns the most recent.

getSharedClassesURL(). Method in class JavaAgent.agent.Agent

Retrieves the URL for shared classes and files, returns null if there are no files to share.

getSharedDir(). Method in class JavaAgent.agent.Agent

Retrieves the directory for local access to the shared classe dir.

getSubstitution(). Method in class JavaAgent.resource.fopl.UnificationException

This function returns the Substitution in which the Exception occured.

getSymbol(). Method in class JavaAgent.resource.fopl.ConstTerm

This function can be used to extract the Symbol contained in this ConstTerm.

getTerm(Variable). Method in class JavaAgent.resource.fopl.Substitution

This function returns the Term associated with this Variable in this Substitution or null if there is no such Term.

getType(). Method in class JavaAgent.resource.Addresses

getType(). Method in class JavaAgent.resource.Classes

getType(). Method in class JavaAgent.resource.Files

getType(). Method in class JavaAgent.resource.Interpreters

getType(). Method in class JavaAgent.resource.Languages

getType(). Method in class JavaAgent.resource.RetrievalResource

getType(). Method in class JavaAgent.resource.fopl.Variable

This function returns the Symbol that represents the type of this Variable.

getValue(). Method in class JavaAgent.resource.AgentAddress

Gets a String representation of the value of the address, used for sending messages about addresses.

getValue(). Method in class JavaAgent.resource.SocketAddress

Gets a String representation of the value of the address, used for sending messages about addresses.

getValue(String). Method in class JavaAgent.resource.KQMLmessage

Returns the value of the "field" field.

getValue(Variable). Method in class JavaAgent.resource.fopl.Substitution

This function returns the Term the given Variable is mapped to.

getVar(). Method in class JavaAgent.resource.fopl.VarTerm

This function can be used to extract the Variable contained in this VarTerm.

getVars(). Method in class JavaAgent.resource.cdl.CDLDescription

This fuction returns a Vector of Variables used in the input and output of this capability.

getVars(). Method in class JavaAgent.resource.fopl.Clause

This function returns the Variables in this Clause in a Vector.

getVars(). Method in class JavaAgent.resource.fopl.Substitution

This function returns a Vector of all the Variables that are unified in this Substitution.

getVars(Vector). Method in class JavaAgent.resource.fopl.ConstTerm

This function adds the Variables in this Term to the given Vector.

getVars(Vector). Method in class JavaAgent.resource.fopl.FunctTerm

This function adds the Variables in this FunctTerm to the given Vector.

getVars(Vector). Method in class JavaAgent.resource.fopl.Literal

This function adds the Variables in this Literal to the given Vector.

getVars(Vector). Method in class JavaAgent.resource.fopl.Term

This function adds the Variables in this Term to the given Vector.

getVars(Vector). Method in class JavaAgent.resource.fopl.VarTerm

This function adds the Variable in this VarTerm to the given Vector.

getWorkingDir(). Method in class JavaAgent.agent.Agent

Retrieves the directory for local file storage, might be null.

Goto. Variable in class JavaAgent.resource.fopl.YYlex

Goto. Variable in class JavaAgent.resource.fopl.YYparse

gui. Variable in class JavaAgent.context.RuntimeParams

Should a gui be created for this Agent?

H

handler. Variable in class JavaAgent.agent.Agent

Object which handles all message transmission and maintains a history of both sent and received messages.

hasAncestorClauses(). Method in class JavaAgent.resource.fopl.Clause

This funtion tests whether this Clause has an associated ancestry record of Clauses.

hasElement(Object). Method in class JavaAgent.resource.Resource

Checks to see if a given identifier already exists.

hasGUI(). Method in class JavaAgent.agent.Agent

Returns true if the AgentContext supports a GUI.

hasGUI(). Method in class JavaAgent.context.AgentContext

hasGUI(). Method in interface JavaAgent.context.ContextInterface

Returns true if the context supports a GUI.

hashCode(). Method in class JavaAgent.resource.fopl.Symbol

The hashCode() of a Symbol is the hashCode() of the String that is its name.

hashCode(). Method in class JavaAgent.resource.fopl.Variable

The hashCode() of a Variable is the unique index of this variable.

hasMoreElements(). Method in class JavaAgent.resource.fopl.SubTermEnum

This function tests whether there are more sub-Terms.

hasParent(KRSentence). Method in class JavaAgent.resource.fopl.Clause

This function tests whether this Clause has the given Clause as a (direct) parent clause.

Help. Variable in class JavaAgent.context.AgentFrame

HelpAbout. Variable in class JavaAgent.context.AgentFrame

HelpAboutAction(). Method in class JavaAgent.context.AgentFrame

Called when "About Java(tm) Agent" is selected from the menu bar.

horiz_spacing. Static variable in class JavaAgent.context.InterfacePanel

host. Variable in class JavaAgent.resource.SocketAddress

Internet host name, forms the host portion of a url.

hostMatch(SocketAddress). Method in class JavaAgent.context.ANSContext

Checks to see if the current host is the same as the host listed in the init file.

I

IFF. Static variable in class JavaAgent.resource.fopl.YYlex

IFF. Static variable in class JavaAgent.resource.fopl.YYparse

IFF. Static variable in class JavaAgent.resource.fopl.YYtokentypes

IMPLIES. Static variable in class JavaAgent.resource.fopl.YYlex

IMPLIES. Static variable in class JavaAgent.resource.fopl.YYparse

IMPLIES. Static variable in class JavaAgent.resource.fopl.YYtokentypes

incoming. Variable in class JavaAgent.context.AgentFrame

incoming. Variable in class JavaAgent.agent.MessageHandler

Buffer for received messages waiting to be processed.

IncomingLength. Variable in class JavaAgent.context.AgentFrame

informPanel(InterfacePanel, String). Method in class JavaAgent.context.AgentFrame

init(). Method in class JavaAgent.agent.Agent

Creates the ResourceManager, MessageHandler and reads in the init_file.

init(). Method in class JavaAgent.context.AgentApplet

Get the parameters.

init(). Method in class JavaAgent.agent.ANS

Creates the ResourceManager, MessageHandler and reads in the init_file.

init(). Method in class JavaAgent.oplan.OPAgent

This function first creates the ResourceManager and MessageHandler as for any Agent.

init_url. Variable in class JavaAgent.agent.Agent

URL for initialization file.

init_url. Variable in class JavaAgent.context.RuntimeParams

URL for the initialization file.

INITIAL. Static variable in class JavaAgent.resource.fopl.YYlex

initiateTermination(). Method in class JavaAgent.agent.Agent

Called when the executable class which contains the Agent terminates.

initiateTermination(). Method in class JavaAgent.context.AgentContext

Called to begin the termination process.

initiateTermination(). Method in class JavaAgent.agent.ANSMessageHandler

Called when the executable class which contains the ANS terminates.

initiateTermination(). Method in class JavaAgent.agent.MessageHandler

Called when the executable class which contains the Agent terminates.

initiateTermination(). Method in class JavaAgent.oplan.OPAgent

Called when the executable class which contains the OPAgent terminates.

instantiate(). Method in class JavaAgent.resource.cdl.CDLDescription

This function instantiates this capability description based on its super-action.

InterfacePanel(AgentFrame). Constructor for class JavaAgent.context.InterfacePanel

Constructs a panel for a subclass of AgentFrame.

InterpretationException(String). Constructor for class JavaAgent.resource.InterpretationException

Creates a InterpretationException.

Interpreter. Variable in class JavaAgent.context.ComposeMessagePanel

Interpreter. Variable in class JavaAgent.context.ViewMessagePanel

Interpreter(). Constructor for class JavaAgent.resource.Interpreter

Creates a new instance of Interpreter.

InterpreterLabel. Variable in class JavaAgent.context.ComposeMessagePanel

InterpreterLabel. Variable in class JavaAgent.context.ViewMessagePanel

interpreters. Variable in class JavaAgent.agent.ResourceManager

Storage for the subclasses of Interpreter which the agent can understand.

Interpreters(Agent). Constructor for class JavaAgent.resource.Interpreters

Constructor for the resource.

interpretingMessage(). Method in class JavaAgent.agent.Agent

Returns true if the Agent is currently interpreting a message.

interpretingMessage(). Method in class JavaAgent.agent.MessageHandler

Returns true if the Agent is currently interpreting a message.

interpretLanguage(KQMLmessage, Agent, Language). Method in class JavaAgent.resource.AgentInterpreter

Interpret the Language instance, from the message, for the reciever according to the present Interpreter.

interpretLanguage(KQMLmessage, Agent, Language). Method in class JavaAgent.resource.Interpreter

Interpret the Language instance, from the message, for the reciever according to the present Interpreter.

interpretLanguage(KQMLmessage, Agent, Language). Method in class JavaAgent.oplan.OPInterpreter

This function must not be called.

interpretMessage(KQMLmessage). Method in class JavaAgent.agent.MessageHandler

Called by the ReceiverThread to interpret a specific message.

interpretMessage(KQMLmessage, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function is called when the broker receives a KQMLmessage with the ontology capabilities.

interpretMessage(KQMLmessage, Agent). Method in class JavaAgent.resource.Interpreter

Interpret a given message according to the semantics of the of the Interpreter.

interpretMessage(KQMLmessage, Agent). Method in class JavaAgent.oplan.OPInterpreter

This function is called when an OPAgent receives a KQML message with the :ontology OPlan.

invalidate_addressAction(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Remove-address message received.

invalidate_addressAgent(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Agent received a invalidate-address message, if the address exists in the local buffer, remove it.

invalidate_addressANS(KQMLmessage, ANS). Method in class JavaAgent.resource.AgentInterpreter

ANS received an invalidate-address message, if the address exists in the local buffer, remove it, then echo the invalidate-address message to all of the agents which are in the buffer.

invalidate_code_fileAction(KQMLmessage, Agent, Resource). Method in class JavaAgent.resource.AgentInterpreter

Request to invalidate a current code resource.

invalidate_resourceAction(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Handles general invalidate-resource messages.

invalidateAddress(). Method in class JavaAgent.agent.MessageHandler

Called when the current address has been invalidated.

io_enabled. Variable in class JavaAgent.agent.Agent

Can the Agent perform local file io?

isCapability. Variable in class JavaAgent.resource.cdl.CDLDescription

indicates whether this is a capability or a task description

isCapability(). Method in class JavaAgent.resource.cdl.CDLDescription

This function tests whether this CDLDescription is a capability description or a task description.

isConjunction(). Method in class JavaAgent.resource.fopl.MultiConFormula

This function tests whether this Formula is a conjunction.

isDelimiter(String). Method in class JavaAgent.resource.KQMLmessage

Checks whether a single token is a delimiter.

isDisjunction(). Method in class JavaAgent.resource.fopl.MultiConFormula

This function tests whether this Formula is a disjunction.

isEmpty(). Method in class JavaAgent.resource.fopl.Clause

This function test whether this Clause is the empty Cluase.

isEquality(). Method in class JavaAgent.resource.fopl.Literal

This function tests whether this Literal represents an equality or inequality.

isInconsistent(). Method in class JavaAgent.resource.fopl.ClauseSet

This function tests whether this KnowledgeBase is inconsistent.

isInconsistent(). Method in class JavaAgent.resource.fopl.FormulaSet

This function tests whether this FormulaSet is inconsistent.

isPending(). Method in class JavaAgent.agent.MessageHandler

This method will block until there is no longer a transmission pending.

isPositive(). Method in class JavaAgent.resource.fopl.Literal

This function tests whether this is a positive Literal.

isSuper(Class, String). Static method in class JavaAgent.resource.Interpreter

Is the named class in the reflexive, transitive closure of the object's superclasses?

isTautology(). Method in class JavaAgent.resource.fopl.Clause

This function test whether this Clause is a tautology.

isWhiteSpace(String). Method in class JavaAgent.resource.KQMLmessage

Checks whether a single token is whitespace.

K

killPanel(InterfacePanel). Method in class JavaAgent.context.AgentFrame

Sets the InterfacePanel's reference to null.

KQMLmessage(). Constructor for class JavaAgent.resource.KQMLmessage

Constructor for KQMLmessage, creates an empty message.

KQMLmessage(String). Constructor for class JavaAgent.resource.KQMLmessage

Constructor for KQMLmessage, parses a string to create the message.

L

Language. Variable in class JavaAgent.context.ComposeMessagePanel

Language. Variable in class JavaAgent.context.ViewMessagePanel

Language(). Constructor for class JavaAgent.resource.Language

Creates an empty Language instance.

Language(String). Constructor for class JavaAgent.resource.Language

Creates a Language instance by parsing the input String.

LanguageLabel. Variable in class JavaAgent.context.ComposeMessagePanel

LanguageLabel. Variable in class JavaAgent.context.ViewMessagePanel

languages. Variable in class JavaAgent.agent.ResourceManager

Storage for the subclasses of Language which the agent can understand.

Languages(Agent). Constructor for class JavaAgent.resource.Languages

Constructor for the resource.

last_message. Variable in class JavaAgent.agent.MessageHandler

Is this the last message which needs to be send before termination?

lastRefute. Variable in class JavaAgent.resource.fopl.RTProver

a Vector of Clauses that represent the last refutation by this RTProver

LEAVE. Static variable in class JavaAgent.agent.AgentParams

If the file already exists, don't modify it.

LengthDelimitedString(StringTokenizer, int). Method in class JavaAgent.resource.KQMLmessage

Handles #*"* string constructs.

lexeme. Variable in class JavaAgent.resource.fopl.YYlex

liftSameConnective(). Method in class JavaAgent.resource.fopl.MultiConFormula

This function checks whether any of the direct sub-Formulae of this Formula are a MultiConFormula with the same connective (AND or OR) and lifts those that do up to this level.

lineno(). Method in class JavaAgent.resource.fopl.YYlex

LIST. Static variable in class JavaAgent.resource.fopl.YYlex

LIST. Static variable in class JavaAgent.resource.fopl.YYparse

LIST. Static variable in class JavaAgent.resource.fopl.YYtokentypes

LITERAL. Static variable in class JavaAgent.resource.fopl.YYlex

LITERAL. Static variable in class JavaAgent.resource.fopl.YYparse

LITERAL. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Literal(). Constructor for class JavaAgent.resource.fopl.Literal

This protected constructor creates an empty Literal.

Literal(boolean, Symbol, Term, Term). Constructor for class JavaAgent.resource.fopl.Literal

This protected constructor for a Literal takes a boolean indecating whether the Literal is negated, a Symbol (the predicate) and two Terms which are the two arguments.

Literal(Symbol, Vector). Constructor for class JavaAgent.resource.fopl.Literal

This constructor for a Literal takes a Symbol and a list of arguments.

literals(). Method in class JavaAgent.resource.fopl.Clause

This function returns an Enumeration over the Literals in this Clause.

LitLObject(). Constructor for class JavaAgent.resource.fopl.LitLObject

This constructor creates an empty instance of a LitLObject.

LitLObject(String). Constructor for class JavaAgent.resource.fopl.LitLObject

This constructor for a LitLObject parses the given String and creates the according Literal.

lmp. Variable in class JavaAgent.context.AgentFrame

LOAD_MESS_HT. Static variable in class JavaAgent.context.ContextParams

LOAD_MESS_WD. Static variable in class JavaAgent.context.ContextParams

LOAD_RES_HT. Static variable in class JavaAgent.context.ContextParams

LOAD_RES_WD. Static variable in class JavaAgent.context.ContextParams

loadClass(String). Method in class JavaAgent.agent.NetworkClassLoader

Load a class from this class loader.

loadClass(String, boolean). Method in class JavaAgent.agent.NetworkClassLoader

Load and resolve a class.

loadClass(URL, String). Method in class JavaAgent.agent.Agent

Called to load a remote class into the current runtime environment.

loadClass(URL, String). Method in class JavaAgent.agent.ResourceManager

Called to load a remote class into the current runtime environment.

loadInitFile(URL). Method in class JavaAgent.agent.Agent

Loads a set of KQMLmessages from a file at the specified URL.

LoadMessage. Variable in class JavaAgent.context.AgentFrame

LoadMessage. Variable in class JavaAgent.context.ComposeMessagePanel

LoadMessageAction(). Method in class JavaAgent.context.AgentFrame

Called when "Load Messages" is selected from the menu bar.

LoadMessagePanel(AgentFrame). Constructor for class JavaAgent.context.LoadMessagePanel

Creates LoadMessagePanel for a subclass of AgentFrame.

LoadMessages. Variable in class JavaAgent.context.LoadMessagePanel

loadOntology(URL, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function loads the action ontology for this CDLInterpreter.

LoadResource. Variable in class JavaAgent.context.AgentFrame

LoadResource. Variable in class JavaAgent.context.LoadResourcePanel

loadResource(String, String, String, String). Method in class JavaAgent.agent.Agent

Loads a given resource.

loadResource(String, String, String, String). Method in class JavaAgent.agent.ResourceManager

Loads a given resource.

LoadResourceAction(). Method in class JavaAgent.context.AgentFrame

Called when "Load Resources" is selected from the menu bar.

LoadResourcePanel(AgentFrame). Constructor for class JavaAgent.context.LoadResourcePanel

Creates LoadResourcePanel for a subclass of AgentFrame.

localIO(). Method in class JavaAgent.agent.Agent

localPackage(String). Static method in class JavaAgent.agent.NetworkClassLoader

Check if a package is local.

locations. Variable in class JavaAgent.resource.Resource

lockVariable(Variable). Method in class JavaAgent.resource.fopl.Substitution

This function can be used to make sure that a Variable that is not already mapped to a Term by this Substitution will not be touched.

log_file. Variable in class JavaAgent.context.AgentContext

Name of the local log file for recording system messages.

LOG_FILE. Static variable in class JavaAgent.context.ContextParams

Should system messages be written to a log file.

lrp. Variable in class JavaAgent.context.AgentFrame

M

m. Variable in class JavaAgent.context.ComposeMessagePanel

main(String[]). Static method in class JavaAgent.context.ANSContext

Called if the ANSContext is started as an application from the command line.

main(String[]). Static method in class JavaAgent.oplan.OPAgentContext

Called if the OPAgentContext is started as an application from the command line.

main(String[]). Static method in class JavaAgent.context.SocketContext

Called if the SocketContext is started as an application from the command line.

MESSAGE_STORAGE. Static variable in class JavaAgent.agent.AgentParams

Max size of the messages_in and messages_out buffers.

MessageBuffer(). Constructor for class JavaAgent.agent.MessageBuffer

MessageHandler(Agent). Constructor for class JavaAgent.agent.MessageHandler

Creates a new MessageHandler.

Messages. Variable in class JavaAgent.context.AgentFrame

messages_in. Variable in class JavaAgent.agent.MessageHandler

Storage for received messages.

messages_in. Variable in class JavaAgent.context.ViewMessagePanel

messages_out. Variable in class JavaAgent.agent.MessageHandler

Storage for transmitted messages.

messages_out. Variable in class JavaAgent.context.ViewMessagePanel

MessageSelect. Variable in class JavaAgent.context.ViewMessagePanel

mk_local_dir(String). Static method in class JavaAgent.agent.FileIO

Creates the specified local directory.

msgExpected(). Method in class JavaAgent.oplan.OPReader

This function can be called to see whether there are currently messages expected from O-Plan.

MultiConFormula(int, Formula, Formula). Constructor for class JavaAgent.resource.fopl.MultiConFormula

This constructor for a MultiConFormula takes an integer which represents the connective (see YYtokentypes) and two Formulae that are to be connected in this MultiConFormula.

MultiConFormula(int, int). Constructor for class JavaAgent.resource.fopl.MultiConFormula

This protected constructor creates an empty Formula for the given connective type.

MultiConFormula(int, Vector). Constructor for class JavaAgent.resource.fopl.MultiConFormula

This constructor for a MultiConFormula takes an integer which represents the connective (see YYtokentypes) and a Vector of Formulae which are the Formulae that are connected by this connective.

N

name. Variable in class JavaAgent.agent.Agent

A unique String identifier for the Agent.

name. Variable in class JavaAgent.context.AgentFrame

Name. Variable in class JavaAgent.context.LoadResourcePanel

name. Variable in class JavaAgent.context.RuntimeParams

Name for the Agent.

NameLabel. Variable in class JavaAgent.context.LoadResourcePanel

negate(). Method in class JavaAgent.resource.fopl.Literal

This function can be used to change the sign of this Literal.

negated. Variable in class JavaAgent.resource.fopl.Literal

This variable indicates whether this Literal is negated.

NegFormula(Formula). Constructor for class JavaAgent.resource.fopl.NegFormula

The constructor for a NegFormula takes just a Formula.

NetworkClassLoader(URL, Agent). Constructor for class JavaAgent.agent.NetworkClassLoader

Creates a new NetworkClassLoader for loading classes from the given URL.

newLocal. Static variable in class JavaAgent.resource.fopl.Variable

This Java variable determines how get() looks for the symbolic Variable to be returned.

newVars(). Static method in class JavaAgent.resource.fopl.Variable

This function removes all Variables from the static memory.

nextElement(). Method in class JavaAgent.resource.fopl.SubTermEnum

This function returns the next sub-Term in this Enumeration.

NO_RETRIEVAL. Static variable in class JavaAgent.resource.Resource

Specifies that no attempt should be made to retrieve the element.

non_uniqueAction(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Agent tried to report a non-unique name, change name to the supplied unique-name, based on the address.

NonAgentMsg(Object). Method in class JavaAgent.context.AgentContext

Generic method for sending an Object message to some context-dependent non-agent destination (e.g.

NonAgentMsg(Object). Method in interface JavaAgent.context.ContextInterface

Generic method for sending an Object message to some context-dependent non-agent destination (e.g.

NonAgentMsgException(String). Constructor for class JavaAgent.context.NonAgentMsgException

Creates a NonAgentMsgException.

nontermmax. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nontermmin. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nontermname(int). Static method in class JavaAgent.resource.fopl.YYtokentypes

nontermnames. Static variable in class JavaAgent.resource.fopl.YYtokentypes

NOT. Static variable in class JavaAgent.resource.fopl.YYlex

NOT. Static variable in class JavaAgent.resource.fopl.YYparse

NOT. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPL0TermList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPL1FormList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPL1TermList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPL1VarSpecList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLBFormula. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLbincon. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLBLiteral. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLClause. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLClauseList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLFormList. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLFormula. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLmulticon. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLObject. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLquant. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLTerm. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_FOPLVarSpec. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_LVoff. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_LVon. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_SignedLit. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_SignedLit0List. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_tCONSTANT. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nt_tVARIABLE. Static variable in class JavaAgent.resource.fopl.YYtokentypes

nthArgument(int). Method in class JavaAgent.resource.fopl.Literal

This function returns the n-th argument to this Literal.

NullResource(). Constructor for class JavaAgent.resource.NullResource

NumReceived. Variable in class JavaAgent.context.AgentFrame

NumSent. Variable in class JavaAgent.context.AgentFrame

O

object_name. Variable in class JavaAgent.resource.FileLocation

OPAgent(ContextInterface, String, URL, URL, File, File). Constructor for class JavaAgent.oplan.OPAgent

The constructor for an OPAgent directly calls standard agent constructor without changing the parameters.

OPAgentContext(SocketParams). Constructor for class JavaAgent.oplan.OPAgentContext

The constructor for the OPAgentContext just calls the constructor for an AgentContext.

open. Variable in class JavaAgent.resource.fopl.RTProver

the Vector of open Clauses

OPInterpreter(). Constructor for class JavaAgent.oplan.OPInterpreter

oPlanProcess. Variable in class JavaAgent.oplan.OPAgent

the handle of the OPlan Process strted by this OPAgent

oPlanProcess. Variable in class JavaAgent.oplan.OPReader

the handle of the OPlan process from which is being read

oPlanProcess. Variable in class JavaAgent.oplan.OPWriter

the handle of the OPlan Process this OPWriter will write to

OPReader(OPAgent, Process). Constructor for class JavaAgent.oplan.OPReader

Constructor for the Thread that reads from the given Process which should be the OutputStream of an OPlan Process.

OPSocketParams(Hashtable). Constructor for class JavaAgent.oplan.OPSocketParams

The constructor calls the constructor for SocketParams and extracts the broker address from the given HashTable.

OPWriter(OPAgent, Process). Constructor for class JavaAgent.oplan.OPWriter

Constructor for the Thread that writes to the OutputStream of the given Process.

OR. Static variable in class JavaAgent.resource.fopl.YYlex

OR. Static variable in class JavaAgent.resource.fopl.YYparse

OR. Static variable in class JavaAgent.resource.fopl.YYtokentypes

outgoing. Variable in class JavaAgent.context.AgentFrame

outgoing. Variable in class JavaAgent.agent.MessageHandler

Buffer for messages waiting to be sent.

OutgoingLength. Variable in class JavaAgent.context.AgentFrame

output_buffer. Variable in class JavaAgent.agent.MessageHandler

Buffer for messages waiting to be sent.

OVERWRITE. Static variable in class JavaAgent.agent.AgentParams

If the file exists, replace it with the remote file.

P

params. Variable in class JavaAgent.context.AgentApplet

Parameters which govern execution.

params. Variable in class JavaAgent.context.AgentContext

Object which contains all parameters set at execution-time as either commandline args or applet parameters.

parent. Variable in class JavaAgent.agent.CommInterface

parent. Variable in class JavaAgent.context.InterfacePanel

parent. Variable in class JavaAgent.agent.MessageHandler

Agent whose Resources are managed.

parent. Variable in class JavaAgent.agent.ReceiverThread

parent. Variable in class JavaAgent.resource.Resource

parent. Variable in class JavaAgent.agent.ResourceManager

Agent whose Resources are managed.

parse(InputStream). Static method in class JavaAgent.resource.fopl.Clause

This function can be used to parse a given InputStream that represents a Clause.

parse(InputStream). Static method in class JavaAgent.resource.fopl.ClauseSet

This function can be used to parse a given InputStream that represents a ClauseSet.

parse(InputStream). Static method in class JavaAgent.resource.fopl.FOPLFormula

This function can be used to parse a given InputStream that represents a Formula.

parse(InputStream). Static method in class JavaAgent.resource.fopl.Formula

This function can be used to parse a given InputStream that represents a Formula.

parse(InputStream). Static method in class JavaAgent.resource.fopl.FormulaSet

This function can be used to parse a given InputStream that represents a FormulaSet.

parse(InputStream). Static method in class JavaAgent.resource.fopl.LitLObject

This function can be used to parse a given InputStream that represents a Literal.

parse(String). Static method in class JavaAgent.resource.fopl.Clause

This function can be used to parse a given String that represents a Clause.

parse(String). Static method in class JavaAgent.resource.fopl.FOPLFormula

This function can be used to parse a given String that represents a FOPLFormula.

parse(String). Static method in class JavaAgent.resource.fopl.Formula

This function can be used to parse a given String that represents a Formula.

parse(String). Static method in class JavaAgent.resource.fopl.LitLObject

This function can be used to parse a given String that represents a LitLObject.

parse(String). Static method in class JavaAgent.resource.fopl.Term

This function can be used to parse a given String that represents a Term.

parseArgs(String[]). Static method in class JavaAgent.context.AgentContext

Takes the array of command line arguments and creates a Hashtable of flag/token pairs.

parseConstraints(StreamTokenizer). Method in class JavaAgent.resource.cdl.CDLDescription

This function parses a list of constraints.

ParseExpression(StringTokenizer, int, boolean, String). Method in class JavaAgent.resource.KQMLmessage

Returns the next expression from the StringTokenizer.

parseLit(InputStream). Static method in class JavaAgent.resource.fopl.Literal

This function can be used to parse a given InputStream that represents a Literal.

parseLit(String). Static method in class JavaAgent.resource.fopl.Literal

This function can be used to parse a given String that represents a Literal.

parseParameters(StreamTokenizer). Static method in class JavaAgent.resource.cdl.CDLDescription

This function parses a list of parameter specifications for a capability description.

parseProperties(StreamTokenizer). Static method in class JavaAgent.resource.cdl.CDLDescription

This function parses a list of properties.

parseResult. Variable in class JavaAgent.resource.fopl.YYparse

This variable contains the last Object that has been parsed.

parseString(String). Method in class JavaAgent.resource.fopl.FOPLFormula

This function should only be used on empty instances of a FOPLFormula.

parseString(String). Method in class JavaAgent.resource.KQMLmessage

Takes an empty KQMLmessage instance and populates it by parsing an input string.

parseString(String). Method in class JavaAgent.resource.Language

Takes an empty Language instance and populates it by parsing an input string.

parseString(String). Method in class JavaAgent.resource.fopl.LitLObject

This function should only be used on empty instances of a LitLObject.

parseToken(StreamTokenizer, char). Static method in class JavaAgent.resource.cdl.CDLDescription

This funtion parses a token from the given StreamTokenizer.

parseWord(StreamTokenizer, String). Static method in class JavaAgent.resource.cdl.CDLDescription

This function parses a word from the given StreamTokenizer.

parseWord(StreamTokenizer, String, boolean). Static method in class JavaAgent.resource.cdl.CDLDescription

This function parses a word from the given StreamTokenizer.

Performative. Variable in class JavaAgent.context.ComposeMessagePanel

Performative. Variable in class JavaAgent.context.ViewMessagePanel

PerformativeLabel. Variable in class JavaAgent.context.ComposeMessagePanel

PerformativeLabel. Variable in class JavaAgent.context.ViewMessagePanel

PORT. Static variable in class JavaAgent.context.ContextParams

Default port for ServerSocket creation, 0 indicates that the port should be automatically selected.

port. Variable in class JavaAgent.resource.SocketAddress

Port on the host machine.

port. Variable in class JavaAgent.agent.SocketInterface

The port which this SocketInterface is connected to on the local machine.

port. Variable in class JavaAgent.context.SocketParams

Local port to which the SocketInterface's ServerSocket should be bound.

printWithIndex. Static variable in class JavaAgent.resource.fopl.Variable

This Java variable indicates how symbolic Variables are to be printed.

Proposition(Symbol). Constructor for class JavaAgent.resource.fopl.Proposition

The constructor for a Proposition takes just a Symbol.

Q

QuantFormula(int, Vector, Formula). Constructor for class JavaAgent.resource.fopl.QuantFormula

The constructor for a QuantFormula takes an integer which represents the quantifier (see YYtokentypes), a list of Fariables and a Formula.

Quit. Variable in class JavaAgent.context.AgentFrame

QuitAction(). Method in class JavaAgent.context.AgentFrame

Called when "Quit" is selected from the menu bar.

R

read_from_URL(URL). Static method in class JavaAgent.agent.FileIO

Reads a bite array from a URL.

readExpression(). Method in class JavaAgent.resource.cdl.ExpressionReader

This function gets the next expression from the InputStream of this ExpressionReader.

RECEIVE_TIMEOUT. Static variable in class JavaAgent.agent.AgentParams

Timeout value for receiving a message, in milliseconds.

received. Variable in class JavaAgent.context.AgentFrame

receiveMessage(KQMLmessage). Method in class JavaAgent.agent.Agent

Called by the associated CommInterface when a KQMLmessage is received.

receiveMessage(KQMLmessage). Method in class JavaAgent.agent.MessageHandler

Called by the associated CommInterface when a KQMLmessage is received.

Receiver. Variable in class JavaAgent.context.ComposeMessagePanel

receiver. Variable in class JavaAgent.agent.MessageHandler

Thread which pulls messages from the incoming MessageBuffer and calls the specified Interpreter object for interpretation.

Receiver. Variable in class JavaAgent.context.ViewMessagePanel

ReceiverLabel. Variable in class JavaAgent.context.ComposeMessagePanel

ReceiverLabel. Variable in class JavaAgent.context.ViewMessagePanel

ReceiverThread(MessageHandler). Constructor for class JavaAgent.agent.ReceiverThread

Creates a new ReceiverThread.

recommendAll(String, CDLDescription, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function gets called when an agent wants to find other agents that can solve the problem described in the given CDLDescription.

recommendOne(String, CDLDescription, Agent). Method in class JavaAgent.resource.cdl.CDLInterpreter

This function gets called when an agent wants to find another agent that can solve the problem described in the given CDLDescription.

releasePending(). Method in class JavaAgent.agent.Agent

Releases the transmission block.

releasePending(). Method in class JavaAgent.agent.MessageHandler

Sets the transmission_pending flag to false.

remote_copy(URL, File, String, int). Static method in class JavaAgent.agent.FileIO

Make a local copy of a remote file.

removeElement(Object). Method in class JavaAgent.resource.Resource

Synchronized method which is called to remove the element associated with a given identifier.

removeLocals(int). Static method in class JavaAgent.resource.fopl.Variable

This function can be used to remove the last n local Variables from the stack.

removeLocation(Object). Method in class JavaAgent.resource.Resource

Removes the location associated with a given identifier.

removeMissingAction(Object). Method in class JavaAgent.resource.Resource

Action to be taken when there is an attempt to remove the element associated with a non-existant identifier.

resolve(). Method in class JavaAgent.resource.fopl.RTProver

This function executes the resolution theorem proving process.

Resource(Agent). Constructor for class JavaAgent.resource.Resource

Constructor for the resource, initializes the storage space.

resourceChanged(Resource). Method in class JavaAgent.agent.Agent

Called by a Resource object when the number of elements has changed.

resourceChanged(String). Method in class JavaAgent.agent.Agent

Called when a non-Resource object has changed.

resourceChanged(String). Method in class JavaAgent.context.AgentContext

Called when some Agent resource has changed.

resourceChanged(String). Method in class JavaAgent.context.AgentFrame

Called when some Agent resource has changed.

resourceChanged(String). Method in interface JavaAgent.context.ContextInterface

Informs the context that one of the Agent's resources has changed.

resourceChanged(String). Method in class JavaAgent.context.InterfacePanel

Called when a displayed resource has changed.

resourceChanged(String). Method in class JavaAgent.agent.MessageHandler

Called when a non-Resource object has changed.

resourceChanged(String). Method in class JavaAgent.context.ViewMessagePanel

Called when either a message has arrived or one has been sent.

resourceChanged(String). Method in class JavaAgent.context.ViewResourcePanel

Called when a displayed resource has changed.

ResourceDisplay. Variable in class JavaAgent.context.ViewResourcePanel

ResourceException(String). Constructor for class JavaAgent.resource.ResourceException

Creats a new ResourceException with a specific message.

ResourceManager(Agent). Constructor for class JavaAgent.agent.ResourceManager

Initializes the memory and contents of all Agent resources.

resources. Variable in class JavaAgent.agent.Agent

Object which contains and manages all of the Agent's resources.

Resources. Variable in class JavaAgent.context.AgentFrame

ResourceSelect. Variable in class JavaAgent.context.ViewResourcePanel

ResourceURL. Variable in class JavaAgent.context.LoadResourcePanel

RETRIEVAL_NOTIFIES. Static variable in class JavaAgent.agent.AgentParams

Max number of notifies to wait through for resource retrieval.

RETRIEVAL_WAIT. Static variable in class JavaAgent.agent.AgentParams

Resource retrieval max wait.

RetrievalResource(Agent). Constructor for class JavaAgent.resource.RetrievalResource

Constructor for the resource.

RTProver(). Constructor for class JavaAgent.resource.fopl.RTProver

This constructor creates an RTProver.

run(). Method in class JavaAgent.oplan.OPReader

This method is called when the Thread is started.

run(). Method in class JavaAgent.oplan.OPWriter

This function is called when the Thread is started.

run(). Method in class JavaAgent.agent.ReceiverThread

Starts message interpretation.

RuntimeParams(). Constructor for class JavaAgent.context.RuntimeParams

Constructor for use with applets

RuntimeParams(Hashtable). Constructor for class JavaAgent.context.RuntimeParams

Constructor the RuntimeParams object.

S

saveMessage(Vector, KQMLmessage). Method in class JavaAgent.agent.MessageHandler

Saves the message in the given storage.

searchLimit. Static variable in class JavaAgent.resource.fopl.RTProver

the maximum number of Clauses that will be explored

send(String). Method in class JavaAgent.oplan.OPWriter

This function places the given message in the queue of messages to be written to O-Plan.

send_message(Object, String). Method in class JavaAgent.resource.RetrievalResource

Send out a retrieval message.

SEND_MSG. Static variable in class JavaAgent.resource.RetrievalResource

Send out message then block.

SEND_TIMEOUT. Static variable in class JavaAgent.agent.AgentParams

Timeout value for sending a message, in milliseconds.

Sender. Variable in class JavaAgent.context.ComposeMessagePanel

Sender. Variable in class JavaAgent.context.ViewMessagePanel

SenderLabel. Variable in class JavaAgent.context.ComposeMessagePanel

SenderLabel. Variable in class JavaAgent.context.ViewMessagePanel

sendInitMessages(). Method in class JavaAgent.agent.Agent

Group of messages which are automatically sent out at startup.

sendInitMessages(). Method in class JavaAgent.oplan.OPAgent

This function sends the messages which are automatically sent out at startup.

SendMessage. Variable in class JavaAgent.context.ComposeMessagePanel

sendMessage(KQMLmessage). Method in class JavaAgent.agent.Agent

Called to send a given KQMLmessage.

sendMessage(KQMLmessage). Method in class JavaAgent.agent.CommInterface

Called to send a given KQMLmessage.

sendMessage(KQMLmessage). Method in class JavaAgent.agent.MessageHandler

Called to send a given KQMLmessage.

sendMessage(KQMLmessage). Method in class JavaAgent.agent.SocketInterface

Called to send a given KQMLmessage.

SendRemovalMessage(String, AgentAddress). Method in class JavaAgent.agent.ANS

Send Remove-address messages to all of the agents in the address buffer.

SendRemovalMessage(String, AgentAddress). Method in class JavaAgent.agent.ANSMessageHandler

Send Remove-address messages to all of the agents in the address buffer.

sendResult(KQMLmessage, boolean, String). Method in class JavaAgent.agent.Agent

Called by the associated CommInterface to report the success of a sendMessage call.

sendResult(KQMLmessage, boolean, String). Method in class JavaAgent.agent.MessageHandler

Called by the associated CommInterface to report the success of a sendMessage call.

sendToComm(KQMLmessage). Method in class JavaAgent.agent.MessageHandler

Called by the TransmitterThread to send a message.

sent. Variable in class JavaAgent.context.AgentFrame

sentences(). Method in class JavaAgent.resource.fopl.ClauseSet

This function returns an Enumerator for the Clauses in this ClauseSet.

sentences(). Method in class JavaAgent.resource.fopl.FormulaSet

This function returns an enumerator for the Formulae in this FormulaSet.

sentences(). Method in interface JavaAgent.resource.cdl.KnowledgeBase

This function returns an enumerator for the KRSentences in this KnowledgeBase.

server. Variable in class JavaAgent.agent.SocketInterface

Server socket.

server_thread. Variable in class JavaAgent.agent.SocketInterface

Server thread.

setAgentAddress(int). Method in class JavaAgent.oplan.OPAgentContext

Sets the agents address, and name if no name was specified.

setAgentAddress(int). Method in class JavaAgent.context.SocketContext

Sets the agents address, and name if no name was specified.

setComm(CommInterface). Method in class JavaAgent.agent.Agent

Sets the value of the CommInterface.

setComm(CommInterface). Method in class JavaAgent.agent.MessageHandler

Sets the CommInterface for the MessageHandler and creates and starts the TransmitterThread.

setdebug(boolean). Method in class JavaAgent.resource.fopl.YYlex

setdebug(boolean). Method in class JavaAgent.resource.fopl.YYparse

setdebug(int). Method in class JavaAgent.resource.fopl.YYlex

setdebug(int). Method in class JavaAgent.resource.fopl.YYparse

setName(String). Method in class JavaAgent.agent.Agent

Sets the name of the Agent.

setName(String). Method in class JavaAgent.context.AgentContext

Called when the Agent has changed its name.

setName(String). Method in interface JavaAgent.context.ContextInterface

Called by Agent to indicate that the name has changed.

setParent(KRSentence, Substitution). Method in class JavaAgent.resource.fopl.Clause

This function can be used to set the ancestor of this Clause to the given KRSentence.

setSearchLimit(int). Method in class JavaAgent.resource.fopl.RTProver

This function can be used to set the search limit for this RTProver.

setTraceStream(OutputStream). Method in class JavaAgent.resource.fopl.ClauseSet

This function can be used create a trace of the functions isInconsistent() and evaluate().

setTraceStream(OutputStream). Method in class JavaAgent.resource.fopl.FormulaSet

This function can be used create a trace of the functions isInconsistent() and evaluate().

setTraceStream(OutputStream). Method in class JavaAgent.resource.fopl.RTProver

This function can be used create a trace of the function resolve().

setType(Symbol). Method in class JavaAgent.resource.fopl.Variable

This function sets the type of the variable to the given Symbol (or null).

shared_classes. Variable in class JavaAgent.agent.Agent

URL for the classes directory containing classes which will be shared with other agents.

shared_dir. Variable in class JavaAgent.agent.Agent

Directory for local access to the shared classes URL.

shared_dir. Variable in class JavaAgent.context.RuntimeParams

Directory for storing working files in the local file system, will be null if the Agent is unable to write to the local file system.

shared_url. Variable in class JavaAgent.context.RuntimeParams

URL for shared classes and files.

showResource(). Method in class JavaAgent.context.ViewResourcePanel

Show the currently selected resource.

signedUnify(Literal, Substitution). Method in class JavaAgent.resource.fopl.Literal

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

size(). Method in class JavaAgent.resource.Resource

Returns the number of elements.

smp. Variable in class JavaAgent.context.AgentFrame

SMP_HEIGHT. Static variable in class JavaAgent.context.ContextParams

SMP_WIDTH. Static variable in class JavaAgent.context.ContextParams

SocketAddress(String, int). Constructor for class JavaAgent.resource.SocketAddress

Creates a new SocketAddress with the specified host and port.

SocketContext(SocketParams). Constructor for class JavaAgent.context.SocketContext

Sets the parameters and creates the CommInterface, represented Agent and possibly the AgentFrame.

SocketInterface(Agent, int). Constructor for class JavaAgent.agent.SocketInterface

Contructs a SocketInterface for the specified Agent on the specified local port.

SocketParams(). Constructor for class JavaAgent.context.SocketParams

Constructor for use with applets

SocketParams(Hashtable). Constructor for class JavaAgent.context.SocketParams

Constructor the SocketParams object.

STACK_TRACE. Static variable in class JavaAgent.context.ContextParams

Should exception stack traces be printed?

stackdump(String). Method in class JavaAgent.resource.fopl.YYparse

stateLangClass. Variable in class JavaAgent.resource.cdl.CDLDescription

the class that represents the language for states

stateLangId. Variable in class JavaAgent.resource.cdl.CDLDescription

the resource identifier for the state language

storage. Variable in class JavaAgent.resource.Resource

SubmitAddress(). Method in class JavaAgent.oplan.OPAgentContext

Send the agent's name and address to the ANS.

SubmitAddress(). Method in class JavaAgent.context.SocketContext

Send the agent's name and address to the ANS.

Substitution(). Constructor for class JavaAgent.resource.fopl.Substitution

The constructor just initializes the Substituiton as empty.

subsumes(CDLDescription). Method in class JavaAgent.resource.cdl.CDLDescription

This function tests whether this capability can perform the given task.

SubTermEnum(Vector). Constructor for class JavaAgent.resource.fopl.SubTermEnum

This constructor takes a Vector of Terms to enumerate.

superAct. Variable in class JavaAgent.resource.cdl.CDLDescription

the action from which this one inherits (or null)

Symbol(String). Constructor for class JavaAgent.resource.fopl.Symbol

This protected constructor is used mainly by the static function get() to create new Symbols.

SystemMessages. Variable in class JavaAgent.context.SystemMessagesPanel

SystemMessagesAction(). Method in class JavaAgent.context.AgentFrame

Create a SystemMessagesPanel.

SystemMessagesPanel(AgentFrame). Constructor for class JavaAgent.context.SystemMessagesPanel

Creates an SystemMessagesPanel for a subclass of AgentFrame.

SystemMessageStorage. Variable in class JavaAgent.context.AgentFrame

SystemStatPanel. Variable in class JavaAgent.context.AgentFrame

T

tell_addressAction(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Provides the address of an agent.

tell_addressAgent(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Agent has received a tell-address message, store the received address in the local buffer.

tell_addressANS(KQMLmessage, ANS). Method in class JavaAgent.resource.AgentInterpreter

ANS has received the tell_address message, check for unique name, if unique, store in buffer, else send a non-unique-name message back.

tell_codeAction(KQMLmessage, Agent, Resource, boolean). Method in class JavaAgent.resource.AgentInterpreter

Provides the location of class code for langauge, Interpreter or class resources.

tell_fileAction(KQMLmessage, Agent, Resource). Method in class JavaAgent.resource.AgentInterpreter

Provides the location of a remote file which must be copied to the local disk.

tell_resourceAction(KQMLmessage, Agent). Method in class JavaAgent.resource.AgentInterpreter

Handles general tell-resource messages.

tellAction(KQMLmessage, OPAgent). Method in class JavaAgent.oplan.OPInterpreter

This function gets called when this OPInterpreter receives a tell message.

TERM. Static variable in class JavaAgent.resource.fopl.YYlex

TERM. Static variable in class JavaAgent.resource.fopl.YYparse

TERM. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Term(). Constructor for class JavaAgent.resource.fopl.Term

terminate(). Method in class JavaAgent.agent.Agent

Called when the last termination message has been sent.

terminate(). Method in class JavaAgent.context.AgentContext

Called by the Agent to terminate the AgentContext.

terminate(). Method in class JavaAgent.context.AgentFrame

Called by the AgentContext to dispose of the gui.

terminate(). Method in interface JavaAgent.context.ContextInterface

Called by Agent to indicate termination.

terminate(). Method in class JavaAgent.context.InterfacePanel

Disposes of the frame and kills the panel.

terminate(). Method in class JavaAgent.agent.MessageHandler

Called when the last termination message has been sent.

terminatePanel(InterfacePanel). Method in class JavaAgent.context.AgentFrame

Terminates a specific panel.

terminatePanels(). Method in class JavaAgent.context.AgentFrame

Terminates all of the panels.

TEST. Static variable in class JavaAgent.agent.AgentParams

If true, all conditionally enclosed code blocks will be compiled and executed during interpretation.

TEST. Static variable in class JavaAgent.context.ContextParams

If true, all conditionally enclosed code blocks will be compiled and executed during interpretation.

testInequality(Vector, Literal). Method in class JavaAgent.resource.fopl.Clause

This function tests whether the given Literal in this Clause is an inequality and adds a new derived Clause to the given Vector if possible.

testValidity(KQMLmessage). Static method in class JavaAgent.resource.KQMLmessage

Tests the validity of a KQML message.

theForm. Variable in class JavaAgent.resource.fopl.FOPLFormula

The Formula contained in this FOPLFormula.

theLit. Variable in class JavaAgent.resource.fopl.LitLObject

The Literal contained in this LitLObject.

theName. Variable in class JavaAgent.resource.fopl.Symbol

the name of the Symbol

theName. Variable in class JavaAgent.resource.fopl.Variable

the name of this Variable

theOPAgent. Variable in class JavaAgent.oplan.OPReader

the handle of the OPAgent the created this OPReader

theOPAgent. Variable in class JavaAgent.oplan.OPWriter

the handle of the OPAgent this OPWriter belongs to

theTerms. Variable in class JavaAgent.resource.fopl.Literal

This Vector of Terms contains the predicate and the agument Terms in this Literal.

theType. Variable in class JavaAgent.resource.fopl.Variable

the Symbol that is the type of this Variable (by default null)

tokenmax. Static variable in class JavaAgent.resource.fopl.YYtokentypes

tokenmin. Static variable in class JavaAgent.resource.fopl.YYtokentypes

tokenname(int). Static method in class JavaAgent.resource.fopl.YYtokentypes

tokenname(Integer). Static method in class JavaAgent.resource.fopl.YYtokentypes

tokennames. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Tokentype. Static variable in class JavaAgent.resource.fopl.YYtokentypes

toOPlan. Variable in class JavaAgent.oplan.OPAgent

the OPWriter for writing to the OPlan Process

TopPanel. Variable in class JavaAgent.context.ViewMessagePanel

toSkolemizedAndOrForm(). Method in class JavaAgent.resource.fopl.Formula

This function returns a new Formula which is the skolemized version of this Formula in which the only connectives are AND and OR and only literals may be negated.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.BinConFormula

This function returns a new Formula which is the skolemized AND/OR form of this BinConFormula.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.Formula

This function returns a new Formula which is the skolemized AND/OR form of this Formula.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.Literal

This function returns a new Literal which is a copy of this Literal.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.MultiConFormula

This function returns a new Formula which is the skolemized AND/OR form of this MultiConFormula.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.NegFormula

This function returns a new Formula which is the skolemized AND/OR form of this Formula.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.Proposition

This function returns a new Proposition which is an equal copy of this Proposition.

toSkolemizedAndOrForm(Substitution, Vector, boolean). Method in class JavaAgent.resource.fopl.QuantFormula

This function returns a new Formula which is the skolemized AND/OR form of this QuantFormula.

toString(). Method in class JavaAgent.resource.fopl.BinConFormula

A MultiConFormula is printed as ( <connective> <formula> <formula> ).

toString(). Method in class JavaAgent.resource.cdl.CDLDescription

This function converts this CDL capability description into a printable (and parsable) String.

toString(). Method in class JavaAgent.resource.fopl.Clause

A Clause is printed as ( <literal>* ).

toString(). Method in class JavaAgent.resource.fopl.ConstTerm

A ConstTerm is printed as the Symbol it holds.

toString(). Method in class JavaAgent.resource.FileLocation

Returns String representation of the file location.

toString(). Method in class JavaAgent.resource.fopl.FOPLFormula

This function returns the String that represents this FOPLFormula.

toString(). Method in class JavaAgent.resource.fopl.FunctTerm

A FunctTerm is printed as ( <constant> <term>+ )

toString(). Method in interface JavaAgent.resource.cdl.KRSentence

This function generates a String that is the printable version of this KRSentence.

toString(). Method in class JavaAgent.resource.fopl.Literal

A Literal is printed as ( <constant> <term>+ ) or (NOT ( <constant> <term>+ )) if it was negated.

toString(). Method in class JavaAgent.resource.fopl.LitLObject

This function returns the String that represents this LitLObject.

toString(). Method in class JavaAgent.resource.fopl.MultiConFormula

A MultiConFormula is printed as ( <connective> <formula>+ ).

toString(). Method in class JavaAgent.resource.fopl.NegFormula

A NegFormula is printed as (NOT <formula>)

toString(). Method in interface JavaAgent.resource.cdl.Parsable

This function converts the Parsable into a String that if parsed again results in another Parsable of the same type that is equivalent to the original Parsable.

toString(). Method in class JavaAgent.resource.fopl.Proposition

A Proposition is printed as <constant> or (NOT <constant>) if it is negated.

toString(). Method in class JavaAgent.resource.fopl.QuantFormula

A QuantFormula is printed as ((<quantifier> <var-spec>) <quantifier>).

toString(). Method in class JavaAgent.resource.SocketAddress

Returns value of address as string for display.

toString(). Method in class JavaAgent.resource.fopl.Substitution

This function renders this Substitution printable.

toString(). Method in class JavaAgent.resource.fopl.Symbol

A Symbol is printed as the String that is its name.

toString(). Method in class JavaAgent.resource.fopl.UnnamedSymbol

An UnnamedSymbol is printed as its name and the unique index.

toString(). Method in class JavaAgent.resource.fopl.Variable

A Variable is printed as the String that is its name and its index if printWithIndex is true.

toString(). Method in class JavaAgent.resource.fopl.VarTerm

A VarTerm is printed as the Variable it holds.

total_msg. Variable in class JavaAgent.context.ViewMessagePanel

TotalMsg. Variable in class JavaAgent.context.ViewMessagePanel

TotalMsgLabel. Variable in class JavaAgent.context.ViewMessagePanel

traceStream. Static variable in class JavaAgent.resource.cdl.CDLInterpreter

transmission_pending. Variable in class JavaAgent.agent.MessageHandler

Is there a message currently being sent?

transmitter. Variable in class JavaAgent.agent.MessageHandler

Thread which pulls messages from the outgoing MessageBuffer and calls the CommInterface for transmission.

Type. Variable in class JavaAgent.context.LoadResourcePanel

TypeLabel. Variable in class JavaAgent.context.LoadResourcePanel

U

uncache(Object). Method in class JavaAgent.resource.Resource

Adds elements to the Resource from persistent storage.

UnificationException(String, Substitution). Constructor for class JavaAgent.resource.fopl.UnificationException

This constructor takes a String which should be a short message indicating why this exception was thrown and the Substitution from which it was thrown.

unify(Literal, Substitution). Method in class JavaAgent.resource.fopl.Literal

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

unify(Term, Substitution). Method in class JavaAgent.resource.fopl.ConstTerm

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Term, Substitution). Method in class JavaAgent.resource.fopl.FunctTerm

This function attempts to extend the given Substitution so that this FunctTerm and the given Term are unified.

unify(Term, Substitution). Method in class JavaAgent.resource.fopl.Term

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Term, Substitution). Method in class JavaAgent.resource.fopl.VarTerm

This function attempts to extend the given Substitution so that this Term and the given Term are unified.

unify(Variable, Term). Method in class JavaAgent.resource.fopl.Substitution

This function attempts to extend this Substitution such that the given Variable and the given Term are unified and returns whether this succeeded.

unify(Variable, Variable). Method in class JavaAgent.resource.fopl.Substitution

This function attempts to extend this Substitution such that the given Variables will be unified and returns true if this was possible.

UnnamedSymbol(). Constructor for class JavaAgent.resource.fopl.UnnamedSymbol

This protected constructor creates an unnamed symbol.

UnnamedSymbol(String). Constructor for class JavaAgent.resource.fopl.UnnamedSymbol

An UnnamedSymbol can be constructed with a name that will characterize the type of this Symbol.

UpMsg. Variable in class JavaAgent.context.ViewMessagePanel

URLLabel. Variable in class JavaAgent.context.LoadMessagePanel

URLLabel. Variable in class JavaAgent.context.LoadResourcePanel

usedInProof(KRSentence). Method in class JavaAgent.resource.fopl.FormulaSet

This function tests whether the given KRSentence was used in the last derivation or whether it could have been deleted from this FormulaSet without changing the derivability of the last query.

usedInProof(KRSentence). Method in class JavaAgent.resource.fopl.RTProver

This function tests whether the given KRSentence was used in the last derivation.

useVariable(Variable). Static method in class JavaAgent.resource.fopl.Variable

It is possible to reuse Variables with this function.

V

VARIABLE. Static variable in class JavaAgent.resource.fopl.YYlex

VARIABLE. Static variable in class JavaAgent.resource.fopl.YYparse

VARIABLE. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Variable(String). Constructor for class JavaAgent.resource.fopl.Variable

It is allowed to create Variables directly with this constructor.

VarTerm(String). Constructor for class JavaAgent.resource.fopl.VarTerm

This constructor takes a String that is interpreted as the name of a Variable.

VarTerm(Variable). Constructor for class JavaAgent.resource.fopl.VarTerm

This constructor just takes a Variable that is this Term.

vert_spacing. Static variable in class JavaAgent.context.InterfacePanel

VIEW_MESS_HT. Static variable in class JavaAgent.context.ContextParams

VIEW_MESS_WD. Static variable in class JavaAgent.context.ContextParams

VIEW_RES_HT. Static variable in class JavaAgent.context.ContextParams

VIEW_RES_WD. Static variable in class JavaAgent.context.ContextParams

ViewMessage. Variable in class JavaAgent.context.AgentFrame

ViewMessageAction(). Method in class JavaAgent.context.AgentFrame

Called when "View Messages" is selected from the menu bar.

ViewMessagePanel(AgentFrame). Constructor for class JavaAgent.context.ViewMessagePanel

Creates a ViewMessagePanel for a subclass of AgentFrame.

ViewResource. Variable in class JavaAgent.context.AgentFrame

ViewResourceAction(). Method in class JavaAgent.context.AgentFrame

Called when "View Resources" is selected from the menu bar.

ViewResourcePanel(AgentFrame). Constructor for class JavaAgent.context.ViewResourcePanel

Creates a ViewResourcePanel for subclass of AgentFrame.

vmp. Variable in class JavaAgent.context.AgentFrame

vrp. Variable in class JavaAgent.context.AgentFrame

W

working_dir. Variable in class JavaAgent.agent.Agent

Working directory for saving files on the local disk, null if the Agent cannot write to the local file system.

working_dir. Variable in class JavaAgent.context.RuntimeParams

Directory for local access to shared classes.

write_to_file(byte[], File, String, boolean). Static method in class JavaAgent.agent.FileIO

Writes a bite array to a local file.

writeToStream(OutputStream). Method in class JavaAgent.resource.fopl.ClauseSet

This function writes the content of this KnowledgeBase to the given OutputStream.

writeToStream(OutputStream). Method in class JavaAgent.resource.fopl.FormulaSet

This function writes the content of this KnowledgeBase to the given OutputStream.

X

XOR. Static variable in class JavaAgent.resource.fopl.YYlex

XOR. Static variable in class JavaAgent.resource.fopl.YYparse

XOR. Static variable in class JavaAgent.resource.fopl.YYtokentypes

Y

yy_accept. Static variable in class JavaAgent.resource.fopl.YYlex

YY_AT_BOL(). Method in class JavaAgent.resource.fopl.YYlex

yy_base. Static variable in class JavaAgent.resource.fopl.YYlex

YY_BUF_SIZE. Static variable in class JavaAgent.resource.fopl.YYlex

YY_BUFFER_EOF_PENDING. Static variable in class JavaAgent.resource.fopl.YYlex

YY_BUFFER_NEW. Static variable in class JavaAgent.resource.fopl.YYlex

YY_BUFFER_NORMAL. Static variable in class JavaAgent.resource.fopl.YYlex

yy_chk. Static variable in class JavaAgent.resource.fopl.YYlex

yy_def. Static variable in class JavaAgent.resource.fopl.YYlex

yy_ec. Static variable in class JavaAgent.resource.fopl.YYlex

YY_END_OF_BUFFER. Static variable in class JavaAgent.resource.fopl.YYlex

YY_END_OF_BUFFER_CHAR. Static variable in class JavaAgent.resource.fopl.YYlex

yy_find_action. Static variable in class JavaAgent.resource.fopl.YYlex

YY_FLEX_MAJOR_VERSION. Static variable in class JavaAgent.resource.fopl.YYlex

YY_FLEX_MINOR_VERSION. Static variable in class JavaAgent.resource.fopl.YYlex

yy_match. Static variable in class JavaAgent.resource.fopl.YYlex

yy_meta. Static variable in class JavaAgent.resource.fopl.YYlex

YY_MORE_ADJ. Static variable in class JavaAgent.resource.fopl.YYlex

YY_NULL. Static variable in class JavaAgent.resource.fopl.YYlex

YY_NUM_RULES. Static variable in class JavaAgent.resource.fopl.YYlex

yy_nxt. Static variable in class JavaAgent.resource.fopl.YYlex

yy_pop_state(). Method in class JavaAgent.resource.fopl.YYlex

yy_push_state(int). Method in class JavaAgent.resource.fopl.YYlex

YY_READ_BUF_SIZE. Static variable in class JavaAgent.resource.fopl.YYlex

YY_SC_TO_UI(char). Method in class JavaAgent.resource.fopl.YYlex

yy_set_bol(boolean). Method in class JavaAgent.resource.fopl.YYlex

yy_set_interactive(boolean). Method in class JavaAgent.resource.fopl.YYlex

YY_SPECIAL. Static variable in class JavaAgent.resource.fopl.YYlex

YY_START(). Method in class JavaAgent.resource.fopl.YYlex

YY_START_STACK_INCR. Static variable in class JavaAgent.resource.fopl.YYlex

YY_STATE_EOF(int). Method in class JavaAgent.resource.fopl.YYlex

yy_top_state(). Method in class JavaAgent.resource.fopl.YYlex

YYABORT. Static variable in class JavaAgent.resource.fopl.YYparse

YYACCEPT. Static variable in class JavaAgent.resource.fopl.YYparse

yybackup. Static variable in class JavaAgent.resource.fopl.YYparse

yybegin(int). Method in class JavaAgent.resource.fopl.YYlex

yychar. Variable in class JavaAgent.resource.fopl.YYparse

yychar1. Variable in class JavaAgent.resource.fopl.YYparse

yycheck. Static variable in class JavaAgent.resource.fopl.YYparse

YYCONTINUE. Static variable in class JavaAgent.resource.fopl.YYparse

yydebug. Variable in class JavaAgent.resource.fopl.YYlex

yydebug. Variable in class JavaAgent.resource.fopl.YYparse

yydefact. Static variable in class JavaAgent.resource.fopl.YYparse

yydefault. Static variable in class JavaAgent.resource.fopl.YYparse

yydefgoto. Static variable in class JavaAgent.resource.fopl.YYparse

YYEMPTY. Static variable in class JavaAgent.resource.fopl.YYparse

YYEOF. Static variable in class JavaAgent.resource.fopl.YYparse

YYEOF. Static variable in class JavaAgent.resource.fopl.YYtokentypes

yyerrdefault. Static variable in class JavaAgent.resource.fopl.YYparse

yyerrhandle. Static variable in class JavaAgent.resource.fopl.YYparse

yyerrlab. Static variable in class JavaAgent.resource.fopl.YYparse

yyerrlab1. Static variable in class JavaAgent.resource.fopl.YYparse

yyerror(String). Method in class JavaAgent.resource.fopl.YYparse

yyerror(String, boolean). Method in class JavaAgent.resource.fopl.YYparse

yyerror(String, boolean, boolean). Method in class JavaAgent.resource.fopl.YYparse

yyerror_verbose(String). Method in class JavaAgent.resource.fopl.YYparse

yyerrpop. Static variable in class JavaAgent.resource.fopl.YYparse

yyerrstatus. Variable in class JavaAgent.resource.fopl.YYparse

yyfatalerror(String). Method in class JavaAgent.resource.fopl.YYlex

YYFINAL. Static variable in class JavaAgent.resource.fopl.YYparse

YYFLAG. Static variable in class JavaAgent.resource.fopl.YYparse

YYLAST. Static variable in class JavaAgent.resource.fopl.YYparse

yylen. Variable in class JavaAgent.resource.fopl.YYparse

yylex. Variable in class JavaAgent.resource.fopl.YYparse

YYlex(). Constructor for class JavaAgent.resource.fopl.YYlex

yylex(). Method in class JavaAgent.resource.fopl.YYlex

YYlex(InputStream). Constructor for class JavaAgent.resource.fopl.YYlex

YYlex(InputStream, PrintStream). Constructor for class JavaAgent.resource.fopl.YYlex

yylexerror(String). Method in class JavaAgent.resource.fopl.YYlex

yyloc. Variable in class JavaAgent.resource.fopl.YYparse

yylval. Variable in class JavaAgent.resource.fopl.YYparse

yyn. Variable in class JavaAgent.resource.fopl.YYparse

yynerrs. Variable in class JavaAgent.resource.fopl.YYparse

yynewstate. Static variable in class JavaAgent.resource.fopl.YYparse

yynobranch. Static variable in class JavaAgent.resource.fopl.YYlex

YYNTBASE. Static variable in class JavaAgent.resource.fopl.YYparse

yyout. Variable in class JavaAgent.resource.fopl.YYparse

yypact. Static variable in class JavaAgent.resource.fopl.YYparse

yyparse(). Method in class JavaAgent.resource.fopl.YYparse

YYparse(InputStream). Constructor for class JavaAgent.resource.fopl.YYparse

This constructor simplifies contructing a FOPL parser for an InputStream.

YYparse(String). Constructor for class JavaAgent.resource.fopl.YYparse

This constructor simplifies contructing a FOPL parser for a String.

YYparse(YYlex). Constructor for class JavaAgent.resource.fopl.YYparse

YYparse(YYlex, PrintStream). Constructor for class JavaAgent.resource.fopl.YYparse

yypgoto. Static variable in class JavaAgent.resource.fopl.YYparse

yyprhs. Static variable in class JavaAgent.resource.fopl.YYparse

yyr1. Static variable in class JavaAgent.resource.fopl.YYparse

yyr2. Static variable in class JavaAgent.resource.fopl.YYparse

yyreduce. Static variable in class JavaAgent.resource.fopl.YYparse

yyreport(YYtoken). Method in class JavaAgent.resource.fopl.YYlex

yyreturn. Variable in class JavaAgent.resource.fopl.YYparse

yyreturn(int). Method in class JavaAgent.resource.fopl.YYlex

yyreturn(int). Method in class JavaAgent.resource.fopl.YYparse

yyreturn(Integer). Method in class JavaAgent.resource.fopl.YYlex

yyrhs. Static variable in class JavaAgent.resource.fopl.YYparse

yyrline. Static variable in class JavaAgent.resource.fopl.YYparse

yyss. Variable in class JavaAgent.resource.fopl.YYparse

yystate. Variable in class JavaAgent.resource.fopl.YYparse

yytable. Static variable in class JavaAgent.resource.fopl.YYparse

YYTERRCODE. Static variable in class JavaAgent.resource.fopl.YYparse

YYTERROR. Static variable in class JavaAgent.resource.fopl.YYparse

yytext. Variable in class JavaAgent.resource.fopl.YYparse

yytext(). Method in class JavaAgent.resource.fopl.YYlex

yytname. Static variable in class JavaAgent.resource.fopl.YYparse

YYtokentypes(). Constructor for class JavaAgent.resource.fopl.YYtokentypes

yytranslate. Static variable in class JavaAgent.resource.fopl.YYparse

yyval. Variable in class JavaAgent.resource.fopl.YYparse

yyvs. Variable in class JavaAgent.resource.fopl.YYparse