net.sf.bddbddb.dataflow
Class UnionBitVectorFact

java.lang.Object
  net.sf.bddbddb.dataflow.BitVectorFact
      net.sf.bddbddb.dataflow.UnionBitVectorFact

All Implemented Interfaces:

Problem.Fact

Direct Known Subclasses:

DefUse.DefUseFact, Liveness.LivenessFact

public class UnionBitVectorFact
extends BitVectorFact

Version:

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

Author:

Collective

Field Summary

Fields inherited from class net.sf.bddbddb.dataflow.BitVectorFact

fact

Constructor Summary

UnionBitVectorFact(jwutil.math.BitString s)

UnionBitVectorFact(int setSize)

Method Summary

Problem.Fact	copy(IterationList list)
UnionBitVectorFact	create(jwutil.math.BitString s)
Problem.Fact	join(Problem.Fact that)

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

equals, getLocation, hashCode, setLocation, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnionBitVectorFact

public UnionBitVectorFact(int setSize)

UnionBitVectorFact

public UnionBitVectorFact(jwutil.math.BitString s)

Method Detail

create

public UnionBitVectorFact create(jwutil.math.BitString s)

join

public Problem.Fact join(Problem.Fact that)

copy

public Problem.Fact copy(IterationList list)