libbanshee/engine/term-var.h

   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 #ifndef TERM_VAR_H
  32 #define TERM_VAR_H
  33
  34 #include "linkage.h"
  35 #include "banshee.h"
  36
  37 EXTERN_C_BEGIN
  38
  39 typedef struct term_var *term_var;
  40
  41 DECLARE_LIST(term_var_list,term_var)
  42
  43 term_var tv_fresh(region r, const char *name);
  44 term_var tv_fresh_small(region r, const char *name);
  45 term_var tv_fresh_large(region r, const char *name);
  46
  47 const char *tv_get_name(term_var v);
  48
  49 gen_e_list tv_get_pending(term_var v);
  50 void tv_add_pending(term_var v,gen_e e);
  51
  52 void tv_unify(term_var v, gen_e e);
  53 void tv_unify_vars(term_var v1, term_var v2);
  54
  55 gen_e tv_get_ecr(term_var v);
  56
  57
  58 EXTERN_C_END
  59
  60 #endif /* TERM_VAR_H */