Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

joeq.Compiler.Dataflow
Interface Fact

All Known Implementing Classes:
BitVectorFact, UnionBitVectorFact
public interface Fact

Fact

Version:
$Id: Fact.java,v 1.3 2004/03/09 22:01:45 jwhaley Exp $
Author:
John Whaley

Method Summary
 boolean equals(Fact that)
           
 Fact merge(Fact that)
           
 

Method Detail

merge

Fact merge(Fact that)

equals

boolean equals(Fact that)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD