net.sf.bddbddb.ir.highlevel
Class Difference

java.lang.Object
  net.sf.bddbddb.ir.Operation
      net.sf.bddbddb.ir.highlevel.HighLevelOperation
          net.sf.bddbddb.ir.highlevel.BooleanOperation
              net.sf.bddbddb.ir.highlevel.Difference

All Implemented Interfaces:

IterationElement

public class Difference
extends BooleanOperation

Difference

Version:

$Id: Difference.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

jwhaley

Field Summary

Fields inherited from class net.sf.bddbddb.ir.Operation

id, TRACE_VERBOSE

Constructor Summary

Difference(Relation r0, Relation r1, Relation r2)

Method Summary

Operation	copy()
net.sf.javabdd.BDDFactory.BDDOp	getBDDOp()
java.lang.String	getName()
java.lang.Object	visit(HighLevelOperationVisitor i)

Methods inherited from class net.sf.bddbddb.ir.highlevel.BooleanOperation

getExpressionString, getRelationDest, getSrc1, getSrc2, getSrcs, replaceSrc, setRelationDest, toString

Methods inherited from class net.sf.bddbddb.ir.highlevel.HighLevelOperation

visit

Methods inherited from class net.sf.bddbddb.ir.Operation

getNumberOfOperations, getRenames

Methods inherited from class java.lang.Object

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

Constructor Detail

Difference

public Difference(Relation r0,
                  Relation r1,
                  Relation r2)

Parameters:

r0 -

r1 -

r2 -

Method Detail

getName

public java.lang.String getName()

Specified by:

getName in class BooleanOperation

Returns:

the name of this operation

visit

public java.lang.Object visit(HighLevelOperationVisitor i)

Specified by:

visit in class HighLevelOperation

Parameters:

i - the visitor

Returns:

the result from the visitor

getBDDOp

public net.sf.javabdd.BDDFactory.BDDOp getBDDOp()

Specified by:

getBDDOp in class BooleanOperation

Returns:

the BDDOp for this operation

copy

public Operation copy()

Specified by:

copy in class Operation