de.rwth.i2.attestor.generated.node

Class PLtlform

java.lang.Object

de.rwth.i2.attestor.generated.node.Node

de.rwth.i2.attestor.generated.node.PLtlform

All Implemented Interfaces:

Switchable, Cloneable

Direct Known Subclasses:

AFinallyLtlform, AGloballyLtlform, AImpliesLtlform, ANextLtlform, AReleaseLtlform, AStateformLtlform, ATermLtlform, AUntilLtlform

public abstract class PLtlform
extends Node

Constructor Summary

Constructors

Constructor and Description
PLtlform()

Method Summary

Methods inherited from class de.rwth.i2.attestor.generated.node.Node

clone, cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.i2.attestor.generated.node.Switchable

apply

Constructor Detail

PLtlform

public PLtlform()