net.sf.bddbddb
Class IterationFlowGraph

java.lang.Object
  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)