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 1931 2004-09-22 22:17:47Z joewhaley $

Author:

jwhaley

Field Summary

Fields inherited from class joeq.Compiler.Dataflow.BitVectorFact

fact

Constructor Summary

protected	UnionBitVectorFact(jwutil.math.BitString s)
protected	UnionBitVectorFact(int size)

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

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

Constructor Detail

UnionBitVectorFact

protected UnionBitVectorFact(int size)

UnionBitVectorFact

protected UnionBitVectorFact(jwutil.math.BitString s)

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