net.sf.bddbddb.dataflow
Class ConstantProp

java.lang.Object
  net.sf.bddbddb.dataflow.Problem
      net.sf.bddbddb.dataflow.RelationProblem
          net.sf.bddbddb.dataflow.ConstantProp

public class ConstantProp
extends RelationProblem

ConstantProp

Version:

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

Author:

John Whaley

Nested Class Summary

class	ConstantProp.ConstantPropFact
class	ConstantProp.ConstantPropFacts
class	ConstantProp.ConstantPropTF
class	ConstantProp.SimplifyVisitor

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

RelationProblem.RelationFact, RelationProblem.RelationFacts

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

Problem.Fact, Problem.TransferFunction

Field Summary

ConstantProp.ConstantPropFacts

currentFacts

Constructor Summary

ConstantProp()

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
Problem.TransferFunction	getTransferFunction(Operation op)
Operation	simplify(Operation op, ConstantProp.ConstantPropFacts facts)

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

compare

Methods inherited from class java.lang.Object

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

Field Detail

currentFacts

public ConstantProp.ConstantPropFacts currentFacts

Constructor Detail

ConstantProp

public ConstantProp()

Method Detail

direction

public boolean direction()

Specified by:

direction in class Problem

getBoundary

public Problem.Fact getBoundary()

Overrides:

getBoundary in class RelationProblem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation op)

Specified by:

getTransferFunction in class Problem

simplify

public Operation simplify(Operation op,
                          ConstantProp.ConstantPropFacts facts)