net.sf.bddbddb
Class IterationFlowGraph

java.lang.Object
  extended by net.sf.bddbddb.IterationFlowGraph

public class IterationFlowGraph
extends java.lang.Object

IterationFlowGraph

Version:
$Id: IterationFlowGraph.java 558 2005-05-23 21:10:31Z joewhaley $
Author:
mcarbin

Constructor Summary
IterationFlowGraph(java.util.List rules, java.util.List strata, java.util.Map innerSccs)
           
IterationFlowGraph(java.util.List rules, Stratify strat)
           
 
Method Summary
 boolean dependsOn(IterationElement e1, IterationElement e2)
           
 IterationList expand()
           
 IterationElement getIterationElement(java.lang.String s)
           
 IterationList getIterationList()
           
 java.util.List getLoops()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IterationFlowGraph

public IterationFlowGraph(java.util.List rules,
                          Stratify strat)

IterationFlowGraph

public IterationFlowGraph(java.util.List rules,
                          java.util.List strata,
                          java.util.Map innerSccs)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

dependsOn

public boolean dependsOn(IterationElement e1,
                         IterationElement e2)

getIterationList

public IterationList getIterationList()

expand

public IterationList expand()

getLoops

public java.util.List getLoops()
Returns:
Returns the loops.

getIterationElement

public IterationElement getIterationElement(java.lang.String s)


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