net.sf.bddbddb.dataflow
Class PartialRedundancy.Earliest

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

Enclosing class:

PartialRedundancy

public class PartialRedundancy.Earliest
extends OperationProblem

Nested Class Summary

class	PartialRedundancy.Earliest.EarliestFact
class	PartialRedundancy.Earliest.EarliestTF

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

Constructor Summary

PartialRedundancy.Earliest()

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
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

Constructor Detail

PartialRedundancy.Earliest

public PartialRedundancy.Earliest()

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object