From 75ff98e4d65862ff5b36b533b4f6e3ea71ede1d5 Mon Sep 17 00:00:00 2001 From: Tuowen Zhao Date: Sat, 17 Sep 2016 03:22:53 +0000 Subject: cmake build --- omegalib/omega_lib/include/omega/evac.h | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 omegalib/omega_lib/include/omega/evac.h (limited to 'omegalib/omega_lib/include/omega/evac.h') diff --git a/omegalib/omega_lib/include/omega/evac.h b/omegalib/omega_lib/include/omega/evac.h new file mode 100644 index 0000000..a561f8c --- /dev/null +++ b/omegalib/omega_lib/include/omega/evac.h @@ -0,0 +1,15 @@ +#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 -- cgit v1.2.3-70-g09d2