model

Class Terminator

java.lang.Object

model.DPostDeclaration

model.Terminator

public class Terminator
extends DPostDeclaration

This is the class that represents the terminators 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
Terminator(SimpleSentence event, SimpleSentence fluent) Constructor of the class.
Terminator(SimpleSentence event, SimpleSentence fluent, Clause body) Constructor of the class.

Method Summary

Methods

Modifier and Type	Method and Description
String	toString() Returns the terminator in the form of: "terminates(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

Terminator

public Terminator(SimpleSentence event,
          SimpleSentence fluent)

Constructor of the class.

Parameters:

event - that is defined by this terminator.

fluent - that is terminates by this terminator.

Terminator

public Terminator(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 terminator in the form of: "terminates(event, fluent)".

Overrides:

toString in class Object

See Also:

Object.toString()