1 // Fact.java, created Thu Apr 25 16:32:26 2002 by joewhaley
2 // Copyright (C) 2001-3 John Whaley <jwhaley@alum.mit.edu>
3 // Licensed under the terms of the GNU LGPL; see COPYING for details.
4 package joeq.Compiler.Dataflow;
5
6 /***
7 * Fact
8 *
9 * @author John Whaley
10 * @version $Id: Fact.java 1456 2004-03-09 22:01:46Z jwhaley $
11 */
12 public interface Fact {
13
14 Fact merge(Fact that);
15
16 boolean equals(Fact that);
17
18 }