32 |
* Browser Logical Relation Output Routines |
* Browser Logical Relation Output Routines |
33 |
*/ |
*/ |
34 |
|
|
35 |
#include "tcl.h" |
#include <tcl.h> |
36 |
#include "utilities/ascConfig.h" |
#include <utilities/ascConfig.h> |
37 |
#include "utilities/ascMalloc.h" |
#include <utilities/ascMalloc.h> |
38 |
#include "general/list.h" |
#include <general/list.h> |
39 |
#include "general/dstring.h" |
#include <general/dstring.h> |
40 |
#include "compiler/compiler.h" |
#include <compiler/compiler.h> |
41 |
#include "compiler/fractions.h" |
#include <compiler/fractions.h> |
42 |
#include "compiler/dimen.h" |
#include <compiler/dimen.h> |
43 |
#include "compiler/types.h" |
#include <compiler/types.h> |
44 |
#include "compiler/exprs.h" |
#include <compiler/exprs.h> |
45 |
#include "compiler/instance.h" |
#include <compiler/instance.h> |
46 |
#include "compiler/instance_enum.h" |
#include <compiler/instance_enum.h> |
47 |
#include "compiler/symtab.h" |
#include <compiler/symtab.h> |
48 |
#include "compiler/instance_io.h" |
#include <compiler/instance_io.h> |
49 |
#include "compiler/instquery.h" |
#include <compiler/instquery.h> |
50 |
#include "compiler/visitinst.h" |
#include <compiler/visitinst.h> |
51 |
#include "compiler/mathinst.h" |
#include <compiler/mathinst.h> |
52 |
#include "compiler/extfunc.h" |
#include <compiler/extfunc.h> |
53 |
#include "compiler/find.h" |
#include <compiler/find.h> |
54 |
#include "compiler/functype.h" |
#include <compiler/functype.h> |
55 |
#include "compiler/safe.h" |
#include <compiler/safe.h> |
56 |
#include "compiler/func.h" |
#include <compiler/func.h> |
57 |
#include "compiler/extcall.h" |
#include <compiler/extcall.h> |
58 |
#include "compiler/logical_relation.h" |
#include <compiler/logical_relation.h> |
59 |
#include "compiler/logrelation.h" |
#include <compiler/logrelation.h> |
60 |
#include "compiler/logrel_util.h" |
#include <compiler/logrel_util.h> |
61 |
#include "compiler/logrel_io.h" |
#include <compiler/logrel_io.h> |
62 |
#include "compiler/instance_name.h" |
#include <compiler/instance_name.h> |
63 |
#include "solver/slv_types.h" |
#include <compiler/qlfdid.h> |
64 |
#include "interface/HelpProc.h" |
#include <solver/slv_types.h> |
65 |
#include "interface/BrowserProc.h" |
#include "HelpProc.h" |
66 |
#include "interface/BrowLogRel_io.h" |
#include "BrowserProc.h" |
67 |
#include "interface/Qlfdid.h" |
#include "BrowLogRel_io.h" |
68 |
#include "interface/BrowserQuery.h" |
#include "Qlfdid.h" |
69 |
|
#include "BrowserQuery.h" |
70 |
|
|
71 |
|
|
72 |
#ifndef lint |
#ifndef lint |