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

A

action - Variable in class JSHOP2.PlanStepInfo
 
actionPerformed(ActionEvent) - Method in class JSHOP2.JSHOP2GUI.SHOP2GUIMenuHandler
 
add(State, Term[], Vector[]) - Method in class JSHOP2.DelAddAtomic
To add this atomic delete/add element to the current state of the world.
add(State, Term[], Vector[]) - Method in class JSHOP2.DelAddElement
What to do when an operator has this element in its add list and it is being applied.
add(State, Term[], Vector[]) - Method in class JSHOP2.DelAddForAll
To add the atoms of this ForAll delete/add element to the current state of the world.
add(State, Term[], Vector[]) - Method in class JSHOP2.DelAddProtection
To add this atom to the list of protected atoms.
add - Variable in class JSHOP2.InternalOperator
This operator's add list, a Vector of objects of type DelAddElement.
add - Variable in class JSHOP2.Operator
Represents the add list in case it is a real list and not a variable.
add(Predicate) - Method in class JSHOP2.State
To add a predicate to the current state of the world.
addAxiom(InternalAxiom) - Method in class JSHOP2.InternalDomain
To add an axiom to the list of axioms read from the file.
addCalc(String) - Method in class JSHOP2.InternalDomain
To add the String name of an external code call to the list of such code calls.
addCompoundTask(String) - Method in class JSHOP2.InternalDomain
To add a String used as a name of a compound task in the domain description to the list of compound task names, in case it has not been added before.
addConstant(String) - Method in class JSHOP2.InternalDomain
To add a String used as a constant symbol in the domain description to the list of constant symbols, in case it has not been added before.
addMethod(InternalMethod) - Method in class JSHOP2.InternalDomain
To add a method to the list of methods read from the file.
addOperator(InternalOperator) - Method in class JSHOP2.InternalDomain
To add an operator to the list of operators read from the file.
addOperator(Operator, Term[]) - Method in class JSHOP2.Plan
To add an operator instance to the end of the plan.
addPrimitiveTask(String) - Method in class JSHOP2.InternalDomain
To add a String used as a name of a primitive task in the domain description to the list of primitive task names, in case it has not been added before.
addProtection(Predicate) - Method in class JSHOP2.State
To protect a given predicate in the current state of the world.
addVarIdx - Variable in class JSHOP2.Operator
Represents the add list in case it is a variable (The integer value represents variable's index), otherwise it is -1.
AND - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
append(Term) - Method in class JSHOP2.List
To append another term to the end of this list.
apply(Term[], State, Vector[]) - Method in class JSHOP2.Operator
This function is used to apply this operator to a given state.
applySubstitution(Term[]) - Method in class JSHOP2.Predicate
To apply a binding to this predicate.
args - Variable in class JSHOP2.TermCall
The list that represents the arguments of the call term.
ASSIGN - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
atom - Variable in class JSHOP2.DelAddAtomic
The atom to be deleted/added.
atom - Variable in class JSHOP2.DelAddProtection
The atom to be protected/unprotected.
atoms - Variable in class JSHOP2.DelAddForAll
The atoms to be deleted/added.
atoms - Variable in class JSHOP2.State
The atoms in the current state of the world as an array of Vectors.
ax - Variable in class JSHOP2.MyIterator
The axiom being used right now.
Axiom - Class in JSHOP2
Each axiom at run time is represented as a class derived from this abstract class.
Axiom(Predicate, int) - Constructor for class JSHOP2.Axiom
To initialize the axiom.
axiom() - Method in class JSHOP2.JSHOP2Parser
 
AXIOM - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
axioms - Variable in class JSHOP2.Domain
The axioms in this domain.
axioms - Variable in class JSHOP2.InternalDomain
A Vector of axioms seen so far in the domain description.
axioms - Variable in class JSHOP2.State
The axioms in the domain description as a two-dimensional array.

B

backtrack(DefaultMutableTreeNode) - Method in class JSHOP2.JSHOP2GUI
This function handles the procedures that take place when backtracking.
bind(Term[]) - Method in class JSHOP2.Precondition
This abstract function binds the logical expression to a given binding.
bind(Term[]) - Method in class JSHOP2.PreconditionAssign
To bind the assignment logical expression to some binding.
bind(Term[]) - Method in class JSHOP2.PreconditionAtomic
To bind the assignment logical expression to some binding.
bind(Term[]) - Method in class JSHOP2.PreconditionCall
To bind the call logical expression to some binding.
bind(Term[]) - Method in class JSHOP2.PreconditionForAll
To bind the ForAll logical expression to some binding.
bind(Term[]) - Method in class JSHOP2.PreconditionNegation
To bind the negation logical expression to some binding.
bind(Term[]) - Method in class JSHOP2.PreconditionNil
Since this is an empty logical expression, this function does nothing.
bind(Term[]) - Method in class JSHOP2.TaskAtom
To calculate the result of applying a given binding to this task atom.
bind(Term[]) - Method in class JSHOP2.TaskList
To bind a task list to a given binding.
bind(Term[]) - Method in class JSHOP2.Term
To apply a given binding to this term.
bind(Term[]) - Method in class JSHOP2.TermCall
To apply a given binding to the list of arguments of the function call.
bind(Term[]) - Method in class JSHOP2.TermConstant
Since this term is a constant symbol, binding will not change it, therefore, simply this constant symbol itself is returned.
bind(Term[]) - Method in class JSHOP2.TermList
To apply a given binding to the list this term represents.
bind(Term[]) - Method in class JSHOP2.TermNumber
Since this term is a numerical term, binding will not change it, therefore, simply this numerical term itself is returned.
bind(Term[]) - Method in class JSHOP2.TermVariable
Since this term is a variable symbol, binding it basically means finding out whether or not this variable is already mapped to something in the input, and if so, returning the value this variable is mapped to.
binding - Variable in class JSHOP2.InternalVars
The binding that unifies the head of a method or an operator with the task being achieved.
binding - Variable in class JSHOP2.MyIterator
When an axiom is being used, this variable holds the binding that unifies the head of the axiom and the atom being proved.
bindings - Variable in class JSHOP2.Precondition
The array that stores the sorted satisfiers for this logical precondition if this is a :sort-by logical precondition.
bindingsIdx - Variable in class JSHOP2.Precondition
The index pointing to the next satisfier to be returned in case this is a :sort-by logical precondition.
bindList(Term[]) - Method in class JSHOP2.List
To apply a given binding to this list.
blueBall - Variable in class JSHOP2.JSHOP2GUI.NodeRenderer
 
boundP - Variable in class JSHOP2.PreconditionAtomic
The predicate this atomic logical expression represents, after all the bindings are applied.
boundT - Variable in class JSHOP2.PreconditionAssign
The term this assignment logical expression represents, after all the bindings are applied.
boundT - Variable in class JSHOP2.PreconditionCall
The term this call logical expression represents, after all the bindings are applied.
branches - Variable in class JSHOP2.InternalAxiom
A Vector of logical expressions each of which represents a branch of the axiom.
branchSize - Variable in class JSHOP2.Axiom
Number of branches of this axiom.

C

calcs - Variable in class JSHOP2.InternalDomain
A Vector of String names of user-defined external code calls that must be imported before being used in the domain description.
Calculate - Interface in JSHOP2
This is the common interface for code calls in call terms.
calculate - Variable in class JSHOP2.TermCall
The Java implementation of the function that is called in this call term.
call(List) - Method in interface JSHOP2.Calculate
This abstract function implements the code call associated with the class implementing this interface.
call(List) - Method in class JSHOP2.Div
This function executes the code call and returns the result by dividing the first argument by the second one, the result of that division by the third argument, and so on.
call(List) - Method in class JSHOP2.Equal
This function executes the code call and returns NIL if not all of its (possibly several) arguments are equal, and something other than NIL otherwise.
CALL - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
call(List) - Method in class JSHOP2.Less
This function executes the code call and returns something other than NIL if and only if each argument in its argument list is less than the next argument.
call(List) - Method in class JSHOP2.LessEq
This function executes the code call and returns something other than NIL if and only if each argument in its argument list is less than or equal to the next argument.
call(List) - Method in class JSHOP2.Member
This function executes the code call and returns NIL if its first argument is not a member of its second argument, and something other than NIL otherwise.
call(List) - Method in class JSHOP2.Minus
This function executes the code call and returns the result by subtracting the second argument from the first one, the third argument from the result of that subtraction, and so on.
call(List) - Method in class JSHOP2.More
This function executes the code call and returns something other than NIL if and only if each argument in its argument list is more than the next argument.
call(List) - Method in class JSHOP2.MoreEq
This function executes the code call and returns something other than NIL if and only if each argument in its argument list is more than or equal to the next argument.
call(List) - Method in class JSHOP2.Mult
This function executes the code call and returns the product of all its arguments.
call(List) - Method in class JSHOP2.NotEq
This function executes the code call and returns something other than NIL if and only if each argument in its argument list is not equal to the next argument.
call(List) - Method in class JSHOP2.Plus
This function executes the code call and returns the sum of all its arguments.
call(List) - Method in class JSHOP2.Power
This function executes the code call and returns the result by raising the first argument to the power of the second one, the result of that to the power of the third argument, and so on.
children - Variable in class JSHOP2.PlanStepInfo
 
classCnt - Static variable in class JSHOP2.DelAddForAll
The number of objects already instantiated from this class.
classCnt - Static variable in class JSHOP2.InternalAxiom
The number of objects already instantiated from this class.
classCnt - Static variable in class JSHOP2.InternalMethod
The number of objects already instantiated from this class.
classCnt - Static variable in class JSHOP2.InternalOperator
The number of objects already instantiated from this class.
classCnt - Static variable in class JSHOP2.LogicalExpression
The number of times function getClassCnt() is called before.
clear() - Method in class JSHOP2.State
To empty the world state.
clone() - Method in class JSHOP2.Plan
To clone an object of this class.
clone() - Method in class JSHOP2.TaskList
This clone function was added so that TaskLists can be copied and passed to JSHOP2GUI.
close(int) - Method in class JSHOP2.InternalDomain
This function writes the Java code necessary to produce this domain at run time in the appropriate file.
cnt - Variable in class JSHOP2.DelAddForAll
The number of objects already instantiated from this class before this object was instantiated.
cnt - Variable in class JSHOP2.InternalElement
The number of objects already instantiated from this class before this object was instantiated.
cnt - Variable in class JSHOP2.LogicalExpressionConjunction
The number of objects instantiated from this class before this object was instantiated.
cnt - Variable in class JSHOP2.LogicalExpressionDisjunction
The number of objects instantiated from this class before this object was instantiated.
command() - Method in class JSHOP2.JSHOP2Parser
 
commandInitialize() - Method in class JSHOP2.InternalDomain
This function performs some necessary initialization when a problem file is being compiled, mainly reading and parsing the text file associated with the domain the planning problem is defined in.
commandToCode(LinkedList<Vector<Predicate>>, LinkedList<TaskList>) - Method in class JSHOP2.InternalDomain
This function writes the Java code necessary to produce these planning problems at run time in the appropriate file.
COMMENT - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
comp - Variable in class JSHOP2.Precondition
The function to be used to sort the possible bindings if this is a :sort-by logical precondition.
compare(Term[], Term[]) - Method in class JSHOP2.CompLess
The function that implements the actual comparison.
compare(Term[], Term[]) - Method in class JSHOP2.CompMore
The function that implements the actual comparison.
CompileTimeObject - Class in JSHOP2
All the objects at compile time are instances of classes that are derived from this abstract class.
CompileTimeObject() - Constructor for class JSHOP2.CompileTimeObject
 
CompLess - Class in JSHOP2
This class handles :sort-by logical preconditions that use numerical less than as the sorting function.
CompLess(int) - Constructor for class JSHOP2.CompLess
To initialize this object.
CompMore - Class in JSHOP2
This class handles :sort-by logical preconditions that use numerical more than as the sorting function.
CompMore(int) - Constructor for class JSHOP2.CompMore
To initialize this object.
compoundTasks - Variable in class JSHOP2.Domain
The String names of compound tasks that appear in the domain description.
compoundTasks - Variable in class JSHOP2.InternalDomain
A Vector of String names of compound tasks seen so far in the domain.
consequence - Variable in class JSHOP2.LogicalExpressionForAll
The consequence of this ForAll logical expression.
consequence - Variable in class JSHOP2.PreconditionForAll
The consequence of the ForAll logical expression this object represents.
constants - Variable in class JSHOP2.Domain
The String names of constant symbols that appear in the domain description.
constants - Variable in class JSHOP2.InternalDomain
A Vector of String names of constant symbols seen so far in the domain.
constants - Static variable in class JSHOP2.TermConstant
To represent the constant symbols that we already know exist, so that there will be no duplicate copies of those symbols.
constantsSize - Variable in class JSHOP2.InternalDomain
The number of constant symbols already seen in the planning domain.
cost - Variable in class JSHOP2.InternalOperator
The cost of this operator.
cost - Variable in class JSHOP2.Operator
Cost of this operator.
cost - Variable in class JSHOP2.Plan
The cost of the plan.
count - Variable in class JSHOP2.JSHOP2GUI
 
createTaskList(Vector<TaskList>, boolean) - Static method in class JSHOP2.TaskList
To create a non-atomic task list.
currentBinding - Variable in class JSHOP2.PreconditionForAll
To keep track of the bindings seen so far.
currentPlan - Static variable in class JSHOP2.JSHOP2
The plan currently being constructed.

D

da() - Method in class JSHOP2.JSHOP2Parser
 
dae() - Method in class JSHOP2.JSHOP2Parser
 
dec() - Method in class JSHOP2.NumberedPredicate
To decrease the integer by one.
DEFDOMAIN - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
DEFPROBLEM - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
DEFPROBLEMSET - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
del(State, Term[], Vector[]) - Method in class JSHOP2.DelAddAtomic
To delete this atomic delete/add element from the current state of the world.
del(State, Term[], Vector[]) - Method in class JSHOP2.DelAddElement
What to do when an operator has this element in its delete list and it is being applied.
del(State, Term[], Vector[]) - Method in class JSHOP2.DelAddForAll
To delete the atoms of this ForAll delete/add element from the current state of the world.
del(State, Term[], Vector[]) - Method in class JSHOP2.DelAddProtection
To delete this atom from the list of protected atoms.
del - Variable in class JSHOP2.InternalOperator
This operator's delete list, a Vector of objects of type DelAddElement.
del - Variable in class JSHOP2.Operator
Represents the delete list in case it is a real list and not a variable.
del(Predicate) - Method in class JSHOP2.State
To delete a predicate from the current state of the world.
delAdd - Variable in class JSHOP2.InternalVars
An array of size 4 to store the atoms and protections that are being deleted or added to the current state of the world as a result of application of an operator, to be used in case of a backtrack over that operator.
delAdd - Variable in class JSHOP2.JSHOP2GUI.Node
 
delAdd - Variable in class JSHOP2.PlanStepInfo
 
DelAddAtomic - Class in JSHOP2
Each atomic element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.
DelAddAtomic(Predicate) - Constructor for class JSHOP2.DelAddAtomic
To initialize this atomic delete/add element.
DelAddElement - Class in JSHOP2
Each element in the delete/add list of an operator both at compile time and run time is represented as an instance of a class derived from this abstract class.
DelAddElement() - Constructor for class JSHOP2.DelAddElement
 
DelAddForAll - Class in JSHOP2
Each ForAll element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.
DelAddForAll(LogicalExpression, Vector<Predicate>) - Constructor for class JSHOP2.DelAddForAll
To initialize this ForAll delete/add element at compile time.
DelAddForAll(Precondition, Predicate[]) - Constructor for class JSHOP2.DelAddForAll
To initialize this ForAll delete/add element at run time.
DelAddProtection - Class in JSHOP2
Each Protection element in the delete/add list of an operator both at compile time and run time is represented as an instance of this class.
DelAddProtection(Predicate) - Constructor for class JSHOP2.DelAddProtection
To initialize this Protection delete/add element.
delProtection(Predicate) - Method in class JSHOP2.State
To unprotect a given predicate.
delVarIdx - Variable in class JSHOP2.Operator
Represents the delete list in case it is a variable (The integer value represents variable's index), otherwise it is -1.
Div - Class in JSHOP2
Each code call of the form (call / ...) is implemented by an object of this class.
Div() - Constructor for class JSHOP2.Div
 
DIV - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
div - Static variable in class JSHOP2.StdLib
For code call of the form (call / ...).
Domain - Class in JSHOP2
Each domain at run time is represented as a class derived from this abstract class.
Domain() - Constructor for class JSHOP2.Domain
 
domain - Static variable in class JSHOP2.JSHOP2
The domain description for the planning problem.
domain - Variable in class JSHOP2.JSHOP2Parser
 
domain() - Method in class JSHOP2.JSHOP2Parser
 
DomainElement - Class in JSHOP2
This abstract class implements the basic common functionality of the all possible elements (i.e., methods, operators, and axioms) of a domain at run time.
DomainElement(Predicate) - Constructor for class JSHOP2.DomainElement
To initialize the domain element.
DOT - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
dumpStringArray(BufferedWriter, Vector<?>) - Method in class JSHOP2.InternalDomain
This function saves a given Vector of Strings in a given file.

E

e - Variable in class JSHOP2.InternalVars
The iterator iterating over the LinkedList of the tasks that we have the option to achieve right now.
e - Variable in class JSHOP2.PreconditionAtomic
The iterator this object will use to iterate over the atoms and/or axioms that can possibly unify with the predicate this object represents.
empty - Static variable in class JSHOP2.TaskList
This variable represents an empty task list.
endl - Static variable in class JSHOP2.CompileTimeObject
The new line character in the platform JSHOP2 is running on.
endl - Static variable in class JSHOP2.InternalDomain
The new line character in the platform JSHOP2 is running on.
endl - Static variable in class JSHOP2.Plan
The new line character in the platform JSHOP2 is running on.
EOF - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Equal - Class in JSHOP2
Each code call of the form (call = ...) is implemented by an object of this class.
Equal() - Constructor for class JSHOP2.Equal
 
EQUAL - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
equal - Static variable in class JSHOP2.StdLib
For code call of the form (call = ...).
equals(List) - Method in class JSHOP2.List
Whether or not another list is equivalent to the this list.
equals(Term) - Method in class JSHOP2.Predicate
Whether or not the argument list of another predicate is equal to the the argument list of this predicate.
equals(Term) - Method in class JSHOP2.Term
Whether or not another term is equivalent to this term.
equals(Term) - Method in class JSHOP2.TermCall
Whether or not another term is equivalent to the result of this call term.
equals(Term) - Method in class JSHOP2.TermConstant
Whether or not another term is equivalent to this constant symbol.
equals(Term) - Method in class JSHOP2.TermList
Whether or not another term is equivalent to this list term.
equals(Term) - Method in class JSHOP2.TermNumber
Whether or not another term is equivalent to this numerical term.
equals(Term) - Method in class JSHOP2.TermVariable
This function returns false.
exp - Variable in class JSHOP2.DelAddForAll
The precondtion of the ForAll statement at compile time is represented by this variable.

F

fid() - Method in class JSHOP2.JSHOP2Parser
 
findPlanHelper(TaskList) - Static method in class JSHOP2.JSHOP2
This is the helper function that finds a plan.
findPlans(TaskList, int) - Static method in class JSHOP2.JSHOP2
This function finds plan(s) for a given initial task list.
findUnifier(Term) - Method in class JSHOP2.Predicate
To find a unifier that unifies the argument list of another predicate with the argument list of this predicate.
findUnifier(Term, Term[]) - Method in class JSHOP2.Term
To find a unifier that binds this term to another given term.
findUnifier(Term, Term[]) - Method in class JSHOP2.TermCall
Find a unifier between the result of this call term and another given term.
findUnifier(Term, Term[]) - Method in class JSHOP2.TermConstant
Find a unifier between this constant symbol and another given term.
findUnifier(Term, Term[]) - Method in class JSHOP2.TermList
Find a unifier between this list and another given term.
findUnifier(Term, Term[]) - Method in class JSHOP2.TermNumber
Find a unifier between this numerical term and another given term.
findUnifier(Term, Term[]) - Method in class JSHOP2.TermVariable
Find a unifier between this variable symbol and another given term.
findUnifierList(List, Term[]) - Method in class JSHOP2.List
Find a unifier that will bind this list to another given list.
FIRST - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
first - Variable in class JSHOP2.LogicalPrecondition
Whether or not this logical precondition is marked :first.
first - Variable in class JSHOP2.Precondition
Whether or not this logical expression is marked :first.
firstCall - Variable in class JSHOP2.Precondition
Whether or not this is the first time the nextBinding function is called for this object after the latest call to its reset function.
FORALL - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
found - Variable in class JSHOP2.InternalVars
Whether or not at least one satisfier has been found for the current branch of the current method.
found - Variable in class JSHOP2.MyIterator
Whether or not at least one satisfier has been found for the current branch of the current axiom.
func - Variable in class JSHOP2.LogicalPrecondition
The name of the function used in a :sort-by logical precondition.
func - Variable in class JSHOP2.TermCall
The name of the function that is called in this call term as a String.

G

getAxiomNo() - Method in class JSHOP2.InternalDomain
This function returns the number of axioms in this domain.
getAxioms() - Method in class JSHOP2.Domain
This function returns the axioms in this domain.
getBranchSize() - Method in class JSHOP2.Axiom
To get the number of branches in this axiom.
getChildren(ArrayList<String>) - Method in class JSHOP2.TaskList
Returns an ArrayList of strings that represent the children of this compound task.
getClassCnt() - Method in class JSHOP2.LogicalExpression
This function returns a unique integer every time called.
getCnt() - Method in class JSHOP2.InternalElement
To get the number of objects already instantiated from this class before this object was instantiated.
getCompoundTasks() - Method in class JSHOP2.InternalDomain
This function returns the Vector where the String names of the compound tasks in this domain are stored.
getConstant(int) - Method in class JSHOP2.Domain
This function returns the String representation of a given constant symbol that appears in the domain description, the problem description, or both.
getConstant(int) - Static method in class JSHOP2.TermConstant
To return the correponding existing constant symbol.
getConstants() - Method in class JSHOP2.InternalDomain
This function returns the Vector where the String names of the constant symbols in this domain are stored.
getCost(Term[]) - Method in class JSHOP2.Operator
To get the cost of this operator.
getDomain() - Static method in class JSHOP2.JSHOP2
This function returns the planning domain.
getExpCode() - Method in class JSHOP2.DelAddForAll
This function produces Java code that initializes some data structures that will be needed to create the precondition object that implements the precondition of this ForAll delete/add element at run time.
getFirst() - Method in class JSHOP2.LogicalPrecondition
To check whether or not this logical precondition is marked :first.
getFirst() - Method in class JSHOP2.TaskList
To return a LinkedList of the task atoms we have the option to achieve right now.
getFirstHelper(LinkedList<TaskList>) - Method in class JSHOP2.TaskList
The helper function to calculate a LinkedList of the task atoms we have the option to achieve right now.
getHead() - Method in class JSHOP2.DomainElement
This function returns the head of this domain element.
getHead() - Method in class JSHOP2.InternalElement
To get the head of this internal domain element.
getHead() - Method in class JSHOP2.List
To get the head of this list, a term.
getHead() - Method in class JSHOP2.NumberedPredicate
To get the head of the predicate.
getHead() - Method in class JSHOP2.Predicate
To get the head of this predicate.
getHead() - Method in class JSHOP2.TaskAtom
To get the head of this task atom.
getID() - Method in class JSHOP2.Predicate
Returns the unique identifier for this predicate
getIndex() - Method in class JSHOP2.TermConstant
To get the index for this constant symbol.
getIndex() - Method in class JSHOP2.TermVariable
To get the index for this variable symbol.
getInitCode() - Method in class JSHOP2.DelAddForAll
This function produces Java code used to initialize an array of type predicate this ForAll delete/add element will use at run time to represent the atoms that will be deleted/added by this element.
getInitCode() - Method in class JSHOP2.LogicalExpression
This function produces Java code that initializes some data structures that will be needed to create the precondition object that implements this logical expression at run time.
getInitCode() - Method in class JSHOP2.LogicalExpressionAssignment
This class does not need any initialization code, therefore, this function simply returns an empty String.
getInitCode() - Method in class JSHOP2.LogicalExpressionAtomic
This class does not need any initialization code, therefore, this function simply returns an empty String.
getInitCode() - Method in class JSHOP2.LogicalExpressionCall
This class does not need any initialization code, therefore, this function simply returns an empty String.
getInitCode() - Method in class JSHOP2.LogicalExpressionConjunction
This function produces Java code that implements the classes any object of which can be used at run time to represent the conjuncts of this conjunction, and the conjunction itself.
getInitCode() - Method in class JSHOP2.LogicalExpressionDisjunction
This function produces Java code that implements the classes any object of which can be used at run time to represent the disjuncts of this disjunction, and the disjunction itself.
getInitCode() - Method in class JSHOP2.LogicalExpressionForAll
This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is representing.
getInitCode() - Method in class JSHOP2.LogicalExpressionNegation
This function produces Java code that implements the class any object of which can be used at run time to represent the logical expression this object is negating.
getInitCode() - Method in class JSHOP2.LogicalExpressionNil
This class does not need any initialization code, therefore, this function simply returns an empty String.
getInitCode() - Method in class JSHOP2.LogicalPrecondition
This function produces Java code that implements the class any object of which can be used at run time to represent this logical precondition.
getInitCode(String) - Method in class JSHOP2.TaskList
This function produces Java code used to create this task list either as an atomic task list or recursively, as a list of other task lists.
getInitCodeNext() - Method in class JSHOP2.LogicalExpressionConjunction
This function produces Java code that implements the nextBindingHelper function for the precondition object that represents this conjunction at run time.
getInitCodeReset() - Method in class JSHOP2.LogicalExpressionConjunction
This function produces Java code that implements the resetHelper function for the precondtion object that represents this conjunction at run time.
getIterator(Term[], int) - Method in class JSHOP2.DomainElement
This abstract function returns a handle that can be used to calculate, one by one, the bindings that satisfy the precondition of this domain element in a given state of the world with respect to a given binding.
getLabel(int) - Method in class JSHOP2.Axiom
To get the label of a given branch of this axiom.
getLabel(int) - Method in class JSHOP2.Method
To get the label of a given branch of this method.
getList() - Method in class JSHOP2.TermList
To get the list this term represents.
getMethodNo() - Method in class JSHOP2.InternalDomain
This function returns the number of methods in this domain.
getName() - Method in class JSHOP2.InternalDomain
This function returns the String name of this domain.
getNNF(boolean) - Method in class JSHOP2.LogicalExpressionAssignment
 
getNNF(boolean) - Method in class JSHOP2.LogicalExpressionAtomic
 
getNNF(boolean) - Method in class JSHOP2.LogicalExpressionCall
 
getNNF(boolean) - Method in class JSHOP2.LogicalExpressionNil
 
getNumber() - Method in class JSHOP2.NumberedPredicate
To get the integer associated with this object.
getNumber() - Method in class JSHOP2.TermNumber
To get the value of this numerical term.
getOps() - Method in class JSHOP2.Plan
To get the sequence of operators represented by this object.
getParam() - Method in class JSHOP2.NumberedPredicate
To get the parameters of the predicate.
getParam() - Method in class JSHOP2.Predicate
To get the parameter list of this predicate.
getPlans() - Method in class JSHOP2.SolverThread
To return the plans found by this thread.
getPrimitiveTasks() - Method in class JSHOP2.Domain
This function returns an array of the String representations of all the primitive tasks in the domain description.
getPrimitiveTasks() - Method in class JSHOP2.InternalDomain
This function returns the Vector where the String names of the primitive tasks in this domain are stored.
getRest() - Method in class JSHOP2.List
To get the tail of this list as another list, assuming that the tail is indeed a list.
getState() - Static method in class JSHOP2.JSHOP2
This function returns the current state of the world.
getState() - Method in class JSHOP2.JSHOP2GUI.Node
 
getState() - Method in class JSHOP2.State
Returns an ArrayList of strings that represents the state.
getStateSize() - Method in class JSHOP2.JSHOP2GUI.Node
 
getSubs() - Method in class JSHOP2.Method
To get the possible decompositions of this method.
getSubtasks() - Method in class JSHOP2.TaskList
Returns the task list's subtasks
getTail() - Method in class JSHOP2.List
To get the tail of this list, a term.
getTask() - Method in class JSHOP2.TaskList
To return the task atom associated with this task list.
getTreeCellRendererComponent(JTree, Object, boolean, boolean, boolean, int, boolean) - Method in class JSHOP2.JSHOP2GUI.NodeRenderer
 
getVarCount() - Method in class JSHOP2.LogicalExpression
This function returns the number of variables in this logical expression.
getVarCount() - Method in class JSHOP2.Predicate
To get the number of variables for this predicate.
getVariable(int) - Static method in class JSHOP2.TermVariable
To return the correponding existing variable symbol.

H

hasState() - Method in class JSHOP2.JSHOP2GUI.Node
 
head - Variable in class JSHOP2.DomainElement
Every element has a head, which is a predicate.
head - Variable in class JSHOP2.InternalElement
Every element has a head, which is a predicate.
head - Variable in class JSHOP2.List
The head of this list, a term.
head - Variable in class JSHOP2.Predicate
The index of the constant symbol that is the head of this predicate.
head - Variable in class JSHOP2.TaskAtom
The task atom itself.

I

ID - Variable in class JSHOP2.JSHOP2GUI.Node
 
ID - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
ID - Variable in class JSHOP2.Predicate
 
IMMEDIATE - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
immediate - Variable in class JSHOP2.TaskAtom
Whether or not this task atom is marked :immediate.
IMPLY - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
inc() - Method in class JSHOP2.NumberedPredicate
To increase the integer by one.
index - Variable in class JSHOP2.MyIterator
When looking at the current state of the world, this variable represents the index of the corresponding Vector, when using an axiom to prove an atom, this variable represents which branch of that axiom is being used.
index - Variable in class JSHOP2.TermConstant
Constant symbols are mapped to integers at compile time, and these integers are used thereafter to represent the constant symbols.
index - Variable in class JSHOP2.TermVariable
Variable symbols are mapped to integers at compile time, and these integers are used thereafter to represent the variable symbols.
initFieldsAndCreateInterface() - Method in class JSHOP2.JSHOP2GUI
Initializes all fields and constructs the graphical interface
initialize(Domain, State) - Static method in class JSHOP2.JSHOP2
This function is used to initialize the planning algorithm.
initialize(JSHOP2Lexer, InternalDomain) - Method in class JSHOP2.JSHOP2Parser
 
initialize(int) - Static method in class JSHOP2.TermConstant
To initialize an array of constant symbols that we already know exist, so that there will be no duplicate copies of those symbols.
initialize(int) - Static method in class JSHOP2.TermVariable
To initialize an array of variable symbols that we know occur in the domain description, so that there will be no duplicate copies of those symbols.
InternalAxiom - Class in JSHOP2
Each axiom at compile time is represented as an instance of this class.
InternalAxiom(Predicate, Vector<LogicalPrecondition>, Vector<String>) - Constructor for class JSHOP2.InternalAxiom
To initialize an InternalAxiom object.
InternalDomain - Class in JSHOP2
Each domain at compile time is represented as an instance of this class.
InternalDomain(File, int) - Constructor for class JSHOP2.InternalDomain
To initialize this domain.
InternalElement - Class in JSHOP2
Each domain element (i.e., method, operator, or axiom) at compile time is represented as an instance of a class derived from this abstract class.
InternalElement(Predicate, int) - Constructor for class JSHOP2.InternalElement
To initialize this internal domain element.
InternalMethod - Class in JSHOP2
Each method at compile time is represented as an instance of this class.
InternalMethod(Predicate, Vector<String>, Vector<LogicalPrecondition>, Vector<TaskList>) - Constructor for class JSHOP2.InternalMethod
To initialize an InternalMethod object.
InternalOperator - Class in JSHOP2
Each operator at compile time is represented as an instance of this class.
InternalOperator(Predicate, LogicalPrecondition, Vector, Vector, Term) - Constructor for class JSHOP2.InternalOperator
To initialize an InternalOperator object.
InternalVars - Class in JSHOP2
This class represents all the variables that JSHOP2 needs every time it calls itself recursively.
InternalVars() - Constructor for class JSHOP2.InternalVars
 
isEmpty() - Method in class JSHOP2.TaskList
Whether or not this task list is, or has become as result of task decomposition, an empty one.
isGround() - Method in class JSHOP2.Predicate
To check if this predicate is ground (i.e., has no variables).
isGround() - Method in class JSHOP2.Term
Is this term ground (i.e., has no variables)?
isGround() - Method in class JSHOP2.TermCall
Check the argument list of this call term for variables.
isGround() - Method in class JSHOP2.TermConstant
This function always returns true because a constant symbol is always ground by definition.
isGround() - Method in class JSHOP2.TermList
Whether or not there are any variables in the list this term represents.
isGround() - Method in class JSHOP2.TermNumber
This function always returns true because a numerical term is always ground by definition.
isGround() - Method in class JSHOP2.TermVariable
This function always returns false because a variable symbol is never ground by definition.
isGroundList() - Method in class JSHOP2.List
Is this list ground (i.e., has no variables)?
isImmediate() - Method in class JSHOP2.TaskAtom
To check if this task atom is marked :immediate.
isNil() - Method in class JSHOP2.Term
Is this a NIL term?
isOrdered(DefaultMutableTreeNode) - Method in class JSHOP2.JSHOP2GUI.NodeRenderer
 
isOrdered() - Method in class JSHOP2.TaskList
Returns whether or not this is an ordered task list <Added 5/14/06>
isPrimitive() - Method in class JSHOP2.TaskAtom
To check if this task atom is primitive.
isProtected(Predicate) - Method in class JSHOP2.State
To check if a predicate is protected.
isVar() - Method in class JSHOP2.Predicate
To check if this predicate is a variable symbol or a real predicate.
isVisited(DefaultMutableTreeNode) - Method in class JSHOP2.JSHOP2GUI.NodeRenderer
 
iterator - Variable in class JSHOP2.JSHOP2GUI
 
iterator(int) - Method in class JSHOP2.State
To initialize and return the appropriate iterator when looking for ways to satisfy a given predicate.

J

j - Variable in class JSHOP2.InternalVars
The index of the method or operator being considered.
JSHOP2 - package JSHOP2
 
JSHOP2 - Class in JSHOP2
This class is the implementation of the JSHOP2 algorithm.
JSHOP2() - Constructor for class JSHOP2.JSHOP2
 
JSHOP2GUI - Class in JSHOP2
This is the graphical interface for JSHOP2
JSHOP2GUI() - Constructor for class JSHOP2.JSHOP2GUI
The default constructor.
JSHOP2GUI.LeafTrackerDialog - Class in JSHOP2
The object that creates the leaf node tracker dialog box.
JSHOP2GUI.LeafTrackerDialog(Frame) - Constructor for class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 
JSHOP2GUI.Node - Class in JSHOP2
User object utilized by the tree model
JSHOP2GUI.Node(String, int) - Constructor for class JSHOP2.JSHOP2GUI.Node
 
JSHOP2GUI.NodeRenderer - Class in JSHOP2
Object used to render the nodes in the tree
JSHOP2GUI.NodeRenderer() - Constructor for class JSHOP2.JSHOP2GUI.NodeRenderer
 
JSHOP2GUI.PlanDialog - Class in JSHOP2
The object that creates the dialog box showing plan results whenever a plan is found.
JSHOP2GUI.PlanDialog(String, ArrayList<String>) - Constructor for class JSHOP2.JSHOP2GUI.PlanDialog
 
JSHOP2GUI.SHOP2GUIKeyAdapter - Class in JSHOP2
 
JSHOP2GUI.SHOP2GUIKeyAdapter() - Constructor for class JSHOP2.JSHOP2GUI.SHOP2GUIKeyAdapter
 
JSHOP2GUI.SHOP2GUIMenuHandler - Class in JSHOP2
 
JSHOP2GUI.SHOP2GUIMenuHandler() - Constructor for class JSHOP2.JSHOP2GUI.SHOP2GUIMenuHandler
 
JSHOP2GUI.SHOP2GUIWindowAdapter - Class in JSHOP2
Listener Classes
JSHOP2GUI.SHOP2GUIWindowAdapter() - Constructor for class JSHOP2.JSHOP2GUI.SHOP2GUIWindowAdapter
 
JSHOP2GUI.StateWindowDialog - Class in JSHOP2
 
JSHOP2GUI.StateWindowDialog(String) - Constructor for class JSHOP2.JSHOP2GUI.StateWindowDialog
 
JSHOP2Lexer - Class in JSHOP2
 
JSHOP2Lexer(InputStream) - Constructor for class JSHOP2.JSHOP2Lexer
 
JSHOP2Lexer(Reader) - Constructor for class JSHOP2.JSHOP2Lexer
 
JSHOP2Lexer(InputBuffer) - Constructor for class JSHOP2.JSHOP2Lexer
 
JSHOP2Lexer(LexerSharedInputState) - Constructor for class JSHOP2.JSHOP2Lexer
 
JSHOP2Parser - Class in JSHOP2
 
JSHOP2Parser(TokenBuffer, int) - Constructor for class JSHOP2.JSHOP2Parser
 
JSHOP2Parser(TokenBuffer) - Constructor for class JSHOP2.JSHOP2Parser
 
JSHOP2Parser(TokenStream, int) - Constructor for class JSHOP2.JSHOP2Parser
 
JSHOP2Parser(TokenStream) - Constructor for class JSHOP2.JSHOP2Parser
 
JSHOP2Parser(ParserSharedInputState) - Constructor for class JSHOP2.JSHOP2Parser
 
JSHOP2TokenTypes - Interface in JSHOP2
 

K

k - Variable in class JSHOP2.InternalVars
The index of the branch of the current method being considered.
keyTyped(KeyEvent) - Method in class JSHOP2.JSHOP2GUI.SHOP2GUIKeyAdapter
 

L

la() - Method in class JSHOP2.JSHOP2Parser
 
labels - Variable in class JSHOP2.InternalAxiom
A Vector of Strings each of which represents the label of a branch of this axiom.
labels - Variable in class JSHOP2.InternalMethod
A Vector of Strings each of which represents the label of a branch of this method.
le() - Method in class JSHOP2.JSHOP2Parser
 
le - Variable in class JSHOP2.LogicalExpressionConjunction
An array of logical expressions the conjunction of which is represented by this object.
le - Variable in class JSHOP2.LogicalExpressionDisjunction
An array of logical expressions the disjunction of which is represented by this object.
le - Variable in class JSHOP2.LogicalExpressionNegation
The logical expression to be negated.
le - Variable in class JSHOP2.LogicalPrecondition
The logical expression this class represents.
leafNodes - Variable in class JSHOP2.JSHOP2GUI
 
leafNumberField - Variable in class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 
leafTotalLabel - Variable in class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 
leafTracker - Variable in class JSHOP2.JSHOP2GUI
 
LESS - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Less - Class in JSHOP2
Each code call of the form (call < ...) is implemented by an object of this class
Less() - Constructor for class JSHOP2.Less
 
less - Static variable in class JSHOP2.StdLib
For code call of the form (call < ...).
LESSEQ - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
LessEq - Class in JSHOP2
Each code call of the form (call <= ...) is implemented by an object of this class
LessEq() - Constructor for class JSHOP2.LessEq
 
lessEq - Static variable in class JSHOP2.StdLib
For code call of the form (call <= ...).
lexer - Variable in class JSHOP2.JSHOP2Parser
 
List - Class in JSHOP2
Each list, both at compile time and at run time, is an instance of this class.
List(Term, Term) - Constructor for class JSHOP2.List
To initialize this list.
list - Variable in class JSHOP2.TermList
The list this term is representing.
logicalAtom - Variable in class JSHOP2.LogicalExpressionAtomic
The logical atom.
LogicalExpression - Class in JSHOP2
Each logical expression at compile time is represented as a class derived from this abstract class.
LogicalExpression() - Constructor for class JSHOP2.LogicalExpression
 
LogicalExpressionAssignment - Class in JSHOP2
Each assign term in a logical expression at compile time is represented as an instance of this class.
LogicalExpressionAssignment(int, Term) - Constructor for class JSHOP2.LogicalExpressionAssignment
To initialize this assignment logical expression.
LogicalExpressionAtomic - Class in JSHOP2
Each atomic term in a logical expression at compile time is represented as an instance of this class.
LogicalExpressionAtomic(Predicate) - Constructor for class JSHOP2.LogicalExpressionAtomic
To initialize this atomic logical expression.
LogicalExpressionCall - Class in JSHOP2
Each call term in a logical expression at compile time is represented as an instance of this class.
LogicalExpressionCall(TermCall) - Constructor for class JSHOP2.LogicalExpressionCall
To initialize this call logical expression.
LogicalExpressionConjunction - Class in JSHOP2
Each conjunction at compile time is represented as an instance of this class.
LogicalExpressionConjunction(Vector<LogicalExpression>) - Constructor for class JSHOP2.LogicalExpressionConjunction
To initialize this conjunction.
LogicalExpressionDisjunction - Class in JSHOP2
Each disjunction at compile time is represented as an instance of this class.
LogicalExpressionDisjunction(Vector<LogicalExpression>) - Constructor for class JSHOP2.LogicalExpressionDisjunction
To initialize this disjunction.
LogicalExpressionForAll - Class in JSHOP2
Each ForAll logical expression at compile time is represented as an instance of this class.
LogicalExpressionForAll(LogicalExpression, LogicalExpression) - Constructor for class JSHOP2.LogicalExpressionForAll
To initialize this ForAll logical expression.
LogicalExpressionNegation - Class in JSHOP2
Each negative term in a logical expression at compile time is represented as an instance of this class.
LogicalExpressionNegation(LogicalExpression) - Constructor for class JSHOP2.LogicalExpressionNegation
To initialize this negative logical expression.
LogicalExpressionNil - Class in JSHOP2
Each empty logical expression at compile time is represented as an instance of this class.
LogicalExpressionNil() - Constructor for class JSHOP2.LogicalExpressionNil
 
LogicalPrecondition - Class in JSHOP2
Each logical precondition at compile time is represented as an instance of this class.
LogicalPrecondition(LogicalExpression, boolean) - Constructor for class JSHOP2.LogicalPrecondition
To initialize this logical precondition.
LogicalPrecondition(LogicalExpression, String) - Constructor for class JSHOP2.LogicalPrecondition
To initialize this logical precondition.
lp() - Method in class JSHOP2.JSHOP2Parser
 
LP - Static variable in interface JSHOP2.JSHOP2TokenTypes
 

M

m - Variable in class JSHOP2.InternalVars
An array of methods that can achieve the compound task being considered.
main(String[]) - Static method in class JSHOP2.InternalDomain
The main function that is called to do the compilation.
MakeList(LinkedList<Term>) - Static method in class JSHOP2.List
This function gets a LinkedList of terms as input and returns a list the elements of which are the terms in the input LinkedList in the reverse order.
mAXIOM(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mCOMMENT(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mDIV(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mDOT(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
MEMBER - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Member - Class in JSHOP2
Each code call of the form (call Member ...) is implemented by an object of this class
Member() - Constructor for class JSHOP2.Member
 
member - Static variable in class JSHOP2.StdLib
For code call of the form (call Member ...).
mEQUAL(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
merge(Term[], Term[]) - Static method in class JSHOP2.Term
This function is used to merge two bindings.
merge(Term[][], int) - Static method in class JSHOP2.Term
This function is used to merge an arbitrary number of bindings.
messageLabel - Variable in class JSHOP2.JSHOP2GUI
 
method - Variable in class JSHOP2.JSHOP2GUI.Node
 
method() - Method in class JSHOP2.JSHOP2Parser
 
METHOD - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Method - Class in JSHOP2
Each method at run time is represented as a class derived from this abstract class.
Method(Predicate) - Constructor for class JSHOP2.Method
To initialize the method.
method - Variable in class JSHOP2.PlanStepInfo
 
methods - Variable in class JSHOP2.Domain
The methods in this domain.
methods - Variable in class JSHOP2.InternalDomain
A Vector of methods seen so far in the domain description.
mFIRST(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mID(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mIMMEDIATE(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
MINUS - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Minus - Class in JSHOP2
Each code call of the form (call - ...) is implemented by an object of this class.
Minus() - Constructor for class JSHOP2.Minus
 
minus - Static variable in class JSHOP2.StdLib
For code call of the form (call - ...).
mk_tokenSet_0() - Static method in class JSHOP2.JSHOP2Lexer
 
mk_tokenSet_0() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_1() - Static method in class JSHOP2.JSHOP2Lexer
 
mk_tokenSet_1() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_2() - Static method in class JSHOP2.JSHOP2Lexer
 
mk_tokenSet_2() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_3() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_4() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_5() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_6() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_7() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_8() - Static method in class JSHOP2.JSHOP2Parser
 
mk_tokenSet_9() - Static method in class JSHOP2.JSHOP2Parser
 
mLESS(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mLESSEQ(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mLP(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mMETHOD(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mMINUS(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mMORE(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mMOREEQ(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mMULT(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mNOTEQ(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mNUM(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mOPERATOR(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mOPID(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
MORE - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
More - Class in JSHOP2
Each code call of the form (call > ...) is implemented by an object of this class
More() - Constructor for class JSHOP2.More
 
more - Static variable in class JSHOP2.StdLib
For code call of the form (call > ...).
MOREEQ - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
MoreEq - Class in JSHOP2
Each code call of the form (call >= ...) is implemented by an object of this class
MoreEq() - Constructor for class JSHOP2.MoreEq
 
moreEq - Static variable in class JSHOP2.StdLib
For code call of the form (call >= ...).
mPLUS(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mPOWER(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mPROTECTION(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mRP(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mSORT(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
MULT - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Mult - Class in JSHOP2
Each code call of the form (call * ...) is implemented by an object of this class.
Mult() - Constructor for class JSHOP2.Mult
 
mult - Static variable in class JSHOP2.StdLib
For code call of the form (call * ...).
multiStepField - Variable in class JSHOP2.JSHOP2GUI
 
mUNORDERED(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mVARID(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
mWS(boolean) - Method in class JSHOP2.JSHOP2Lexer
 
MyIterator - Class in JSHOP2
This class implements an iterator with data members that can keep track of where the algorithm is in terms of bindings found so far so that when the next binding is needed it can be calculated correctly.
MyIterator(Vector<Term>) - Constructor for class JSHOP2.MyIterator
To initialize this iterator.

N

name - Variable in class JSHOP2.InternalDomain
The String name of the domain.
name - Variable in class JSHOP2.JSHOP2GUI.Node
 
newCommand - Variable in class JSHOP2.JSHOP2GUI
 
newMethod - Variable in class JSHOP2.JSHOP2GUI
 
nextB - Variable in class JSHOP2.InternalVars
Next binding that satisfies the precondition of the current method or operator.
nextBinding() - Method in class JSHOP2.Precondition
This function returns the next satisfier for this logical expression.
nextBinding(Predicate, MyIterator) - Method in class JSHOP2.State
This function returns the bindings that can satisfy a given precondition one-by-one.
nextBindingHelper() - Method in class JSHOP2.Precondition
This abstract function is called by the nextBinding function and does the subclass-specific part of the finding the next binding.
nextBindingHelper() - Method in class JSHOP2.PreconditionAssign
To return the next satisfier for this assignment logical expression.
nextBindingHelper() - Method in class JSHOP2.PreconditionAtomic
To return the next satisfier for this atomic logical expression.
nextBindingHelper() - Method in class JSHOP2.PreconditionCall
To return the next satisfier for this call logical expression.
nextBindingHelper() - Method in class JSHOP2.PreconditionForAll
To return the next satisfier for this ForAll logical expression, which is either null or an empty binding.
nextBindingHelper() - Method in class JSHOP2.PreconditionNegation
To return the next satisfier for this negation logical expression.
nextBindingHelper() - Method in class JSHOP2.PreconditionNil
To return the next satisfier for this empty logical expression.
nextToken() - Method in class JSHOP2.JSHOP2Lexer
 
NIL - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
NIL - Static variable in class JSHOP2.TermList
The NIL term.
NOT - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
NOTEQ - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
NotEq - Class in JSHOP2
Each code call of the form (call != ...) is implemented by an object of this class.
NotEq() - Constructor for class JSHOP2.NotEq
 
notEq - Static variable in class JSHOP2.StdLib
For code call of the form (call != ...).
NULL_TREE_LOOKAHEAD - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
NUM - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
number - Variable in class JSHOP2.NumberedPredicate
The integer.
number - Variable in class JSHOP2.TermNumber
The value of the numerical term.
NumberedPredicate - Class in JSHOP2
This class represents a predicate with an integer number associated with it.
NumberedPredicate(Predicate) - Constructor for class JSHOP2.NumberedPredicate
To initialize an object of this class.
NumberedPredicate(Predicate, int) - Constructor for class JSHOP2.NumberedPredicate
To initialize an object of this class.
numPlans - Static variable in class JSHOP2.JSHOP2
Incremented whenever a plan is found.
numPlans - Static variable in class JSHOP2.JSHOP2GUI
 

O

o - Variable in class JSHOP2.InternalVars
An array of operators that can achieve the primitive task being considered.
op() - Method in class JSHOP2.JSHOP2Parser
 
OPERATOR - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Operator - Class in JSHOP2
Each operator at run time is represented as a class derived from this abstract class.
Operator(Predicate, int, int, Term) - Constructor for class JSHOP2.Operator
To initialize the operator.
operatorInstance - Variable in class JSHOP2.PlanStepInfo
 
operators - Variable in class JSHOP2.InternalDomain
A Vector of operators seen so far in the domain description.
OPID - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
ops - Variable in class JSHOP2.Domain
The operators in this domain.
ops - Variable in class JSHOP2.Plan
The plan as a LinkedList of ground instances of operators.
OR - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
ordered - Variable in class JSHOP2.JSHOP2GUI.Node
 
ordered - Variable in class JSHOP2.PlanStepInfo
 
ordered - Variable in class JSHOP2.TaskList
Whether or not this is an ordered task list.

P

p - Variable in class JSHOP2.InternalVars
An iterator over the bindings that can satisfy the precondition of the current method or operator.
p - Variable in class JSHOP2.PreconditionAtomic
The predicate this atomic logical expression represents, without any subsequent bindings applied to it.
p - Variable in class JSHOP2.PreconditionNegation
The logical expression the negation of which this object represents.
param - Variable in class JSHOP2.Predicate
The argument list of this predicate.
parser - Variable in class JSHOP2.InternalDomain
The parser object that will parse this domain.
pde() - Method in class JSHOP2.JSHOP2Parser
 
Plan - Class in JSHOP2
This class represent a plan as a LinkedList of ground instances of operators.
Plan() - Constructor for class JSHOP2.Plan
To initialize the plan to an empty list.
Plan(LinkedList<Predicate>, double) - Constructor for class JSHOP2.Plan
This function is used by objects of this class to clone themselves.
planFound - Variable in class JSHOP2.PlanStepInfo
 
planNo - Variable in class JSHOP2.InternalDomain
The number of solution plans per planning problem that the user has requested from this object.
planNo - Static variable in class JSHOP2.JSHOP2
The maximum number of plans to be returned.
planNo - Variable in class JSHOP2.SolverThread
The maximum number of plans allowed.
planNumber - Variable in class JSHOP2.JSHOP2GUI
 
plans - Static variable in class JSHOP2.JSHOP2
The plans are stored in this variable as a list of type Plan.
plans - Variable in class JSHOP2.SolverThread
The list of plans to be returned.
PlanStepInfo - Class in JSHOP2
This object encapsulates the information pertaining to a single step in the planning process.
PlanStepInfo() - Constructor for class JSHOP2.PlanStepInfo
 
planStepList - Static variable in class JSHOP2.JSHOP2
An ArrayList that represents the steps taken to find every plan.
planStepList - Static variable in class JSHOP2.JSHOP2GUI
 
PLUS - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Plus - Class in JSHOP2
Each code call of the form (call + ...) is implemented by an object of this class.
Plus() - Constructor for class JSHOP2.Plus
 
plus - Static variable in class JSHOP2.StdLib
For code call of the form (call + ...).
POWER - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
Power - Class in JSHOP2
Each code call of the form (call ^ ...) is implemented by an object of this class.
Power() - Constructor for class JSHOP2.Power
 
power - Static variable in class JSHOP2.StdLib
For code call of the form (call ^ ...).
pre - Variable in class JSHOP2.DelAddForAll
The precondtion of the ForAll statement at run time is represented by this variable.
pre - Variable in class JSHOP2.InternalOperator
The logical precondition of this operator.
pre - Variable in class JSHOP2.MyIterator
When an axiom is being used, this variable acts as an iterator over all the possible satisfiers of the precondition of the current branch of the current axiom.
pre - Variable in class JSHOP2.NumberedPredicate
The predicate.
Precondition - Class in JSHOP2
This abstract class represents an iterator over all the possible bindings that can satisfy its corresponding logical expression at run time.
Precondition() - Constructor for class JSHOP2.Precondition
 
PreconditionAssign - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy an assignment logical expression at run time.
PreconditionAssign(Term, Term[], int) - Constructor for class JSHOP2.PreconditionAssign
To initialize this assigment logical expression.
PreconditionAtomic - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy an atomic logical expression at run time.
PreconditionAtomic(Predicate, Term[]) - Constructor for class JSHOP2.PreconditionAtomic
To initialize this atomic logical expression.
PreconditionCall - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy a call logical expression at run time.
PreconditionCall(TermCall, Term[]) - Constructor for class JSHOP2.PreconditionCall
To initialize this call logical expression.
PreconditionForAll - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy a ForAll logical expression at run time.
PreconditionForAll(Precondition, Precondition, int) - Constructor for class JSHOP2.PreconditionForAll
To initialize this ForAll logical expression.
PreconditionNegation - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy a negation logical expression at run time.
PreconditionNegation(Precondition, int) - Constructor for class JSHOP2.PreconditionNegation
To initialize this negation logical expression.
PreconditionNil - Class in JSHOP2
This class represents an iterator over all the possible bindings that can satisfy an empty logical expression at run time.
PreconditionNil(int) - Constructor for class JSHOP2.PreconditionNil
To initialize this empty logical expression.
preconditions - Variable in class JSHOP2.PlanStepInfo
 
Predicate - Class in JSHOP2
Each predicate, both at compile time and at run time, is an instance of this class.
Predicate(int, int, Term) - Constructor for class JSHOP2.Predicate
To initialize this predicate.
Predicate(int, int) - Constructor for class JSHOP2.Predicate
To initialize this predicate when it is not a real predicate but a variable symbol.
premise - Variable in class JSHOP2.LogicalExpressionForAll
The premise of this ForAll logical expression.
premise - Variable in class JSHOP2.PreconditionForAll
The premise of the ForAll logical expression this object represents.
pres - Variable in class JSHOP2.InternalMethod
A Vector of logical preconditions each of which represents the precondition of a branch of this method.
primitive - Variable in class JSHOP2.TaskAtom
Whether this task atom is a primitive one.
primitiveTasks - Variable in class JSHOP2.Domain
The String names of primitive tasks that appear in the domain description.
primitiveTasks - Variable in class JSHOP2.InternalDomain
A Vector of String names of primitive tasks seen so far in the domain.
print() - Method in class JSHOP2.List
This function is used to print this list.
print() - Method in class JSHOP2.PlanStepInfo
 
print() - Method in class JSHOP2.Predicate
This function is used to print this predicate.
print(String[]) - Method in class JSHOP2.Predicate
This function is used to print this predicate.
print() - Method in class JSHOP2.State
This function is used to print the current state of the world.
print() - Method in class JSHOP2.TaskAtom
This function is used to print this task atom.
print() - Method in class JSHOP2.TaskList
This function is used to print this task list.
print() - Method in class JSHOP2.Term
This function is used to print the value of this term.
prob() - Method in class JSHOP2.JSHOP2Parser
 
problemConstants - Variable in class JSHOP2.Domain
The String names of constant symbols that appear in the problem description.
probName - Variable in class JSHOP2.InternalDomain
The String name of the planning problem.
processBacktracking(PlanStepInfo) - Method in class JSHOP2.JSHOP2GUI
Helper function to runOneStep().
processPlanFound() - Method in class JSHOP2.JSHOP2GUI
Helper function to runOneStep().
processReduced(PlanStepInfo, ArrayList<JSHOP2GUI.Node>) - Method in class JSHOP2.JSHOP2GUI
Helper function to runOneStep().
processSetGoalTasks(PlanStepInfo, ArrayList<JSHOP2GUI.Node>) - Method in class JSHOP2.JSHOP2GUI
Sets the goal tasks for the problem.
processStateChanged(PlanStepInfo) - Method in class JSHOP2.JSHOP2GUI
 
processTrying(PlanStepInfo, ArrayList<JSHOP2GUI.Node>) - Method in class JSHOP2.JSHOP2GUI
Helper function to runOneStep().
progressBar - Variable in class JSHOP2.JSHOP2GUI
 
progressLabel - Variable in class JSHOP2.JSHOP2GUI
 
propagateVarCount(int) - Method in class JSHOP2.LogicalExpression
This abstract function is called whenever the number of variables for an object of this class is set.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionAssignment
This class does not need to propagate the variable count, therefore, this function does nothing.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionAtomic
To propagate the variable count to the logical atom represented by this object.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionCall
This class does not need to propagate the variable count, therefore, this function does nothing.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionConjunction
To propagate the variable count to all the logical expressions the conjunction of which this object represents.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionDisjunction
To propagate the variable count to all the logical expressions the disjunction of which this object represents.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionForAll
To propagate the variable count to the ForAll logical expression represented by this object.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionNegation
To propagate the variable count to the logical expression the negative of which this object represents.
propagateVarCount(int) - Method in class JSHOP2.LogicalExpressionNil
This class does not need to propagate the variable count, therefore, this function does nothing.
PROTECTION - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
protections - Variable in class JSHOP2.State
The protections in the current state of the world as an array of Vectors.

R

readStringArray(BufferedReader, Vector<String>) - Method in class JSHOP2.InternalDomain
This function reads a Vector of Strings from a given file.
removeOperator(double) - Method in class JSHOP2.Plan
To remove the operator instance at the end of the plan.
renumberLeaves() - Method in class JSHOP2.JSHOP2GUI
This function renumbers all current leaf nodes in the order they were visited relative to one another.
replace(TaskList) - Method in class JSHOP2.TaskList
This function replaces (i.e., decomposes) a given task atom with a task list.
reset() - Method in class JSHOP2.Precondition
This function resets this iterator so that it can iterate over again.
resetHelper() - Method in class JSHOP2.Precondition
This abstract function is called by the reset function and does the subclass-specific part of the resetting.
resetHelper() - Method in class JSHOP2.PreconditionAssign
To reset this assignment logical expression.
resetHelper() - Method in class JSHOP2.PreconditionAtomic
To reset this atomic logical expression.
resetHelper() - Method in class JSHOP2.PreconditionCall
To reset this call logical expression.
resetHelper() - Method in class JSHOP2.PreconditionForAll
To reset this ForAll logical expression.
resetHelper() - Method in class JSHOP2.PreconditionNegation
To reset this negation logical expression.
resetHelper() - Method in class JSHOP2.PreconditionNil
To reset this empty logical expression.
retVal - Variable in class JSHOP2.PreconditionAssign
The array this object will return as its next binding.
retVal - Variable in class JSHOP2.PreconditionCall
The array this object will return as its next binding.
retVal - Variable in class JSHOP2.PreconditionForAll
The array this object will return as its next binding.
retVal - Variable in class JSHOP2.PreconditionNegation
The array this object will return as its next binding.
retVal - Variable in class JSHOP2.PreconditionNil
The array this object will return as its next binding.
rootNode - Variable in class JSHOP2.JSHOP2GUI
 
RP - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
run() - Method in class JSHOP2.SolverThread
The function that is called when this thread is invoked.
runOneStep() - Method in class JSHOP2.JSHOP2GUI
Executes a single step in the plan step list

S

screenSize - Variable in class JSHOP2.JSHOP2GUI
 
selectedNodeName - Variable in class JSHOP2.JSHOP2GUI
 
serialVersionUID - Static variable in class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 
serialVersionUID - Static variable in class JSHOP2.JSHOP2GUI.NodeRenderer
 
serialVersionUID - Static variable in class JSHOP2.JSHOP2GUI.PlanDialog
 
serialVersionUID - Static variable in class JSHOP2.JSHOP2GUI
 
serialVersionUID - Static variable in class JSHOP2.JSHOP2GUI.StateWindowDialog
 
setAdd(DelAddElement[]) - Method in class JSHOP2.Operator
To set the add list.
setComparator(Comparator<Term[]>) - Method in class JSHOP2.Precondition
To set the function to be used to sort the possible bindings that satisfy this logical precondition.
setDel(DelAddElement[]) - Method in class JSHOP2.Operator
To set the delete list.
setFirst(boolean) - Method in class JSHOP2.Precondition
To set whether or not this function is marked :fist.
setGoalTasksHelper(TaskList[], PlanStepInfo, ArrayList<JSHOP2GUI.Node>) - Method in class JSHOP2.JSHOP2GUI
 
setName(String) - Method in class JSHOP2.InternalDomain
To set the name of this planning domain.
setNumPlans(int) - Static method in class JSHOP2.JSHOP2GUI
This function is used to set the total number of plans found for the current problem by JSHOP2
setPlanStepList(ArrayList<PlanStepInfo>) - Static method in class JSHOP2.JSHOP2GUI
This function is used to pass in the list of plan steps that represent the actions taken by JSHOP2 to find plans for the current problem.
setProblemConstants(String[]) - Method in class JSHOP2.Domain
This function sets the array of String representations of constant symbols that do not appear in the domain description but in the planning problem that is being solved.
setProbName(String) - Method in class JSHOP2.InternalDomain
To set the name of this planning problem.
setSubs(TaskList[]) - Method in class JSHOP2.Method
To set the possible decompositions of this method.
setVarCount(int) - Method in class JSHOP2.DelAddAtomic
To set the number of variables in this atomic delete/add element.
setVarCount(int) - Method in class JSHOP2.DelAddElement
To set the number of variables in this delete/add element.
setVarCount(int) - Method in class JSHOP2.DelAddForAll
To set the number of variables in this ForAll delete/add element.
setVarCount(int) - Method in class JSHOP2.DelAddProtection
To set the number of variables in this Protection delete/add element.
setVarCount(int) - Method in class JSHOP2.LogicalExpression
This function is used to set the number of variables for this logical expression.
setVarCount(int) - Method in class JSHOP2.LogicalPrecondition
This function is used to set the number of variables for this logical precondition.
setVarCount(int) - Method in class JSHOP2.Predicate
To set the number of variables for this predicate.
setVarCount(int) - Method in class JSHOP2.TaskList
This function sets the number of variables for this task list.
smBlueBall - Variable in class JSHOP2.JSHOP2GUI.NodeRenderer
 
smYellowBall - Variable in class JSHOP2.JSHOP2GUI.NodeRenderer
 
SolverThread - Class in JSHOP2
The thread that invokes JSHOP2 to solve a planning problem.
SolverThread(TaskList, int) - Constructor for class JSHOP2.SolverThread
To initialize this thread.
SORT - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
state - Static variable in class JSHOP2.JSHOP2
The current state of the world.
state - Variable in class JSHOP2.JSHOP2GUI.Node
 
state - Variable in class JSHOP2.PlanStepInfo
 
State - Class in JSHOP2
This class is used to represent the current state of the world.
State(int, Axiom[][]) - Constructor for class JSHOP2.State
To initialize the state of the world.
stateLabel - Variable in class JSHOP2.JSHOP2GUI
 
stateTextArea - Variable in class JSHOP2.JSHOP2GUI
 
staticID - Static variable in class JSHOP2.Predicate
A unique ID to identify this predicate.
STDLIB - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
StdLib - Class in JSHOP2
This class bundles all the code calls that are implemented in the standard library of JSHOP2 in one class.
StdLib() - Constructor for class JSHOP2.StdLib
 
stepInfoTextArea - Variable in class JSHOP2.JSHOP2GUI
 
subs - Variable in class JSHOP2.InternalMethod
A Vector of task lists each of which represents a possible way to decompose the task associated with this method if the corresponding precondition is satisfied in the current state of the world.
subs - Variable in class JSHOP2.Method
An array of task lists to any of which this method can decompse its associated task given that the corresponding precondition is satisfied.
subtasks - Variable in class JSHOP2.TaskList
In case this task list is not-atomic, this array represents it.

T

t - Variable in class JSHOP2.InternalVars
The task atom chosen to be achieved next.
t - Variable in class JSHOP2.LogicalExpressionAssignment
The term to which the variable will be assigned.
t0 - Variable in class JSHOP2.InternalVars
A LinkedList of the task atoms we have the option to achieve right now.
ta() - Method in class JSHOP2.JSHOP2Parser
 
tag - Variable in class JSHOP2.JSHOP2GUI.Node
 
tail - Variable in class JSHOP2.List
The tail of this list, a term.
task - Variable in class JSHOP2.TaskList
In case this task list is atomic, this variable represents it.
taskAtom - Variable in class JSHOP2.PlanStepInfo
 
TaskAtom - Class in JSHOP2
Each task atom both at compile time and at run time is represented as an object of this class.
TaskAtom(Predicate, boolean, boolean) - Constructor for class JSHOP2.TaskAtom
To initialize this task atom.
TaskList - Class in JSHOP2
Each task list, both at compile time and at run time, is an instance of this class.
TaskList() - Constructor for class JSHOP2.TaskList
To initialize this task list as an empty one (i.e., an ordered non-atomic task list of length 0).
TaskList(TaskAtom) - Constructor for class JSHOP2.TaskList
To initialize this task list as an atomic one.
TaskList(int, boolean) - Constructor for class JSHOP2.TaskList
To initialize this task list as a non-atomic one.
tasks - Static variable in class JSHOP2.JSHOP2
The task list to be achieved.
term() - Method in class JSHOP2.JSHOP2Parser
 
term - Variable in class JSHOP2.LogicalExpressionCall
The call term this object represents.
term - Variable in class JSHOP2.PreconditionAssign
The term this assignment logical expression represents, without any subsequent bindings applied to it.
term - Variable in class JSHOP2.PreconditionCall
The term this call logical expression represents, without any subsequent bindings applied to it.
Term - Class in JSHOP2
Each term, both at compile time and at run time, is an instance of a class derived from this abstract class.
Term() - Constructor for class JSHOP2.Term
 
TermCall - Class in JSHOP2
Each call term, both at compile time and at run time, is an instance of this class.
TermCall(List, String) - Constructor for class JSHOP2.TermCall
To initialize this call term.
TermCall(List, Calculate, String) - Constructor for class JSHOP2.TermCall
To initialize this call term.
TermConstant - Class in JSHOP2
Each constant symbol, both at compile time and at run time, is an instance of this class.
TermConstant(int) - Constructor for class JSHOP2.TermConstant
To initialize this constant symbol.
terml() - Method in class JSHOP2.JSHOP2Parser
 
TermList - Class in JSHOP2
Each list both at compile time and at run time, is an instance of this class.
TermList(List) - Constructor for class JSHOP2.TermList
To initialize this list term.
TermList(Term, Term) - Constructor for class JSHOP2.TermList
To initialize this list term.
TermNumber - Class in JSHOP2
Each numerical term both at compile time and at run time, is an instance of this class.
TermNumber(double) - Constructor for class JSHOP2.TermNumber
To initialize this numerical term.
TermVariable - Class in JSHOP2
Each variable symbol both at compile time and at run time, is an instance of this class.
TermVariable(int) - Constructor for class JSHOP2.TermVariable
To initialize this variable symbol.
tl - Variable in class JSHOP2.InternalVars
The atomic task list that represents, in the task network, the task atom that has been chosen to be achieved next.
tl() - Method in class JSHOP2.JSHOP2Parser
 
tl - Variable in class JSHOP2.SolverThread
The task list to be achieved.
toCode() - Method in class JSHOP2.CompileTimeObject
This abstract function produces the Java code needed to implement this compile time element.
toCode() - Method in class JSHOP2.DelAddAtomic
This function produces Java code to create this atomic delete/add element.
toCode() - Method in class JSHOP2.DelAddForAll
This function produces Java code to create this ForAll delete/add element.
toCode() - Method in class JSHOP2.DelAddProtection
This function produces Java code to create this Protection delete/add element.
toCode() - Method in class JSHOP2.InternalAxiom
This function produces the Java code needed to implement this axiom.
toCode() - Method in class JSHOP2.InternalMethod
This function produces the Java code needed to implement this method.
toCode() - Method in class JSHOP2.InternalOperator
This function produces the Java code needed to implement this operator.
toCode() - Method in class JSHOP2.List
This function is used at compile time to produce Java code that when run, will create this list.
toCode() - Method in class JSHOP2.LogicalExpressionAssignment
This function produces the Java code to create a PreconditionAssign object that represents this assignment logical expression at run time.
toCode() - Method in class JSHOP2.LogicalExpressionAtomic
This function produces the Java code to create a PreconditionAtomic object that represents this atomic logical expression at run time.
toCode() - Method in class JSHOP2.LogicalExpressionCall
This function produces the Java code to create a PreconditionCall object that represents this call logical expression at run time.
toCode() - Method in class JSHOP2.LogicalExpressionConjunction
This function produces the Java code to create an object of the class that was implemented to represent this conjunction at run time.
toCode() - Method in class JSHOP2.LogicalExpressionDisjunction
This function produces the Java code to create an object of the class that was implemented to represent this disjunction at run time.
toCode() - Method in class JSHOP2.LogicalExpressionForAll
This function produces the Java code to create a PreconditionForAll object that represents this ForAll logical expression at run time.
toCode() - Method in class JSHOP2.LogicalExpressionNegation
This function produces the Java code to create a PreconditionNegation object that represents this negative logical expression at run time.
toCode() - Method in class JSHOP2.LogicalExpressionNil
This function produces the Java code to create a PreconditionNil object that represents this empty logical expression at run time.
toCode() - Method in class JSHOP2.LogicalPrecondition
This function produces the Java code to create an object that represents this logical precondition at run time.
toCode() - Method in class JSHOP2.Predicate
This function produces Java code to create this predicate.
toCode() - Method in class JSHOP2.TaskAtom
This function produces Java code to create this task atom.
toCode() - Method in class JSHOP2.TaskList
This function produces Java code to create this task list.
toCode() - Method in class JSHOP2.TermCall
This function produces Java code to create this call term.
toCode() - Method in class JSHOP2.TermConstant
This function produces Java code to create this constant symbol as a term.
toCode() - Method in class JSHOP2.TermList
This function produces Java code to create this list term.
toCode() - Method in class JSHOP2.TermNumber
This function produces Java code to create this numerical.
toCode() - Method in class JSHOP2.TermVariable
This function produces Java code to create this variable symbol as a term.
toPredicate(int) - Method in class JSHOP2.TermList
This function converts this list term to a predicate.
toString() - Method in class JSHOP2.JSHOP2GUI.Node
 
toString() - Method in class JSHOP2.List
This function is used to print the value of this list.
toString() - Method in class JSHOP2.NumberedPredicate
 
toString() - Method in class JSHOP2.Plan
This function returns a printable String representation of this plan.
toString() - Method in class JSHOP2.Predicate
This function returns a printable String representation of this predicate.
toString(String[]) - Method in class JSHOP2.Predicate
This function returns a printable String representation of this predicate.
toString() - Method in class JSHOP2.TaskAtom
This function is used to produce a printable String showing the value of this task atom.
toString() - Method in class JSHOP2.TaskList
This function returns a printable String representation of this task list.
toString() - Method in class JSHOP2.Term
This function is used to produce a printable String showing the value of this term.
toString() - Method in class JSHOP2.TermCall
This function is used to print this call term.
toString() - Method in class JSHOP2.TermConstant
Constant symbols are mapped at compile time to integers, this function, for printing purposes, maps them back to the strings they were before.
toString() - Method in class JSHOP2.TermList
This function is used to print this list term.
toString() - Method in class JSHOP2.TermNumber
This function returns the String representation of the value of this numerical term.
toString() - Method in class JSHOP2.TermVariable
This function is used to print this variable symbol.
tree - Variable in class JSHOP2.JSHOP2GUI
 
treeModel - Variable in class JSHOP2.JSHOP2GUI
 
treeNodeReferences - Variable in class JSHOP2.JSHOP2GUI
 

U

undo(Vector[]) - Method in class JSHOP2.State
This function is used, in case of a backtrack, to undo the changes that were made to the current state of the world because of the backtracked decision.
undo() - Method in class JSHOP2.TaskList
This function undoes the decomposition of a task atom to a task list in case of a backtrack over the decision to decompose the task.
unify(Predicate) - Method in class JSHOP2.DomainElement
This function returns the substitution that unifies the head of this element with a given predicate.
UNORDERED - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
updateNodeCount() - Method in class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 

V

varCount - Variable in class JSHOP2.LogicalExpression
The number of variables in this logical expression, used to determine the size of bindings when unifiers are calculated.
varCount - Variable in class JSHOP2.Predicate
The number of variables in this predicate.
variables - Static variable in class JSHOP2.TermVariable
To represent the variable symbols that we know occur in the domain description, so that there will be no duplicate copies of those symbols.
VARID - Static variable in interface JSHOP2.JSHOP2TokenTypes
 
varIdx - Variable in class JSHOP2.CompLess
The index of the variable according to the value of which the satisfiers should be sorted.
varIdx - Variable in class JSHOP2.CompMore
The index of the variable according to the value of which the satisfiers should be sorted.
varIdx - Variable in class JSHOP2.Predicate
In case this predicate is a variable symbol and not a real atom, this represents its index.
vars - Variable in class JSHOP2.JSHOP2Parser
 
varsMaxSize - Variable in class JSHOP2.JSHOP2Parser
 
vec - Variable in class JSHOP2.MyIterator
The Vector in the current state of the world that represents the atoms for which we are trying to find satisfiers.
vectorToCode(Vector<String>, String) - Method in class JSHOP2.InternalDomain
This function produces the Java code needed to allocate and initialize an array the elements of which are drawn from a given Vector of Strings.
visible(boolean) - Method in class JSHOP2.JSHOP2GUI.LeafTrackerDialog
 

W

whichAxiom - Variable in class JSHOP2.MyIterator
Which of the (possibly several) axioms that can be used to prove a certain atom is being used right now.
whichVar - Variable in class JSHOP2.LogicalExpressionAssignment
The index of the variable to be assigned.
whichVar - Variable in class JSHOP2.PreconditionAssign
The index of the variable to be given a value under this assignment logical expression.
windowClosing(WindowEvent) - Method in class JSHOP2.JSHOP2GUI.SHOP2GUIWindowAdapter
 
WS - Static variable in interface JSHOP2.JSHOP2TokenTypes
 

Y

yellowBall - Variable in class JSHOP2.JSHOP2GUI.NodeRenderer
 

_

_tokenNames - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_0 - Static variable in class JSHOP2.JSHOP2Lexer
 
_tokenSet_0 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_1 - Static variable in class JSHOP2.JSHOP2Lexer
 
_tokenSet_1 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_2 - Static variable in class JSHOP2.JSHOP2Lexer
 
_tokenSet_2 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_3 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_4 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_5 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_6 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_7 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_8 - Static variable in class JSHOP2.JSHOP2Parser
 
_tokenSet_9 - Static variable in class JSHOP2.JSHOP2Parser
 

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