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 java.lang.Object
implements Fact

Method Summary

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

Methods inherited from class java.lang.Object

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

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

makeNew

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