net.sf.bddbddb.ir.lowlevel
Class ApplyEx

java.lang.Object
  net.sf.bddbddb.ir.Operation
      net.sf.bddbddb.ir.lowlevel.LowLevelOperation
          net.sf.bddbddb.ir.lowlevel.ApplyEx

All Implemented Interfaces:

IterationElement

public class ApplyEx
extends LowLevelOperation

ApplyEx

Version:

$Id: ApplyEx.java 645 2006-07-17 05:20:20Z joewhaley $

Author:

jwhaley

Field Summary

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

id, TRACE_VERBOSE

Constructor Summary

ApplyEx(BDDRelation r0, BDDRelation r1, net.sf.javabdd.BDDFactory.BDDOp op, BDDRelation r2)

Method Summary

Operation	copy()
java.util.List	getAttributes()
java.lang.String	getExpressionString()
net.sf.javabdd.BDDFactory.BDDOp	getOp()
net.sf.javabdd.BDDVarSet	getProjectSet()
Relation	getRelationDest()
Relation	getSrc1()
Relation	getSrc2()
java.util.List	getSrcs()
void	replaceSrc(Relation r_old, Relation r_new)
void	setProjectSet()
void	setRelationDest(Relation r0)
java.lang.String	toString()
java.lang.Object	visit(LowLevelOperationVisitor i)

Methods inherited from class net.sf.bddbddb.ir.lowlevel.LowLevelOperation

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

ApplyEx

public ApplyEx(BDDRelation r0,
               BDDRelation r1,
               net.sf.javabdd.BDDFactory.BDDOp op,
               BDDRelation r2)

Parameters:

r0 -

r1 -

r2 -

Method Detail

visit

public java.lang.Object visit(LowLevelOperationVisitor i)

Specified by:

visit in class LowLevelOperation

Parameters:

i - visitor

Returns:

the result from the visitor

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.

getProjectSet

public net.sf.javabdd.BDDVarSet getProjectSet()

Returns:

the set to project

setProjectSet

public void setProjectSet()

getAttributes

public java.util.List getAttributes()

Returns:

Returns the attributes.

getOp

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

Returns:

the BDD 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

copy

public Operation copy()

Specified by:

copy in class Operation