net.sf.bddbddb.ir
Class BDDOperationInterpreter

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

All Implemented Interfaces:

DynamicInterpreter, DynamicOperationVisitor, HighLevelInterpreter, HighLevelOperationVisitor, LowLevelInterpreter, LowLevelOperationVisitor, OperationInterpreter, OperationVisitor

public class BDDOperationInterpreter
extends java.lang.Object
implements OperationInterpreter

BDDOperationInterpreter

Version:

$Id: BDDOperationInterpreter.java 650 2006-11-29 08:08:45Z joewhaley $

Author:

jwhaley

Field Summary

static boolean	CHECK
boolean	needsDomainMatch

Constructor Summary

BDDOperationInterpreter(BDDSolver solver, net.sf.javabdd.BDDFactory factory)

Method Summary

protected net.sf.javabdd.BDDVarSet	makeDomainsMatch(net.sf.javabdd.BDD b2, net.sf.javabdd.BDD b3, BDDRelation r1, BDDRelation r2, BDDRelation r3)
protected net.sf.javabdd.BDD	makeDomainsMatch(net.sf.javabdd.BDD b, BDDRelation r1, BDDRelation r2)
java.lang.Object	visit(ApplyEx op)
java.lang.Object	visit(BDDProject op)
java.lang.Object	visit(Copy op)
java.lang.Object	visit(Difference op)
java.lang.Object	visit(Free op)
java.lang.Object	visit(GenConstant op)
java.lang.Object	visit(If op)
java.lang.Object	visit(Invert op)
java.lang.Object	visit(Join op)
java.lang.Object	visit(JoinConstant op)
java.lang.Object	visit(Load op)
java.lang.Object	visit(Nop op)
java.lang.Object	visit(Project op)
java.lang.Object	visit(Rename op)
java.lang.Object	visit(Replace op)
java.lang.Object	visit(Save op)
java.lang.Object	visit(Union op)
java.lang.Object	visit(Universe op)
java.lang.Object	visit(Zero op)

Methods inherited from class java.lang.Object

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

Field Detail

needsDomainMatch

public boolean needsDomainMatch

CHECK

public static boolean CHECK

Constructor Detail

BDDOperationInterpreter

public BDDOperationInterpreter(BDDSolver solver,
                               net.sf.javabdd.BDDFactory factory)

Parameters:

factory -

Method Detail

makeDomainsMatch

protected net.sf.javabdd.BDD makeDomainsMatch(net.sf.javabdd.BDD b,
                                              BDDRelation r1,
                                              BDDRelation r2)

makeDomainsMatch

protected net.sf.javabdd.BDDVarSet makeDomainsMatch(net.sf.javabdd.BDD b2,
                                                    net.sf.javabdd.BDD b3,
                                                    BDDRelation r1,
                                                    BDDRelation r2,
                                                    BDDRelation r3)

visit

public java.lang.Object visit(Join op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Project op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(BDDProject op)

Specified by:

visit in interface LowLevelOperationVisitor

visit

public java.lang.Object visit(Rename op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Union op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Difference op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(JoinConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(GenConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Free op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Zero op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Universe op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Invert op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Copy op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Load op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Save op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(ApplyEx op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(If op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Nop op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Replace op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result