joeq.Compiler.Dataflow
Class GenKillTransferFunction

java.lang.Object
  joeq.Compiler.Dataflow.GenKillTransferFunction

All Implemented Interfaces:

TransferFunction

public class GenKillTransferFunction
extends Object
implements TransferFunction

Field Summary

protected jwutil.math.BitString	gen
protected jwutil.math.BitString	kill

Method Summary

Fact	apply(Fact f)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

gen

protected final jwutil.math.BitString gen

kill

protected final jwutil.math.BitString kill

Method Detail

toString

public String toString()

Overrides:

toString in class Object

apply

public Fact apply(Fact f)

Specified by:

apply in interface TransferFunction