Package edu.uky.ai.planning

Class Operator

java.lang.Object

edu.uky.ai.planning.Operator

public class Operator
extends Object

An operator is an action template that describes one way to change the world in terms of its precondition (what must be true before the action can be taken) and effect (what becomes true after the action is taken).

Author:

Stephen G. Ware

Field Summary

Fields

Modifier and Type	Field	Description
final Proposition	effect	What becomes true after the action is taken
final String	name	The name of the action
final ImmutableArray<Variable>	parameters	The parameters that provide the specific details for the action
final Proposition	precondition	What must be true before the action can be taken

Constructor Summary

Constructors

Constructor	Description
Operator(String name, Variable[] parameters, Proposition precondition, Proposition effect)	Constructs a new action template.
Operator(String name, ImmutableArray<Variable> parameters, Proposition precondition, Proposition effect)	Constructs a new action template.

Method Summary

Modifier and Type	Method	Description
Step	makeStep(Substitution substitution)	Creates a ground step (i.e.
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

name

public final String name

The name of the action

parameters

public final ImmutableArray<Variable> parameters

The parameters that provide the specific details for the action

precondition

public final Proposition precondition

What must be true before the action can be taken

effect

public final Proposition effect

What becomes true after the action is taken

Constructor Details

Operator

public Operator(String name,
 ImmutableArray<Variable> parameters,
 Proposition precondition,
 Proposition effect)

Constructs a new action template.

Parameters:

name - the name of the action

parameters - the parameters that provide specific detail

precondition - what must be true before

effect - what becomes true after

Operator

public Operator(String name,
 Variable[] parameters,
 Proposition precondition,
 Proposition effect)

Constructs a new action template.

Parameters:

name - the name of the action

parameters - the parameters that provide specific detail

precondition - what must be true before

effect - what becomes true after

Method Details

makeStep

public Step makeStep(Substitution substitution)

Creates a ground step (i.e. a specific action) from this action template.

Parameters:

substitution - provides bindings for each of the operator's parameters

Returns:

a step

toString

public String toString()

Overrides:

toString in class Object