A C D E F G H I L M N O P R S T U V

A

AbstractAgent - class AbstractAgent.
This class provides the basic structure for the implementation of agent loops.
AbstractAgent() - Constructor for class AbstractAgent
Constructs an AbstractAgent, with the default set of parameters.
AbstractAgent(String) - Constructor for class AbstractAgent
Constructs an AbstractAgent, using the parameter class whose name is given.
ACT_DESC - Static variable in class DomainFiles
This constant denotes the files of the action description.
actions - Variable in class AbstractAgent
The set of actions defined in the domain.
ActionSequence - class ActionSequence.
This class implements a sequence of compound actions:
ActionSequence() - Constructor for class ActionSequence
Constructs an empty ActionSequence.
actionsToString(int) - Method in class ActionSequence
Returns a string representation of a compound action.
add(int, String) - Method in class ActionSequence
Adds an action to the compound action at the given step.
add(int, String) - Method in class FileCollection
Used by the APLAgent Manager
add(String) - Method in class MathSet
Adds an element to the set.
add(Trajectory) - Method in class TrajectorySet
Adds a Trajectory to the TrajectorySet.
addTimeStep() - Method in class History
Adds a new time step to the history.
aFiles - Variable in class AbstractAgent
This is the collection of A-Prolog files for the reasoning modules of the agent.
AGENT_CLASS - Static variable in class AgentFiles
Used by the APLAgent Manager
agentActions - Variable in class AbstractAgent
The set of agent actions defined in the domain.
AgentFiles - class AgentFiles.
This class allows the programmer to access the list of A-Prolog files that constitute the reasoning modules.
AgentFiles() - Constructor for class AgentFiles
Used by the APLAgent Manager
agentLoop() - Method in class AbstractAgent
The agent loop.
agentLoop() - Method in class PlanningAgent
The agent loop for the planning agent.
agentLoop() - Method in class DiagnosticAgent
The agent loop for the diagnostic agent.
AgentParams - class AgentParams.
This class implements the basic methods needed to handle the agent parameters.
AgentParams() - Constructor for class AgentParams
Invoked only by the APLAgent Manager
appendHistory(String) - Method in class AbstractAgent
Appends the current history to the temporary file.
appendPlan(String, ActionSequence, int) - Method in class AbstractAgent
Appends a plan (i.e., an ActionSequence) to the temporary file, starting from the given time step.
appendText(String, String) - Method in class AbstractAgent
Appends a string to the temporary file, returned by a newline character.
askPermissionToAct - Variable in class AgentParams
True if the user must be allowed to accept or reject the actions that the agent decides to perform.

C

clear(int) - Method in class FileCollection
Used by the APLAgent Manager
clearTempFile(String) - Method in class AbstractAgent
Deletes the contents of the given temporary file.
clone() - Method in class FileCollection
Used by the APLAgent Manager
computeAllTrajectories(MathSet, int, int) - Method in class AbstractAgent
Computes all the models of the given list of files, with the given values for A-Prolog parameters currtime and lasttime, and returns the TrajectorySet represented by the models.
computeOneTrajectory(MathSet, int, int) - Method in class AbstractAgent
Computes one model of the given list of files, with the given values for A-Prolog parameters currtime and lasttime, and returns the Trajectory contained in the model.
currTime - Variable in class AbstractAgent
The current time step.

D

debug - Variable in class AgentParams
True if the files used when calling the inference engine should be dumped to file together with a description of the command line used.
debugFilePrefix - Variable in class AgentParams
Contains the prefix to be added to the dumps of the files used when calling the inference engine.
dFiles - Variable in class AbstractAgent
This is the collection of A-Prolog files that describe the domain.
DIAGNOSTIC - Static variable in class AgentFiles
This constant denotes the files of the diagnostic module.
DiagnosticAgent - class DiagnosticAgent.
This class implements the agent loop for an agent which is capable of planning and of interpretation of unexpected observations.
DiagnosticAgent() - Constructor for class DiagnosticAgent
Constructs an instance of DiagnosticAgent.
diff(MathSet) - Method in class MathSet
Returns the set difference between the current set and another MathSet.
diff(Vector) - Method in class MathSet
Returns the set difference between the current set and a Vector.
DomainFiles - class DomainFiles.
This class allows the programmer to access the list of A-Prolog files that describe the domain.
DomainFiles() - Constructor for class DomainFiles
Used by the APLAgent Manager

