mit.ai.techniques
Class MaintenanceOperator

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

public class MaintenanceOperator

extends Operator

This class represents a maintenance operator.

Fields inherited from class mit.ai.techniques.Operator

effects, name, preconditions

Constructor Summary

MaintenanceOperator(Literal l)
Create a maintenance operator for a literal by setting the preconditions and the effects of an operator to that literal.

Methods inherited from class mit.ai.techniques.Operator

getEffects, getName, getPreconditions, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

MaintenanceOperator

public MaintenanceOperator(Literal l)

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