model

Class Initiator

java.lang.Object

model.DPostDeclaration

model.Initiator

public class Initiator
extends DPostDeclaration

This is the class that represents the initiators among the DPost declarations. It extends DPostDeclaration.

Author:

Alexandre Camus

Field Summary

Fields inherited from class model.DPostDeclaration

body, event, fluent

Constructor Summary

Constructors

Constructor and Description
Initiator(SimpleSentence event, SimpleSentence fluent) Constructor of the class.
Initiator(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
String	toString() Returns the initiator in the form of: "initiates(event, fluent)".

Methods inherited from class model.DPostDeclaration

getEvent, getFluent, getGroundFluent

Methods inherited from class java.lang.Object

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

Constructor Detail

Initiator

public Initiator(SimpleSentence event,
         SimpleSentence fluent)

Constructor of the class.

Parameters:

event - that is defined by this initiator.

fluent - that is initiates by this initiator.

Initiator

public Initiator(SimpleSentence event,
         SimpleSentence fluent,
         Clause body)

Constructor of the class.

Parameters:

event - that is defined by this terminator.

fluent - that is terminates by this terminator.

body - the body of the postcondition.

Method Detail

toString

public String toString()

Returns the initiator in the form of: "initiates(event, fluent)".

Overrides:

toString in class Object

See Also:

Object.toString()