joeq.Compiler.Dataflow
Class UnionBitVectorFact

java.lang.Object
  joeq.Compiler.Dataflow.BitVectorFact
      joeq.Compiler.Dataflow.UnionBitVectorFact

All Implemented Interfaces:

Fact

public class UnionBitVectorFact
extends BitVectorFact

UnionBitVectorFact

Version:

$Id: UnionBitVectorFact.java,v 1.3 2004/09/22 22:17:26 joewhaley Exp $

Author:

jwhaley

Method Summary

BitVectorFact	makeNew(jwutil.math.BitString s)
Fact	merge(Fact that)

Methods inherited from class joeq.Compiler.Dataflow.BitVectorFact

equals, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

merge

public Fact merge(Fact that)

Specified by:

merge in interface Fact

Specified by:

merge in class BitVectorFact

makeNew

public BitVectorFact makeNew(jwutil.math.BitString s)

Specified by:

makeNew in class BitVectorFact