E

elements() - Method in class TrajectorySet
Returns an Enumeration of the trajectories in the TrajectorySet.
engine - Variable in class AbstractAgent
Used internally
exogenousActions - Variable in class AbstractAgent
The set of exogenous actions defined in the domain.
explainObservations() - Method in class DiagnosticAgent
Checks whether the observations are unexpected.
extendTimeSteps(int) - Method in class Trajectory
Ensures that the trajectory is large enough to contain the given step.
extendTimeSteps(int) - Method in class ActionSequence
Ensures that the sequence is large enough to contain the given step.

F

FALSE - Static variable in class Observations
The fluent is observed to be false.
FileCollection - class FileCollection.
This class implements the basic functionality for the collections of A-Prolog files.
FileCollection(int[], String[]) - Constructor for class FileCollection
Used by the APLAgent Manager
fillFrom(AgentParams) - Method in class AgentParams
Invoked only by the APLAgent Manager
findDefinedTrajectories(ActionSequence) - Method in class AbstractAgent
Computes the set of trajectories defined by the given plan.
findPlan(String) - Method in class PlanningAgent
Computes a plan that achieves the given goal.
fluents - Variable in class AbstractAgent
The set of fluents defined in the domain.

G

get(int) - Method in class MathSet
Returns the ith element of the set.
get(int) - Method in class TrajectorySet
Retrieves a Trajectory from the TrajectorySet.
get(int) - Method in class Observations
Retrieves the observed value for a fluent.
get(int) - Method in class Occurrences
Returns whether an action has been observed to occur.
get(String) - Method in class Observations
Retrieves the observed value for a fluent.
get(String) - Method in class Occurrences
Returns whether an action has been observed to occur.
getAcceptAllFilterUsed(int) - Method in class FileCollection
Used by the APLAgent Manager
getAcceptAllFilterUsed(int) - Method in class DomainFiles
Used by the APLAgent Manager
getAcceptAllFilterUsed(int) - Method in class AgentFiles
Used by the APLAgent Manager
getAction(int) - Method in class Occurrences
Returns the name of the action whose index is specified.
getAction(int, int) - Method in class ActionSequence
Returns an action from the compound action at the specified step.
getActions() - Method in class History
Returns the actions that the can be described by the History.
getActions(int) - Method in class ActionSequence
Returns an Enumeration of the actions contained in a compound action.
getActionSequence() - Method in class Trajectory
Returns the sequence of actions a0, a1,...,a(n-1) of the trajectory.
getActionSet(int) - Method in class ActionSequence
Returns the MathSet wrapped around a compound action.
getAgentActions() - Method in class History
Returns the agent actions that the can be described by the History.
getAgentParams() - Method in class AbstractAgent
Returns the set of parameters for the agent, after they have been initialized by the APLAgent Manager.
getCollectionName() - Method in class FileCollection
Used by the APLAgent Manager
getCollectionName() - Method in class DomainFiles
Used by the APLAgent Manager
getCollectionName() - Method in class AgentFiles
Used by the APLAgent Manager
getCurrTime() - Method in class History
Returns the step of the history which corresponds to the current moment of time.
getExogenousActions() - Method in class History
Returns the exugenous action that the can be described by the History.
getFileFilters(int) - Method in class FileCollection
Used by the APLAgent Manager
getFileFilters(int) - Method in class DomainFiles
Used by the APLAgent Manager
getFileFilters(int) - Method in class AgentFiles
Used by the APLAgent Manager
getFiles(int) - Method in class FileCollection
Returns a Vector containing the list of files denoted by the specified index.
getFirstFile(int) - Method in class FileCollection
Used by the APLAgent Manager
getFluent(int) - Method in class Observations
Retrieves the name of the fluent whose index is specified.
getFluents() - Method in class History
Returns the fluents that the can be described by the History.
getLastTime() - Method in class Trajectory
Returns the index of the last step in the trajectory.
getLastTime() - Method in class ActionSequence
Returns the number of usable compound actions in the sequence (recall that the last compound action is assumed to be always empty).
getLength() - Method in class Trajectory
Returns the number of steps in the trajectory.
getModuleName(int) - Method in class FileCollection
Used by the APLAgent Manager
getModuleNumber(int) - Method in class FileCollection
Used by the APLAgent Manager
getNModules() - Method in class FileCollection
Used by the APLAgent Manager
getNumActions() - Method in class ActionSequence
Returns the number of actions present in the ActionSequence.
getNumActionsAt(int) - Method in class ActionSequence
Returns the number of actions present at the given step of the ActionSequence.
getNumSteps() - Method in class History
Returns the number of step contained in the history.
getObservations() - Method in class History
Returns the set of observations on fluents for the last time step.
getObservations() - Method in class AbstractAgent
Gathers the observations about the current time step.
getObservations(boolean) - Method in class AbstractAgent
Gathers the observations about the current time step.
getObservations(int) - Method in class History
Returns the set of observations on fluents for the given step.
getObservationsAndGoal() - Method in class AbstractAgent
Gathers the observations about the current time step.
getOccurrences() - Method in class History
Returns the set of observations on actions for the last time step.
getOccurrences(int) - Method in class History
Returns the set of observations on actions for the given step.
getSingleFileAllowed(int) - Method in class FileCollection
Used by the APLAgent Manager
getSingleFileAllowed(int) - Method in class AgentFiles
Used by the APLAgent Manager
getSize() - Method in class TrajectorySet
Returns the number of elements of the TrajectorySet.
getSize() - Method in class Observations
Returns the number of fluents that can be possibly described by this set of observations.
getSize() - Method in class Occurrences
Returns the number of actions that can be possibly described by these observations.
getState(int) - Method in class Trajectory
Retrieves a state from the trajectory based on its index.
getStates() - Method in class Trajectory
Returns an Enumeration of all the states in the trajectory.
getStatesAt(int) - Method in class TrajectorySet
Returns the set of states at the given step of all the trajectories in this TrajectorySet.
getString(String) - Method in class AgentParams
Invoked only by the APLAgent Manager
getTrimmedLength() - Method in class ActionSequence
Returns the length of the longest sub-sequence of this ActionSequence which starts at 0 and end with a non-empty compound action.
goals - Variable in class AbstractAgent
The set of goals defined in the domain.

