diff options
Diffstat (limited to 'omegalib/omega_lib/include/omega/evac.h')
-rw-r--r-- | omegalib/omega_lib/include/omega/evac.h | 15 |
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 |