net.sf.bddbddb.dataflow
Class PartialOrder

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

public class PartialOrder
extends OperationProblem

Partial order.

Version:

$Id: PartialOrder.java 531 2005-04-29 06:39:10Z joewhaley $

Author:

Michael Carbin

Nested Class Summary

static class	PartialOrder.BeforeConstraint
static class	PartialOrder.Constraint
static class	PartialOrder.ConstraintGraph
static class	PartialOrder.Constraints
static class	PartialOrder.InterleavedConstraint
class	PartialOrder.PartialOrderFact
class	PartialOrder.PartialOrderTF

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

Field Summary

PartialOrder.PartialOrderFact

currFact

Constructor Summary

PartialOrder(IR ir)

Method Summary

boolean	direction()
Problem.Fact	getBoundary()
PartialOrder.Constraints	getConstraints(Relation r)
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

Field Detail

currFact

public PartialOrder.PartialOrderFact currFact

Constructor Detail

PartialOrder

public PartialOrder(IR ir)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getConstraints

public PartialOrder.Constraints getConstraints(Relation r)

getBoundary

public Problem.Fact getBoundary()

Specified by:

getBoundary in class Problem