net.sf.bddbddb.ir
Class BDDInterpreter

java.lang.Object
  net.sf.bddbddb.ir.Interpreter
      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)