28 |
*/ |
*/ |
29 |
|
|
30 |
|
|
31 |
#include "tcl.h" |
#include <tcl.h> |
32 |
#include "tk.h" |
#include <tk.h> |
33 |
#include "utilities/ascConfig.h" |
#include <utilities/ascConfig.h> |
34 |
#include "utilities/ascMalloc.h" |
#include <utilities/ascMalloc.h> |
35 |
#include "general/list.h" |
#include <general/list.h> |
36 |
#include "compiler/instance_enum.h" |
#include <compiler/instance_enum.h> |
37 |
#include "solver/var.h" |
#include <solver/var.h> |
38 |
#include "solver/rel.h" |
#include <solver/rel.h> |
39 |
#include "solver/slv_client.h" |
#include <solver/slv_client.h> |
40 |
#include "interface/BrowserQuery.h" |
#include "BrowserQuery.h" |
41 |
#include "interface/BrowserDag.h" |
#include "BrowserDag.h" |
42 |
#include "general/mathmacros.h" |
#include <general/mathmacros.h> |
43 |
|
|
44 |
#ifndef lint |
#ifndef lint |
45 |
static CONST char BrowserDagID[] = "$Id: BrowserDag.c,v 1.15 2003/08/23 18:43:04 ballan Exp $"; |
static CONST char BrowserDagID[] = "$Id: BrowserDag.c,v 1.15 2003/08/23 18:43:04 ballan Exp $"; |