net.sf.bddbddb.dataflow
Class Liveness.LivenessFact

java.lang.Object
  net.sf.bddbddb.dataflow.BitVectorFact
      net.sf.bddbddb.dataflow.UnionBitVectorFact
          net.sf.bddbddb.dataflow.Liveness.LivenessFact

All Implemented Interfaces:

OperationProblem.OperationFact, Problem.Fact

Enclosing class:

Liveness

public class Liveness.LivenessFact
extends UnionBitVectorFact
implements OperationProblem.OperationFact

Field Summary

Fields inherited from class net.sf.bddbddb.dataflow.BitVectorFact

fact

Constructor Summary

Liveness.LivenessFact(jwutil.math.BitString fact)

Liveness.LivenessFact(int size)

Method Summary

UnionBitVectorFact	create(jwutil.math.BitString bs)
Operation	getOperation()
boolean	isAlive(Relation r)
Problem.Fact	join(Problem.Fact that)
java.lang.String	toString()

Methods inherited from class net.sf.bddbddb.dataflow.UnionBitVectorFact

copy

Methods inherited from class net.sf.bddbddb.dataflow.BitVectorFact

equals, getLocation, hashCode, setLocation

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, getLocation, setLocation

Constructor Detail

Liveness.LivenessFact

public Liveness.LivenessFact(jwutil.math.BitString fact)

Liveness.LivenessFact

public Liveness.LivenessFact(int size)

Method Detail

create

public UnionBitVectorFact create(jwutil.math.BitString bs)

Overrides:

create in class UnionBitVectorFact

join

public Problem.Fact join(Problem.Fact that)

Specified by:

join in interface Problem.Fact

Overrides:

join in class UnionBitVectorFact

toString

public java.lang.String toString()

Overrides:

toString in class BitVectorFact

isAlive

public boolean isAlive(Relation r)

getOperation

public Operation getOperation()

Specified by:

getOperation in interface OperationProblem.OperationFact