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)


Copyright © 2001-2008 John Whaley. All Rights Reserved.