net.sf.bddbddb.dataflow
Class OperationProblem

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

Direct Known Subclasses:

CopyProp, DefUse, Liveness, PartialOrder, PartialRedundancy.Anticipated, PartialRedundancy.Available, PartialRedundancy.Earliest, PartialRedundancy.Latest, PartialRedundancy.Postponed, PartialRedundancy.Used

public abstract class OperationProblem
extends Problem

RelationProblem

Version:

$Id: OperationProblem.java 328 2004-10-16 02:45:30Z joewhaley $

Author:

John Whaley

Nested Class Summary

static interface	OperationProblem.OperationFact
class	OperationProblem.OperationTransferFunction

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

Problem.Fact, Problem.TransferFunction

Constructor Summary

OperationProblem()

Method Summary

abstract boolean	direction()
OperationProblem.OperationFact	getFact(Operation o)
void	initialize()
void	setFact(Operation o, OperationProblem.OperationFact f)

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

compare, getBoundary, getTransferFunction

Methods inherited from class java.lang.Object

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

Constructor Detail

OperationProblem

public OperationProblem()

Method Detail

initialize

public void initialize()

getFact

public OperationProblem.OperationFact getFact(Operation o)

setFact

public void setFact(Operation o,
                    OperationProblem.OperationFact f)

direction

public abstract boolean direction()

Specified by:

direction in class Problem