net.sf.bddbddb.dataflow
Class PartialRedundancy.Available

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

Enclosing class:

PartialRedundancy

public class PartialRedundancy.Available
extends OperationProblem

Nested Class Summary

class

PartialRedundancy.Available.AvailableFact

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.Map

availOpIns

Constructor Summary

PartialRedundancy.Available()

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
PartialRedundancy.Available.AvailableFact	getIn(Operation op)
Problem.TransferFunction	getTransferFunction(Operation o)
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

availOpIns

public java.util.Map availOpIns

Constructor Detail

PartialRedundancy.Available

public PartialRedundancy.Available()

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

getIn

public PartialRedundancy.Available.AvailableFact getIn(Operation op)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object