ca.uqac.lif.ecp.ltl

Class AtomDeletion<T extends Event>

java.lang.Object

ca.uqac.lif.ecp.ltl.HologramTransformation<T>

ca.uqac.lif.ecp.ltl.LeafDeletion<T>

ca.uqac.lif.ecp.ltl.AtomDeletion<T>

public class AtomDeletion<T extends Event>
extends LeafDeletion<T>

Field Summary

Fields inherited from class ca.uqac.lif.ecp.ltl.LeafDeletion

m_deleteAtoms

Constructor Summary

Constructors

Constructor and Description
AtomDeletion()

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.ecp.ltl.LeafDeletion

transform, transformRecursive

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomDeletion

public AtomDeletion()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class LeafDeletion<T extends Event>