    All Packages  Class Hierarchy

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

# 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