summaryrefslogtreecommitdiff
path: root/omegalib/omega_lib/include/omega/evac.h
diff options
context:
space:
mode:
Diffstat (limited to 'omegalib/omega_lib/include/omega/evac.h')
-rw-r--r--omegalib/omega_lib/include/omega/evac.h15
1 files changed, 0 insertions, 15 deletions
diff --git a/omegalib/omega_lib/include/omega/evac.h b/omegalib/omega_lib/include/omega/evac.h
deleted file mode 100644
index a561f8c..0000000
--- a/omegalib/omega_lib/include/omega/evac.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#if defined STUDY_EVACUATIONS
-
-namespace omega {
-
-// study the evacuation from one side of C to the other for UFS's of
-// arity up to max_arity
-extern void study_evacuation(Conjunct *C, which_way dir, int max_arity);
-
-// study the evacuation from the joined C2's output and C1's input to
-// either of the other possible tuples
-extern void study_evacuation(Conjunct *C1, Conjunct *C2, int max_arity);
-
-} // namespace
-
-#endif