edu.cmu.cs.coral.icf.plan_based.planners
Class LiteralSchema

java.lang.Object
  |
  +--edu.cmu.cs.coral.icf.plan_based.planners.LiteralSchema

public class LiteralSchema

extends java.lang.Object

Represents a schema for making a literal. The main use of this class is in ActionSchema's to represent the preconditions, adds, and deletes.

Since:

ICF 0.0

Version:

$Id$

Field Summary

private java.util.Vector	params The Variable's that this schema depends upon.
private Predicate	predicate The Predicate this schema is based upon.

Constructor Summary

LiteralSchema(Predicate predicate, java.util.Vector params)
Construct a new LiteralSchema with the given Predicate and Variable's.

Method Summary

java.util.Vector	getParams() Gets the parameters for this schema.
Predicate	getPredicate() Gets the predicate this LiteralSchema is based upon.
Literal	instantiate(Binding binding) Instantiate the Literal with the given bindings.

Methods inherited from class java.lang.Object

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

Field Detail

predicate

private Predicate predicate

The Predicate this schema is based upon.

Since:

ICF 0.0

params

private java.util.Vector params

The Variable's that this schema depends upon.

Since:

ICF 0.0

Constructor Detail

LiteralSchema

public LiteralSchema(Predicate predicate,
                     java.util.Vector params)

Construct a new LiteralSchema with the given Predicate and Variable's. The Vector of parameters should not be changed after calling this constructor.

Parameters:

predicate - the Predicate this LiteralSchema is based upon

params - the variables used in this schema

Since:

ICF 0.0

Method Detail

getPredicate

public Predicate getPredicate()

Gets the predicate this LiteralSchema is based upon.

Returns:

the predicate this schema is based upon

Since:

ICF 0.0

getParams

public java.util.Vector getParams()

Gets the parameters for this schema.

Returns:

the parameters of this schema, i.e. the variables used in the schema

Since:

ICF 0.0

instantiate

public Literal instantiate(Binding binding)

Instantiate the Literal with the given bindings.

Parameters:

binding - the values to use for variables.

Returns:

a Literal that matches this LiteralSchema with the actual values of variables substituted for the variable names

Since:

ICF 0.0