COLIM_DEFS.java

// $Id: COLIM_DEFS.java,v 1.3 1998/09/03 15:25:20 mich Exp $
package agg.xt_basis.colim;
//-------------------------------------------------------------------
//                Colimit  Library Global Definitions          
//-------------------------------------------------------------------

//  Copyright (c) 1995 Technical University of Berlin, Dept TFS.
//  All rights reserved.

//  Colimes Computation Project V1.0 98/02/15 
//  Author: Dietmar Wolz, Technical University Berlin FB 13, WE 1331 
//          email: dietmar@cs.tu-berlin.de
//-------------------------------------------------------------------

public interface COLIM_DEFS { 
  static final int bottom = 0;
  static final int undefined = -1;
}