// $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;
}