net.sf.bddbddb.dataflow
Class Problem

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

Direct Known Subclasses:

OperationProblem, RelationProblem

public abstract class Problem
extends java.lang.Object

Problem

Version:

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

Author:

John Whaley

Nested Class Summary

static interface	Problem.Fact
static class	Problem.TransferFunction

Constructor Summary

Problem()

Method Summary

boolean	compare(Problem.Fact f1, Problem.Fact f2)
abstract boolean	direction()
abstract Problem.Fact	getBoundary()
abstract Problem.TransferFunction	getTransferFunction(Operation o)

Methods inherited from class java.lang.Object

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

Constructor Detail

Problem

public Problem()

Method Detail

getTransferFunction

public abstract Problem.TransferFunction getTransferFunction(Operation o)

getBoundary

public abstract Problem.Fact getBoundary()

direction

public abstract boolean direction()

compare

public boolean compare(Problem.Fact f1,
                       Problem.Fact f2)