A C E G I L M N O P R S T

A

addLiteral(Literal) - Method in class mit.ai.techniques.Conjunction

Add a literal to the conjunction.

addMaintenanceOperators(Vector) - Method in class mit.ai.techniques.PlanningProblem

For each literal in the symbol table, make a new maintenance operator and add it to the vector of operators.

assertString(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

Throw an exception if the current token isn't a string.

C

Conjunction - class mit.ai.techniques.Conjunction.

Implement a conjunction of literals as a vector.

Conjunction() - Constructor for class mit.ai.techniques.Conjunction

Create an empty conjunction.

Conjunction(Literal) - Constructor for class mit.ai.techniques.Conjunction

Create a conjunction with a single literal.

contains(Literal) - Method in class mit.ai.techniques.Conjunction

Check if the Conjunction contains a particular Literal.

E

eatLineFeeds(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

Be sure the next token is a line feed and eat it and any following line feeds.

effects - Variable in class mit.ai.techniques.Operator

G

getEffects() - Method in class mit.ai.techniques.Operator

Return the postcondition Conjunction.

getName() - Method in class mit.ai.techniques.Proposition

Return the name of the variable.

getName() - Method in class mit.ai.techniques.Operator

Return the operator name.

getOperators() - Method in class mit.ai.techniques.PlanningProblem

Return the operators.

getPreconditions() - Method in class mit.ai.techniques.Operator

Return the precondition Conjunction.

getProposition() - Method in class mit.ai.techniques.Literal

Return the proposition (variable) for this literal.

getProposition() - Method in class mit.ai.techniques.PositiveLiteral

Return the underlying propositional variable.

getProposition() - Method in class mit.ai.techniques.NegativeLiteral

Return the underlying propositional variable.

getSymbolTable() - Method in class mit.ai.techniques.PlanningProblem

Return the symbol table.

getValence() - Method in class mit.ai.techniques.Literal

Check if the literal is positive or negative.

getValence() - Method in class mit.ai.techniques.PositiveLiteral

Returns true (this is a positive literal).

getValence() - Method in class mit.ai.techniques.NegativeLiteral

Returns false (this is a negative literal).

goalConditions - Variable in class mit.ai.techniques.PlanningProblem

I

initialConditions - Variable in class mit.ai.techniques.PlanningProblem

Stop searching after this size.

isFalse(Proposition) - Method in class mit.ai.techniques.Conjunction

Return false if this proposition is mentioned negatively in this conjunction.

isKnown(Proposition) - Method in class mit.ai.techniques.Conjunction

Return true if this proposition is mentioned in this conjunction.

isNegation(Literal) - Method in class mit.ai.techniques.Literal

This is the negation of l if it has the same proposition and opposite valence.

isTrue(Proposition) - Method in class mit.ai.techniques.Conjunction

Return true if this proposition is mentioned positively in this conjunction.

L

Literal - class mit.ai.techniques.Literal.

An abstract base class for literals.

Literal() - Constructor for class mit.ai.techniques.Literal

literalAt(int) - Method in class mit.ai.techniques.Conjunction

Get the literal at an index.

literals - Variable in class mit.ai.techniques.Conjunction

M

main(String[]) - Static method in class mit.ai.techniques.Planner

MaintenanceOperator - class mit.ai.techniques.MaintenanceOperator.

This class represents a maintenance operator.

MaintenanceOperator(Literal) - Constructor for class mit.ai.techniques.MaintenanceOperator

Create a maintenance operator for a literal by setting the preconditions and the effects of an operator to that literal.

makeSymbolTable(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

The first line of the input file is a list of all the propositions.

maxPlanDepth - Static variable in class mit.ai.techniques.PlanningProblem

N

name - Variable in class mit.ai.techniques.Proposition

name - Variable in class mit.ai.techniques.Operator

NegativeLiteral - class mit.ai.techniques.NegativeLiteral.

A negative literal.

NegativeLiteral(Proposition) - Constructor for class mit.ai.techniques.NegativeLiteral

Construct a negative literal for the given propositional variable.

O

occurrence(Proposition) - Method in class mit.ai.techniques.Conjunction

Return the literal associated with proposition p if it occurs in this conjunction, otherwise return null.

Operator - class mit.ai.techniques.Operator.

Class representing an operator, name, preconditions, and effects.

Operator(String, Conjunction, Conjunction) - Constructor for class mit.ai.techniques.Operator

Construct an operator with a name, preconditions, and effects.

operators - Variable in class mit.ai.techniques.PlanningProblem

P

Planner - class mit.ai.techniques.Planner.

Just a class to run the code on a file.

Planner() - Constructor for class mit.ai.techniques.Planner

PlanningProblem - class mit.ai.techniques.PlanningProblem.

This class represents the planning problem.

PlanningProblem(String) - Constructor for class mit.ai.techniques.PlanningProblem

Make a planning problem from a file.

PositiveLiteral - class mit.ai.techniques.PositiveLiteral.

A positive (non-negated) literal.

PositiveLiteral(Proposition) - Constructor for class mit.ai.techniques.PositiveLiteral

Construct a positive literal for the given propositional variable.

preconditions - Variable in class mit.ai.techniques.Operator

proposition - Variable in class mit.ai.techniques.PositiveLiteral

proposition - Variable in class mit.ai.techniques.NegativeLiteral

Proposition - class mit.ai.techniques.Proposition.

A propositional variable.

Proposition(String) - Constructor for class mit.ai.techniques.Proposition

Construct a propositional variable with a given name.

R

readConjunction(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

Read a conjunction from the current line of the input file.

readOperator(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

An operator has a name on one line, then the next line represents a conjunction of preconditions and the next line represents a conjunction of effects.

readOperators(StreamTokenizer) - Method in class mit.ai.techniques.PlanningProblem

Read in operators until we hit the end of the file.

S

size() - Method in class mit.ai.techniques.Conjunction

How many literals are in the conjunction?

symbolTable - Variable in class mit.ai.techniques.PlanningProblem

T

toString() - Method in class mit.ai.techniques.PlanningProblem

Create a string representing the problem.

toString() - Method in class mit.ai.techniques.Conjunction

String representation.

toString() - Method in class mit.ai.techniques.Proposition

Return a string representation (the name).

toString() - Method in class mit.ai.techniques.PositiveLiteral

Returns the literal as a string.

toString() - Method in class mit.ai.techniques.NegativeLiteral

Returns the literal as a string.

toString() - Method in class mit.ai.techniques.Operator

Return a string representing the operator.

A C E G I L M N O P R S T