libbanshee/engine/banshee.c

   1 /*
   2  * Copyright (c) 2000-2001
   3  *      The Regents of the University of California.  All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  * 3. Neither the name of the University nor the names of its contributors
  14  *    may be used to endorse or promote products derived from this software
  15  *    without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  18  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  19  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  20  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  21  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  22  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  23  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  24  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  25  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  26  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  27  * SUCH DAMAGE.
  28  *
  29  */
  30
  31 #include <stdio.h>
  32 #include <regions.h>
  33 #include "banshee.h"
  34 #include "setif-sort.h"
  35 #include "setst-sort.h"
  36 #include "flowrow-sort.h"
  37 #include "setif-var.h"
  38
  39 DEFINE_LIST(gen_e_list,gen_e)
  40
  41 void engine_init(void)
  42 {
  43   region_init();
  44   stamp_init();
  45 }
  46
  47 void engine_reset(void) deletes
  48 {
  49   stamp_reset();
  50 }
  51
  52 /* TODO */
  53 void engine_update(void)
  54 {
  55 }
  56
  57 void engine_stats(FILE *f)
  58 {
  59   setif_print_stats(f);
  60   setst_print_stats(f);
  61   flowrow_print_stats(f);
  62 }
  63
  64 void print_constraint_graphs(FILE *f)
  65 {
  66   setif_print_constraint_graph(f);
  67 }