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 1456 2004-03-09 22:01:46Z jwhaley $
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
Copyright © 2001-2008 John Whaley. All Rights Reserved.