net.sf.bddbddb.dataflow
Class PartialRedundancy.Postponed

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

Enclosing class:

PartialRedundancy

public class PartialRedundancy.Postponed
extends OperationProblem

Nested Class Summary

class

PartialRedundancy.Postponed.PostponedFact

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.Postponed()

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
PartialRedundancy.Postponed.PostponedFact	getIn(Operation op)
Problem.TransferFunction	getTransferFunction(Operation o)
void	setIn(Operation op, PartialRedundancy.Postponed.PostponedFact 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

Constructor Detail

PartialRedundancy.Postponed

public PartialRedundancy.Postponed()

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

setIn

public void setIn(Operation op,
                  PartialRedundancy.Postponed.PostponedFact fact)

getIn

public PartialRedundancy.Postponed.PostponedFact getIn(Operation op)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object