fr.uga.pddl4j.parser

Class DerivedPredicate

java.lang.Object

fr.uga.pddl4j.parser.DerivedPredicate

All Implemented Interfaces:

java.io.Serializable

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

This class implements a derived predicate of the PDDL 3.0 language.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DerivedPredicate(NamedTypedList head, Exp body) Creates a new derived predicate with a specific head and body.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Returns if this derived predicate is equal to another object.
Exp	getBody() Returns the body of the derived predicate.
NamedTypedList	getHead() Returns the head of the derived predicate.
int	hashCode() Returns the hash code value of the derived predicate.
void	normalize() Normalizes the derived predicates, i.e, renames the variables contained in the derived predicate and move the negation inward.
void	setBody(Exp body) Sets the body of this derived predicate.
void	setHead(NamedTypedList head) Sets the head of the derived predicate.
java.lang.String	toString() Returns a string representation of this derived predicate.

Methods inherited from class java.lang.Object

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

Constructor Detail

DerivedPredicate

public DerivedPredicate(NamedTypedList head,
                        Exp body)

Creates a new derived predicate with a specific head and body.

Parameters:

head - the head of the derived predicate.

body - the body of the derived predicate.

Method Detail

getHead

public final NamedTypedList getHead()

Returns the head of the derived predicate.

Returns:

the head of the derived predicate.

setHead

public final void setHead(NamedTypedList head)

Sets the head of the derived predicate.

Parameters:

head - the head to set.

getBody

public final Exp getBody()

Returns the body of the derived predicate.

Returns:

the body of the derived predicate.

setBody

public final void setBody(Exp body)

Sets the body of this derived predicate.

Parameters:

body - the body to set.

normalize

public void normalize()

Normalizes the derived predicates, i.e, renames the variables contained in the derived predicate and move the negation inward.

See Also:

Exp.renameVariables(), Exp.moveNegationInward()

equals

public boolean equals(java.lang.Object obj)

Returns if this derived predicate is equal to another object.

Overrides:

equals in class java.lang.Object

Parameters:

obj - the other object.

Returns:

true if obj is not null, is an instance of the class DerivedPredicate and has the same head and body; otherwise it returns false.

See Also:

Object.equals(java.lang.Object)

hashCode

public int hashCode()

Returns the hash code value of the derived predicate.

Overrides:

hashCode in class java.lang.Object

Returns:

the hash code value of the derived predicate.

See Also:

Object.hashCode()

toString

public java.lang.String toString()

Returns a string representation of this derived predicate.

Overrides:

toString in class java.lang.Object

Returns:

a string representation of this derived predicate.

See Also:

Object.toString()