net.sf.bddbddb.ir
Class Operation

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

All Implemented Interfaces:

IterationElement

Direct Known Subclasses:

BooleanAssign, DynamicOperation, GenConstant, HighLevelOperation, If, LowLevelOperation, PartialRedundancy.Phi

public abstract class Operation
extends java.lang.Object
implements IterationElement

Operation

Version:

$Id: Operation.java 522 2005-04-29 02:34:44Z joewhaley $

Author:

jwhaley

Field Summary

int	id Unique ID number for this operation.
static boolean	TRACE_VERBOSE Boolean for verbose tracing of operations

Constructor Summary

Operation()

Method Summary

abstract Operation	copy()
abstract java.lang.String	getExpressionString()
static int	getNumberOfOperations()
abstract Relation	getRelationDest()
static java.lang.String	getRenames(BDDRelation r1, BDDRelation r2)
abstract java.util.List	getSrcs()
abstract void	replaceSrc(Relation r_old, Relation r_new)
abstract void	setRelationDest(Relation r0)
abstract java.lang.String	toString()
abstract java.lang.Object	visit(OperationVisitor i)

Methods inherited from class java.lang.Object

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

Field Detail

TRACE_VERBOSE

public static boolean TRACE_VERBOSE

Boolean for verbose tracing of operations

id

public final int id

Unique ID number for this operation.

Constructor Detail

Operation

public Operation()

Method Detail

getNumberOfOperations

public static int getNumberOfOperations()

Returns:

the number of operations generated so far

visit

public abstract java.lang.Object visit(OperationVisitor i)

Parameters:

i -

Returns:

the result of the visit

toString

public abstract java.lang.String toString()

Overrides:

toString in class java.lang.Object

getRelationDest

public abstract Relation getRelationDest()

Returns:

the destination relation of this operation, or null

setRelationDest

public abstract void setRelationDest(Relation r0)

Parameters:

r0 -

getSrcs

public abstract java.util.List getSrcs()

Returns:

the source relation of this operation

replaceSrc

public abstract void replaceSrc(Relation r_old,
                                Relation r_new)

Parameters:

r_old -

r_new -

getExpressionString

public abstract java.lang.String getExpressionString()

Returns:

the expression in string form

copy

public abstract Operation copy()

getRenames

public static java.lang.String getRenames(BDDRelation r1,
                                          BDDRelation r2)