ca.uqac.lif.ecp.ltl

Class PolarityDeletion<T extends Event>

java.lang.Object

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

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

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

Type Parameters:

T - The event type

public class PolarityDeletion<T extends Event>
extends FailFastDeletion<T>

Hologram transformation that deletes all the children of a node that do not determine its truth value. This is a refinement over FailFastDeletion.

Author:

Sylvain Hallé

Constructor Summary

Constructors

Constructor and Description
PolarityDeletion()

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()
Operator<T>	transform(Operator<T> tree)

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

transformRecursive

Methods inherited from class java.lang.Object

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

Constructor Detail

PolarityDeletion

public PolarityDeletion()

Method Detail

transform

public Operator<T> transform(Operator<T> tree)

Overrides:

transform in class FailFastDeletion<T extends Event>

toString

public java.lang.String toString()

Overrides:

toString in class FailFastDeletion<T extends Event>