net.sf.bddbddb.dataflow
Class BitVectorFact

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

All Implemented Interfaces:

Problem.Fact

Direct Known Subclasses:

UnionBitVectorFact

public abstract class BitVectorFact
extends java.lang.Object
implements Problem.Fact

BitVectorFact

Version:

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

Author:

Collective

Field Summary

protected jwutil.math.BitString

fact

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object o)
IterationList	getLocation()
int	hashCode()
void	setLocation(IterationList list)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.bddbddb.dataflow.Problem.Fact

copy, join

Field Detail

fact

protected final jwutil.math.BitString fact

Constructor Detail

BitVectorFact

protected BitVectorFact(int setSize)

BitVectorFact

protected BitVectorFact(jwutil.math.BitString s)

Method Detail

setLocation

public void setLocation(IterationList list)

Specified by:

setLocation in interface Problem.Fact

getLocation

public IterationList getLocation()

Specified by:

getLocation in interface Problem.Fact

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object