H

HIDES - Static variable in class DomainFiles
This constant denotes the files that contain #hide statements (atoms that should be hidden in the output of the inference engine).
HIDES - Static variable in class AgentFiles
This constant denotes the files that contain #hide statements (atoms that should be hidden in the output of the inference engine).
history - Variable in class AbstractAgent
The current history.
History - class History.
This class represent a history, i.e.
History(Vector, Vector, Vector, Vector) - Constructor for class History
Constructs an empty History with the specified sets of fluents, actions, agent actions, and exogenous actions.

I

initialize(APLAgentMgr, AgentFiles, DomainFiles, History, Vector, File, Engine, AgentParams) - Method in class AbstractAgent
Invoked only by the APLAgent Manager
intersect(MathSet) - Method in class MathSet
Returns the intersection between the current set and another MathSet.
intersect(Vector) - Method in class MathSet
Returns the intersection between the current set and a Vector.
isBoolean(String) - Method in class AgentParams
Invoked only by the APLAgent Manager
isTrue(int) - Method in class State
Checks if the given fluent is true in the state.
isTrue(String) - Method in class State
Checks if the given fluent is true in the state.

L

list() - Method in class MathSet
Writes the contents of the set to System.out, putting one element per line and prefixing the element with its index.
list() - Method in class AgentParams
Invoked only by the APLAgent Manager
load() - Method in class AgentParams
Invoked only by the APLAgent Manager
load(InputStream) - Method in class History
Fills the History with data loaded from an InputStream.
load(String) - Method in class FileCollection
Used by the APLAgent Manager
log(String) - Method in class AbstractAgent
Appends a line to the Log Window in the APLAgent Manager.

M

MathSet - class MathSet.
This class implements a set of strings.
MathSet() - Constructor for class MathSet
Constructs an empty set.
MathSet(String) - Constructor for class MathSet
Constructs a set containing the specified string.
MathSet(String, MathSet) - Constructor for class MathSet
Constructs a set whose elements belong to the given set and begin with the given string followed by a parentesis.
MathSet(Vector) - Constructor for class MathSet
Wraps a MathSet around an existing Vector instance.

