net.sf.bddbddb.dataflow
Class RelationProblem

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

Direct Known Subclasses:

ConstantProp

public abstract class RelationProblem
extends Problem

RelationProblem

Version:

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

Author:

John Whaley

Nested Class Summary

static class	RelationProblem.RelationFact
static class	RelationProblem.RelationFacts

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

Problem.Fact, Problem.TransferFunction

Constructor Summary

RelationProblem()

Method Summary

Problem.Fact

getBoundary()

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

compare, direction, getTransferFunction

Methods inherited from class java.lang.Object

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

Constructor Detail

RelationProblem

public RelationProblem()

Method Detail

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem