joeq.Compiler.Dataflow
Class BitVectorFact

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

All Implemented Interfaces:

Fact

Direct Known Subclasses:

UnionBitVectorFact

public abstract class BitVectorFact
extends Object
implements Fact

Field Summary

protected jwutil.math.BitString

fact

Constructor Summary

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

Method Summary

boolean	equals(Fact that)
abstract BitVectorFact	makeNew(jwutil.math.BitString s)
abstract Fact	merge(Fact that)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

fact

protected final jwutil.math.BitString fact

Constructor Detail

BitVectorFact

protected BitVectorFact(int size)

BitVectorFact

protected BitVectorFact(jwutil.math.BitString s)

Method Detail

merge

public abstract Fact merge(Fact that)

Specified by:

merge in interface Fact

equals

public boolean equals(Fact that)

Specified by:

equals in interface Fact

toString

public String toString()

Overrides:

toString in class Object

makeNew

public abstract BitVectorFact makeNew(jwutil.math.BitString s)