mit.ai.techniques
Class Operator

java.lang.Object
  |
  +--mit.ai.techniques.Operator

Direct Known Subclasses:

MaintenanceOperator

public class Operator

extends java.lang.Object

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

Field Summary

private Conjunction	effects
private java.lang.String	name
private Conjunction	preconditions

Constructor Summary

Operator(java.lang.String theName, Conjunction thePreconditions, Conjunction theEffects)
Construct an operator with a name, preconditions, and effects.

Method Summary

Conjunction	getEffects() Return the postcondition Conjunction.
java.lang.String	getName() Return the operator name.
Conjunction	getPreconditions() Return the precondition Conjunction.
java.lang.String	toString() Return a string representing the operator.

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

name

private java.lang.String name

preconditions

private Conjunction preconditions

effects

private Conjunction effects

Constructor Detail

Operator

public Operator(java.lang.String theName,
                Conjunction thePreconditions,
                Conjunction theEffects)

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

Method Detail

getName

public java.lang.String getName()

Return the operator name.

getPreconditions

public Conjunction getPreconditions()

Return the precondition Conjunction.

getEffects

public Conjunction getEffects()

Return the postcondition Conjunction.

toString

public java.lang.String toString()

Return a string representing the operator.

Overrides:

toString in class java.lang.Object