N

nextVal(boolean) - Static method in class Occurrences
Returns true if the parameter is false, and false otherwise.
nextVal(int) - Static method in class Observations
Returns the next value that can be used for observations, given the current one.

O

Observations - class Observations.
This class implements a set of observations on the truth value of fluents.
Observations(Vector, int) - Constructor for class Observations
Constructs a set of observations on the truth value of the given set of fluents at the specified time step.
Observations(Vector, int, int) - Constructor for class Observations
Constructs a set of observations on the truth value of the given set of fluents at the specified time step.
Occurrences - class Occurrences.
This class represents a set of observations on the occurrence of actions.
Occurrences(Vector, int) - Constructor for class Occurrences
Constructs a set of observations on occurrences of actions for the given time step.
Occurrences(Vector, int, boolean) - Constructor for class Occurrences
Constructs a set of observations on occurrences of actions for the given time step.

P

performPartOfPlan(ActionSequence) - Method in class AbstractAgent
Performs the first compound action of the given plan.
PLANNING - Static variable in class AgentFiles
This constant denotes the files of the planning module.
PlanningAgent - class PlanningAgent.
This class implements the agent loop for an agent which is capable of planning (but is not capable of interpretation of unexpected observations).
PlanningAgent() - Constructor for class PlanningAgent
Constructs an instance of PlanningAgent.
PROB_INST - Static variable in class DomainFiles
This constant denotes the files of the problem instance.

R

remove(int, int) - Method in class FileCollection
Used by the APLAgent Manager
remove(String) - Method in class MathSet
Removes one element from the set
remTimeStep() - Method in class History
Removes the last time step from the history.
repeatIteration() - Method in class AbstractAgent
Repeats the last iteration of the agent loop.
repeatIterationNoModel() - Method in class AbstractAgent
Repeats the last iteration of the agent loop.
repeatIterationNoPlan() - Method in class AbstractAgent
Repeats the last iteration of the agent loop.
reset() - Method in class History
Removes all observations from the History.
run() - Method in class AbstractAgent
Invoked only by the APLAgent Manager

S

save(String) - Method in class FileCollection
Used by the APLAgent Manager
set(int, boolean) - Method in class State
Sets a fluent's truth value.
set(int, boolean) - Method in class Occurrences
Sets whether the action was observed to occur.
set(int, int) - Method in class Observations
Sets the observed value of a fluent.
set(String, boolean) - Method in class State
Sets a fluent's truth value.
set(String, boolean) - Method in class Occurrences
Sets whether the action was observed to occur.
set(String, int) - Method in class Observations
Sets the observed value of a fluent.
setCurrTime(int) - Method in class History
Sets the step of the history which corresponds to the current moment of time.
setObservations(int, Observations) - Method in class History
Sets the set of observations on fluents for the given step.
setObservations(Observations) - Method in class History
Sets the set of observations on fluents for the last time step.
setOccurrences(int, Occurrences) - Method in class History
Sets the set of observations on actions for the given step.
setOccurrences(Occurrences) - Method in class History
Sets the set of observations on actions for the last time step.
setState(int, State) - Method in class Trajectory
Sets a state in the trajectory.
setString(String, String) - Method in class AgentParams
Invoked only by the APLAgent Manager
showSelectedGoal(String) - Method in class AbstractAgent
Updates the GUI in order to show the goal selected by the agent.
size() - Method in class MathSet
Returns the number of elements in the set.
State - class State.
This class implements a state, i.e.
State(Vector) - Constructor for class State
Constructs a state based on the given set of fluents.
State(Vector, boolean) - Constructor for class State
Constructs a state based on the given set of fluents.
store() - Method in class AgentParams
Invoked only by the APLAgent Manager

T

