|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Interface Summary | |
| AgentChangeListener | |
| Class Summary | |
| ActivationChooser | |
| Agent | This class defines an agent for the purposes of the agent specification system. |
| AgentSave | This class holds the information that is stored when an agent is saved. |
| AgentSpecification | Main class for Single Agent Specification GUI |
| AgentStartSpecification | |
| AllAgents | |
| AxisPopupListener | |
| BasicPanel | |
| Chooser | Dialog for choosing something. |
| ComponentDrag | |
| Configuration | |
| ConsumableMouseEvent | |
| ContractInstantiation | |
| ExportContract | |
| FileFormat | |
| InstantiatedContract | |
| MouseToAction | |
| OpenFileAction | |
| PopupListener | |
| QuitAction | |
| Satisfaction | View of satisfaction from the perspective of Agent Specification. |
| SatisfactionChooser | |
| SaveFileAction | |
| SetStartAgentsAction | |
| ShowContract | |
| SMPanel | This is the panel for developing StateMachines |
| Specification | Main class for Agent Specification GUI |
| SpecWindowCloser | |
| State | This is for a single state. |
| StateSave | This file contains the information required to save and restore a state. |
| SubContractsSpecification | |
| Transition | This is for a single transition. |
| TransitionChooser | Dialog for choosing transition conditions. |
| TransitionSave | This class encapsulates the saved information about a transition. |
| WindowCloser | |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||