1 // TransferFunction.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 * TransferFunction
8 *
9 * @author John Whaley
10 * @version $Id: TransferFunction.java 1456 2004-03-09 22:01:46Z jwhaley $
11 */
12 public interface TransferFunction {
13
14 Fact apply(Fact f);
15
16 }