net.sf.bddbddb.dataflow
Class CopyProp

java.lang.Object
  net.sf.bddbddb.dataflow.Problem
      net.sf.bddbddb.dataflow.OperationProblem
          net.sf.bddbddb.dataflow.CopyProp

All Implemented Interfaces:

IRPass

public class CopyProp
extends OperationProblem
implements IRPass

CopyProp

Version:

$Id: CopyProp.java 445 2005-02-21 02:32:50Z cs343 $

Author:

mcarbin

Nested Class Summary

class	CopyProp.CopyPropFact
class	CopyProp.CopyPropTF

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.OperationProblem

OperationProblem.OperationFact, OperationProblem.OperationTransferFunction

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.Problem

Problem.Fact, Problem.TransferFunction

Constructor Summary

CopyProp(IR ir)

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
CopyProp.CopyPropFact	getIn(Operation op)
Problem.TransferFunction	getTransferFunction(Operation o)
boolean	run()
void	setIn(Operation op, CopyProp.CopyPropFact fact)
java.lang.String	toString()
boolean	transform(IterationList list)

Methods inherited from class net.sf.bddbddb.dataflow.OperationProblem

getFact, initialize, setFact

Methods inherited from class net.sf.bddbddb.dataflow.Problem

compare

Methods inherited from class java.lang.Object

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

Constructor Detail

CopyProp

public CopyProp(IR ir)

Method Detail

run

public boolean run()

Specified by:

run in interface IRPass

setIn

public void setIn(Operation op,
                  CopyProp.CopyPropFact fact)

getIn

public CopyProp.CopyPropFact getIn(Operation op)

direction

public boolean direction()

Specified by:

direction in class OperationProblem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation o)

Specified by:

getTransferFunction in class Problem

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

transform

public boolean transform(IterationList list)