ra_interv.h 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. /* $Id$ */
  2. /*
  3. * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
  4. * See the copyright notice in the ACK home directory, in the file "Copyright".
  5. */
  6. /* R E G I S T E R A L L O C A T I O N
  7. *
  8. * R A _ I N T E R V A L . H
  9. */
  10. interv_p cons_interval(short t_start, short t_stop);
  11. /* construct an interval
  12. */
  13. void add_interval(short t1, short t2, interv_p *list);
  14. /* Add interval (t1,t2) to the list of
  15. * intervals (which is an in-out parameter!).
  16. */
  17. interv_p loop_lifetime(loop_p lp);
  18. /* Determine the timespan of the loop,
  19. * expressed as a list of intervals.
  20. */
  21. interv_p proc_lifetime(proc_p p);
  22. /* Determine the timespan of a procedure,
  23. * expressed as an interval.
  24. */
  25. interv_p intersect(interv_p list1, interv_p list2);
  26. /* Intersect two lifetimes, each denoted
  27. * by a list of intervals.
  28. */
  29. bool not_disjoint(interv_p list1, interv_p list2);
  30. /* See if list1 and list2 do overlap somewhere.
  31. */
  32. bool contains(short t, interv_p timespan);
  33. /* See if t is part of the timespan.
  34. */
  35. interv_p copy_timespan(interv_p list);
  36. /* Make a copy of the timespan.
  37. */