blob: a561f8cbffec45b2174cc1ee54576245107c5c5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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
|
