net.sf.bddbddb.ir
Class IR

java.lang.Object
  net.sf.bddbddb.ir.IR

public class IR
extends java.lang.Object

Intermediate representation.

Version:

$Id: IR.java 562 2005-05-24 05:23:59Z joewhaley $

Author:

mcarbin

Field Summary

IterationFlowGraph	graph
Solver	solver

Method Summary

static IR	create(Solver solver, java.util.List strata, java.util.Map innerSccs)
static IR	create(Stratify s)
int	getNumberOfRelations()
Relation	getRelation(int index)
Relation	getRelation(java.lang.String name)
java.lang.String	getRenames(Operation op)
void	optimize()
void	printIR()
void	printIR(IterationList list, java.lang.String space)

Methods inherited from class java.lang.Object

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

Field Detail

solver

public Solver solver

graph

public IterationFlowGraph graph

Method Detail

create

public static IR create(Stratify s)

create

public static IR create(Solver solver,
                        java.util.List strata,
                        java.util.Map innerSccs)

optimize

public void optimize()

getRelation

public Relation getRelation(java.lang.String name)

getRelation

public Relation getRelation(int index)

getNumberOfRelations

public int getNumberOfRelations()

printIR

public void printIR()

printIR

public void printIR(IterationList list,
                    java.lang.String space)

getRenames

public java.lang.String getRenames(Operation op)