net.sf.bddbddb.dataflow
Class PartialRedundancy.Anticipated

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

Enclosing class:

PartialRedundancy

public class PartialRedundancy.Anticipated
extends OperationProblem

Nested Class Summary

class

PartialRedundancy.Anticipated.AnticipatedFact

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

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

public PartialRedundancy.Anticipated()

Method Detail

direction

public boolean direction()

Specified by:

direction in class OperationProblem

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem

getTransferFunction

public Problem.TransferFunction getTransferFunction(Operation o)

Specified by:

getTransferFunction in class Problem

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object