fr.uga.pddl4j.parser

Class Op

java.lang.Object

fr.uga.pddl4j.parser.Op

All Implemented Interfaces:

java.io.Serializable

public class Op
extends java.lang.Object
implements java.io.Serializable

This class implements a planning operator parsed.

Modifications:

• Add method normalize(int i) - 11.12.2012.
• Add constructor of copy - 11.12.2012.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Op(Op other) Create a new operator from another.
Op(Symbol name, java.util.List<TypedSymbol> parameters, Exp preconds, Exp effects) Creates operator with a specified name, list of parameters, preconditions and effects.
Op(Symbol name, java.util.List<TypedSymbol> parameters, Exp preconditions, Exp effects, Exp duration) Creates operator with a specified name, list of parameters, preconditions and effects.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object object) Return if this operator is equals to another object.
int	getArity() Return the arity of the operator, i.e., the number of parameters of the operator.
Exp	getDuration() Returns the goal description that represents the duration constraints of the operator.
Exp	getEffects() Returns the goal description that represents the effects of the operator.
Symbol	getName() Returns the name of the operator.
TypedSymbol	getParameter(Symbol symbol) Returns the parameter of the operator that has a specified symbol.
java.util.List<TypedSymbol>	getParameters() Returns the list of parameters of the operator.
Exp	getPreconditions() Returns the goal description that represents the preconditions of the operator.
int	hashCode() Returns the hash code value of the operator.
void	normalize() Normalizes the operators.
void	normalize(int index) Normalizes the operators.
void	setDuration(Exp duration) Sets new duration constraints to the operator.
void	setEffects(Exp effects) Sets new effects to the operator.
void	setName(Symbol name) Sets a new name to the operator.
void	setParameters(java.util.List<TypedSymbol> parameters) Sets a new list of parameters to this operator.
void	setPreconditions(Exp preconditions) Sets new preconditions to the operator.
java.lang.String	toString() Returns a PDDL string representation of the operator.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Op

public Op(Op other)

Create a new operator from another.

Parameters:

other - the other operator.

Op

public Op(Symbol name,
          java.util.List<TypedSymbol> parameters,
          Exp preconds,
          Exp effects)

Creates operator with a specified name, list of parameters, preconditions and effects.

Parameters:

name - The name of the operator.

parameters - The list of parameters of the operator.

preconds - The goal description that represents the preconditions of the operator.

effects - The goal description that represents the effects of the operator.

Op

public Op(Symbol name,
          java.util.List<TypedSymbol> parameters,
          Exp preconditions,
          Exp effects,
          Exp duration)

Creates operator with a specified name, list of parameters, preconditions and effects.

Parameters:

name - The name of the operator.

parameters - The list of parameters of the operator.

preconditions - The goal description that represents the preconditions of the operator.

effects - The goal description that represents the effects of the operator.

duration - The goal description that represents the duration constraints of the operator.

Throws:

java.lang.NullPointerException - if the specified name, parameters, preconditions or effects are null.

Method Detail

getName

public final Symbol getName()

Returns the name of the operator.

Returns:

the name of the operator.

setName

public final void setName(Symbol name)

Sets a new name to the operator.

Parameters:

name - the name to set.

getParameters

public final java.util.List<TypedSymbol> getParameters()

Returns the list of parameters of the operator.

Returns:

the list of parameters of the operator.

getParameter

public final TypedSymbol getParameter(Symbol symbol)

Returns the parameter of the operator that has a specified symbol.

Parameters:

symbol - The symbol.

Returns:

the parameter of the operator that has a specified symbol or null if the operator has no such parameter.

setParameters

public final void setParameters(java.util.List<TypedSymbol> parameters)

Sets a new list of parameters to this operator.

Parameters:

parameters - The list of parameters to set.

Throws:

java.lang.NullPointerException - if the specified parameters is null.

getPreconditions

public final Exp getPreconditions()

Returns the goal description that represents the preconditions of the operator.

Returns:

The goal description that represents the preconditions of the operator.

setPreconditions

public final void setPreconditions(Exp preconditions)

Sets new preconditions to the operator.

Parameters:

preconditions - The new goal description that represents the preconditions of the operator to set.

Throws:

java.lang.NullPointerException - if the specified preconditions is null.

getEffects

public final Exp getEffects()

Returns the goal description that represents the effects of the operator.

Returns:

The goal description that represents the effects of the operator.

setEffects

public final void setEffects(Exp effects)

Sets new effects to the operator.

Parameters:

effects - he new goal description that represents the effects of the operator to set.

Throws:

java.lang.NullPointerException - if the specified effects is null.

getDuration

public final Exp getDuration()

Returns the goal description that represents the duration constraints of the operator.

Returns:

the goal description that represents the duration constraints of the operator.

setDuration

public final void setDuration(Exp duration)

Sets new duration constraints to the operator.

Parameters:

duration - the duration constraint to set

normalize

public void normalize()
               throws FatalException

Normalizes the operators.

Throws:

FatalException

See Also:

Exp.renameVariables(), Exp.moveNegationInward()

normalize

public void normalize(int index)
               throws FatalException

Normalizes the operators.

Parameters:

index - the index of the first variable, index.e., ?Xi.

Throws:

FatalException

See Also:

Exp.renameVariables(), Exp.moveNegationInward()

getArity

public final int getArity()

Return the arity of the operator, i.e., the number of parameters of the operator.

Returns:

the arity of the operator.

equals

public boolean equals(java.lang.Object object)

Return if this operator is equals to another object.

Overrides:

equals in class java.lang.Object

Parameters:

object - the other object.

Returns:

true if object is not null, is an instance of the class Op, and has the same name; otherwise it returns false.

See Also:

Object.equals(java.lang.Object)

hashCode

public int hashCode()

Returns the hash code value of the operator.

Overrides:

hashCode in class java.lang.Object

Returns:

the hash code value of the operator.

See Also:

Object.hashCode()

toString

public java.lang.String toString()

Returns a PDDL string representation of the operator.

Overrides:

toString in class java.lang.Object

Returns:

a string PDDL representation of the operator.