net.sf.bddbddb.dataflow
Class ConstantProp

java.lang.Object
  extended by net.sf.bddbddb.dataflow.Problem
      extended by net.sf.bddbddb.dataflow.RelationProblem
          extended by 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)


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.