net.sf.bddbddb.ir.highlevel
Class BooleanOperation

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

All Implemented Interfaces:

IterationElement

Direct Known Subclasses:

Difference, Join, Union

public abstract class BooleanOperation
extends HighLevelOperation

BooleanOperation

Version:

$Id: BooleanOperation.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

BooleanOperation(Relation r0, Relation r1, Relation r2)

Method Summary

abstract net.sf.javabdd.BDDFactory.BDDOp	getBDDOp()
java.lang.String	getExpressionString()
abstract java.lang.String	getName()
Relation	getRelationDest()
Relation	getSrc1()
Relation	getSrc2()
java.util.List	getSrcs()
void	replaceSrc(Relation r_old, Relation r_new)
void	setRelationDest(Relation r0)
java.lang.String	toString()

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

visit, visit

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

copy, getNumberOfOperations, getRenames

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanOperation

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

Parameters:

r0 -

r1 -

r2 -

Method Detail

getName

public abstract java.lang.String getName()

Returns:

the name of this operation

toString

public java.lang.String toString()

Specified by:

toString in class Operation

getExpressionString

public java.lang.String getExpressionString()

Specified by:

getExpressionString in class Operation

Returns:

the expression in string form

getRelationDest

public Relation getRelationDest()

Specified by:

getRelationDest in class Operation

Returns:

the destination relation of this operation, or null

getSrcs

public java.util.List getSrcs()

Specified by:

getSrcs in class Operation

Returns:

the source relation of this operation

getSrc1

public Relation getSrc1()

Returns:

Returns the source relation.

getSrc2

public Relation getSrc2()

Returns:

Returns the source relation.

getBDDOp

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

Returns:

the BDDOp for this operation

replaceSrc

public void replaceSrc(Relation r_old,
                       Relation r_new)

Specified by:

replaceSrc in class Operation

setRelationDest

public void setRelationDest(Relation r0)

Specified by:

setRelationDest in class Operation