net.sf.bddbddb.ir
Class BDDInterpreter

java.lang.Object
  extended by net.sf.bddbddb.ir.Interpreter
      extended by net.sf.bddbddb.ir.BDDInterpreter

public class BDDInterpreter
extends Interpreter

BDDInterpreter

Version:
$Id: BDDInterpreter.java 522 2005-04-29 02:34:44Z joewhaley $
Author:
mcarbin

Nested Class Summary
 
Nested classes/interfaces inherited from class net.sf.bddbddb.ir.Interpreter
Interpreter.LoopStats, Interpreter.RelationStats
 
Constructor Summary
BDDInterpreter(IR ir)
           
 
Method Summary
 void interpret()
           
 boolean interpret(IterationList list)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BDDInterpreter

public BDDInterpreter(IR ir)
Parameters:
ir -
Method Detail

interpret

public void interpret()
Specified by:
interpret in class Interpreter

interpret

public boolean interpret(IterationList list)


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