net.sf.bddbddb.dataflow
Class PartialRedundancy.Used

java.lang.Object
  net.sf.bddbddb.dataflow.Problem
      net.sf.bddbddb.dataflow.OperationProblem
          net.sf.bddbddb.dataflow.PartialRedundancy.Used

Enclosing class:

PartialRedundancy

public class PartialRedundancy.Used
extends OperationProblem

Nested Class Summary

class	PartialRedundancy.Used.UsedFact
class	PartialRedundancy.Used.UsedTF

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.OperationProblem

OperationProblem.OperationFact, OperationProblem.OperationTransferFunction

Nested classes/interfaces inherited from class net.sf.bddbddb.dataflow.Problem

Problem.Fact, Problem.TransferFunction

Field Summary

java.util.HashMap

opOuts

Constructor Summary

PartialRedundancy.Used()

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
PartialRedundancy.Used.UsedFact	getOut(Operation op)
Problem.TransferFunction	getTransferFunction(Operation o)
void	setOut(Operation op, PartialRedundancy.Used.UsedFact fact)
java.lang.String	toString()

Methods inherited from class net.sf.bddbddb.dataflow.OperationProblem

getFact, initialize, setFact

Methods inherited from class net.sf.bddbddb.dataflow.Problem

compare

Methods inherited from class java.lang.Object

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

Field Detail

opOuts

public java.util.HashMap opOuts

Constructor Detail

PartialRedundancy.Used

public PartialRedundancy.Used()

Method Detail

direction

public boolean direction()

Specified by:

direction in class OperationProblem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation o)

Specified by:

getTransferFunction in class Problem

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem

setOut

public void setOut(Operation op,
                   PartialRedundancy.Used.UsedFact fact)

getOut

public PartialRedundancy.Used.UsedFact getOut(Operation op)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object