    All Packages  Index

# Class Hierarchy

- class java.lang.Object
  - class JavaAgent.agent.Agent
    - class JavaAgent.agent.ANS
    - class JavaAgent.oplan.OPAgent
  - class JavaAgent.resource.AgentAddress
    - class JavaAgent.resource.SocketAddress
  - class JavaAgent.context.AgentContext (implements JavaAgent.context.ContextInterface)
    - class JavaAgent.oplan.OPAgentContext
    - class JavaAgent.context.SocketContext
      - class JavaAgent.context.ANSContext
  - class JavaAgent.agent.AgentParams
  - class JavaAgent.resource.cdl.CDLDescription (implements JavaAgent.resource.cdl.Parsable)
  - class java.lang.ClassLoader
    - class JavaAgent.agent.NetworkClassLoader
  - class JavaAgent.resource.fopl.Clause (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KRSentence)
  - class JavaAgent.resource.fopl.ClauseSet (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KnowledgeBase)
  - class JavaAgent.agent.CommInterface
    - class JavaAgent.agent.SocketInterface
  - class java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    - class java.awt.Container
      - class java.awt.Panel
        - class java.applet.Applet
          - class JavaAgent.context.AgentApplet
            - class JavaAgent.context.ANSApplet
        - class JavaAgent.context.InterfacePanel
          - class JavaAgent.context.ComposeMessagePanel
          - class JavaAgent.context.LoadMessagePanel
          - class JavaAgent.context.LoadResourcePanel
          - class JavaAgent.context.SystemMessagesPanel
          - class JavaAgent.context.ViewMessagePanel
          - class JavaAgent.context.ViewResourcePanel
      - class java.awt.Window
        - class java.awt.Frame (implements java.awt.MenuContainer)
          - class JavaAgent.context.AgentFrame
  - interface JavaAgent.context.ContextInterface
  - class JavaAgent.context.ContextParams
  - class JavaAgent.agent.FileIO
  - class JavaAgent.resource.FileLocation
  - class JavaAgent.resource.fopl.Formula (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KRSentence)
    - class JavaAgent.resource.fopl.BinConFormula
    - class JavaAgent.resource.fopl.Literal (implements JavaAgent.resource.cdl.Parsable)
      - class JavaAgent.resource.fopl.Proposition
    - class JavaAgent.resource.fopl.MultiConFormula
    - class JavaAgent.resource.fopl.NegFormula
    - class JavaAgent.resource.fopl.QuantFormula
  - class JavaAgent.resource.fopl.FormulaSet (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KnowledgeBase)
  - class JavaAgent.resource.Interpreter
    - class JavaAgent.resource.AgentInterpreter
    - class JavaAgent.resource.cdl.CDLInterpreter
    - class JavaAgent.oplan.OPInterpreter
  - interface JavaAgent.resource.cdl.KRSentence
  - interface JavaAgent.resource.cdl.KnowledgeBase
  - class JavaAgent.resource.Language
    - class JavaAgent.resource.fopl.FOPLFormula (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KRSentence)
    - class JavaAgent.resource.KQMLmessage
    - class JavaAgent.resource.fopl.LitLObject (implements JavaAgent.resource.cdl.Parsable, JavaAgent.resource.cdl.KRSentence)
  - class JavaAgent.agent.MessageBuffer
  - class JavaAgent.agent.MessageHandler
    - class JavaAgent.agent.ANSMessageHandler
  - class JavaAgent.resource.NullResource
  - interface JavaAgent.resource.cdl.Parsable
  - class JavaAgent.resource.fopl.RTProver
  - class java.io.Reader
    - class java.io.InputStreamReader
      - class JavaAgent.resource.cdl.ExpressionReader
  - class JavaAgent.resource.Resource
    - class JavaAgent.resource.RetrievalResource
      - class JavaAgent.resource.Addresses
      - class JavaAgent.resource.Classes
      - class JavaAgent.resource.Files
      - class JavaAgent.resource.Interpreters
      - class JavaAgent.resource.Languages
  - class JavaAgent.agent.ResourceManager
    - class JavaAgent.agent.ANSResourceManager
  - class JavaAgent.context.RuntimeParams
    - class JavaAgent.context.SocketParams
      - class JavaAgent.oplan.OPSocketParams
  - class JavaAgent.resource.fopl.SubTermEnum (implements java.util.Enumeration)
  - class JavaAgent.resource.fopl.Substitution
  - class JavaAgent.resource.fopl.Symbol
    - class JavaAgent.resource.fopl.UnnamedSymbol
  - class JavaAgent.resource.fopl.Term (implements JavaAgent.resource.cdl.Parsable)
    - class JavaAgent.resource.fopl.ConstTerm
    - class JavaAgent.resource.fopl.FunctTerm
    - class JavaAgent.resource.fopl.VarTerm
  - class java.lang.Thread (implements java.lang.Runnable)
    - class JavaAgent.oplan.OPReader
    - class JavaAgent.oplan.OPWriter
    - class JavaAgent.agent.ReceiverThread
  - class java.lang.Throwable (implements java.io.Serializable)
    - class java.lang.Exception
      - class JavaAgent.resource.cdl.FormalismException
      - class JavaAgent.resource.InterpretationException
      - class JavaAgent.context.NonAgentMsgException
      - class JavaAgent.resource.ResourceException
      - class JavaAgent.resource.fopl.UnificationException
  - class JavaAgent.resource.fopl.Variable
  - class JavaAgent.resource.fopl.YYlex
  - class JavaAgent.resource.fopl.YYparse
  - class JavaAgent.resource.fopl.YYtokentypes