tempFile - Variable in class AbstractAgent
The name of the temporary file.
terminateLoop() - Method in class AbstractAgent
Terminates the agent loop.
terminateLoopNoModel() - Method in class AbstractAgent
Terminates the agent loop.
terminateLoopNoPlan() - Method in class AbstractAgent
Terminates the agent loop.
testFluent(String) - Method in class DiagnosticAgent
Displays a dialog asking the user if the given fluent is true or false.
toAProlog() - Method in class ActionSequence
Returns an A-Prolog representation of the ActionSequence.
toAProlog() - Method in class History
Returns a Vector containing the A-Prolog representation of the History.
toAProlog() - Method in class Observations
Returns a string containing the A-Prolog representation of the observations.
toAProlog() - Method in class Occurrences
Returns a string containing the A-Prolog representation of the observations.
toAProlog(File) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the whole ActionSequence.
toAProlog(File) - Method in class History
Writes to a file the A-Prolog representation of the History.
toAProlog(File, boolean) - Method in class History
Writes to a file the A-Prolog representation of the History.
toAProlog(int) - Method in class ActionSequence
Returns an A-Prolog representation of the ActionSequence starting from the given step.
toAProlog(int, File) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the ActionSequence starting from the given step.
toAProlog(int, File, boolean) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the ActionSequence starting from the given step.
toAProlog(int, String) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the ActionSequence starting from the given step.
toAProlog(int, String, boolean) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the ActionSequence starting from the given step.
toAProlog(String) - Method in class ActionSequence
Writes to the given file an A-Prolog representation of the whole ActionSequence.
toAProlog(String) - Method in class History
Writes to a file the A-Prolog representation of the History.
toAProlog(String, boolean) - Method in class History
Writes to a file the A-Prolog representation of the History.
toggle(int) - Method in class Observations
Updates the observed value of a fluent by taking the next value that can be used for observations.
toggle(int) - Method in class Occurrences
Inverts the truth value of an observation.
toggle(String) - Method in class Observations
Updates the observed value of a fluent by taking the next value that can be used for observations.
toggle(String) - Method in class Occurrences
Inverts the truth value of an observation.
toString() - Method in class MathSet
Returns a string representing the set.
toString() - Method in class Trajectory
Returns a string representation of the whole trajectory States and compound actions are represented as sets, and are comma-separated.
toString() - Method in class State
Returns a string representation of the state.
toString() - Method in class ActionSequence
Returns a string representation of the whole ActionSequence.
toString() - Method in class Observations
Returns a string representation of the observations.
toString() - Method in class Occurrences
Returns a string representation of the observations.
toString(int) - Method in class Trajectory
Returns a string representation of the trajectory, starting from the given step.
toString(int) - Method in class ActionSequence
Returns a string representation of the ActionSequence starting from the given step.
toStringAsSet() - Method in class State
Returns a string representation of the state in form of a set.
toVector() - Method in class MathSet
Returns a Vector containing the elements of this set.
toVector() - Method in class State
Returns a Vector representing this set.
toVector() - Method in class TrajectorySet
Returns a Vector representing the whole TrajectorySet.
toVector() - Method in class History
Returns a Vector representing the History.
toVector() - Method in class Observations
Returns a Vector containing the representation of the observations.
toVector() - Method in class Occurrences
Returns a Vector containing the A-Prolog representation of the observations.
toVector(int) - Method in class TrajectorySet
Returns a Vector representing the TrajectorySet, starting from the given step.
Trajectory - class Trajectory.
This class represents a trajectory, i.e.
Trajectory(Vector) - Constructor for class Trajectory
Constructs a trajectory whose states are subsets of the given fluents.
TrajectorySet - class TrajectorySet.
This class represents a set of trajectories.
TrajectorySet() - Constructor for class TrajectorySet
Constructs an empty TrajectorySet.
TRUE - Static variable in class Observations
The fluent is observed to be true.

U

union(MathSet) - Method in class MathSet
Returns the union between the current set and another MathSet.
union(Vector) - Method in class MathSet
Returns the union between the current set and a Vector.
UNSPECIFIED - Static variable in class Observations
No observation is available on the fluent.
updateAgentFiles(AgentFiles) - Method in class AbstractAgent
Invoked only by the APLAgent Manager
updateGoals(Vector, DomainFiles) - Method in class AbstractAgent
Invoked only by the APLAgent Manager

V

verboseIteration - Variable in class AgentParams
True if the user must be prompted with dialogs to enter observations and to be informed of the actions that the agent has decided to perform.

A C D E F G H I L M N O P R S T U V