model

Class DPostDeclaration

java.lang.Object

model.DPostDeclaration

Direct Known Subclasses:

Initiator, Terminator

public abstract class DPostDeclaration
extends Object

This is an abstract class to represent the DPost declarations.

Author:

Alexandre Camus

Field Summary

Fields

Modifier and Type	Field and Description
protected Clause	body
protected SimpleSentence	event
protected SimpleSentence	fluent

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DPostDeclaration(SimpleSentence event, SimpleSentence fluent) Constructor of the object.
protected	DPostDeclaration(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the object.

Method Summary

Methods

Modifier and Type	Method and Description
SimpleSentence	getEvent() Gets the event of the declaration.
SimpleSentence	getFluent() Gets the fluent of the declaration.
SimpleSentence	getGroundFluent(SimpleSentence event, RuleSet rules) Gets the bound fluent according to the bindings of the specified event.

Methods inherited from class java.lang.Object

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

Field Detail

event

protected SimpleSentence event

fluent

protected SimpleSentence fluent

body

protected Clause body

Constructor Detail

DPostDeclaration

protected DPostDeclaration(SimpleSentence event,
                SimpleSentence fluent)

Constructor of the object.

Parameters:

event - is the general form of event (with often free variables).

fluent - is also the general form fluent. It is the terminated or created by the event.

DPostDeclaration

protected DPostDeclaration(SimpleSentence event,
                SimpleSentence fluent,
                Clause body)

Constructor of the object.

Parameters:

event - is the general form of event (with often free variables).

fluent - is also the general form fluent. It is the terminated or created by the event.

body - is the body of the postcondition.

Method Detail

getEvent

public SimpleSentence getEvent()

Gets the event of the declaration.

Returns:

the event contained in the declaration.

getFluent

public SimpleSentence getFluent()

Gets the fluent of the declaration.

Returns:

the fluent contained in the declaration.

getGroundFluent

public SimpleSentence getGroundFluent(SimpleSentence event,
                             RuleSet rules)

Gets the bound fluent according to the bindings of the specified event.

This method is used to apply certain values to the variable of the event and to pass these values to the fluent.

Parameters:

event - that is bound and corresponds to this declaration.

rules - the database.

Returns:

the bound fluent according to the bindings.