/**************************************************************
 *       offers.h - LBM Interpreter Offer Manipulation Header
 **************************************************************/
/***********************************************
 (C) Copyright 1994; dit/upm
   Distributed under the conditions stated in the
   TOPO General Public License (see file LICENSE)
 ***********************************************
 $Log: offers.h,v $
 * Revision 1.2  1994/10/17  16:41:56  lotos
 * cosmetics
 *
 **********************************************
 $Id: offers.h,v 1.2 1994/10/17 16:41:56 lotos Exp $
 **********************************************/

exper   cp_exper ();
exper   *cp_exper_array ();

soffert *cp_soffert ();

soffert *search_soffert ();

soffert *Ready_fun ();
soffert *Become_Ready ();

soffert *Dd_fun  ();
soffert *Dg_fun  ();
soffert *Dgd_fun ();

soffert *Sd_fun  ();
soffert *Sg_fun  ();
soffert *Sgd_fun ();

soffert *Rp_fun ();

varlist rewrite_soffert ();
void    unrewrite_soffert ();

boolean match_expl ();

soffert *union_sset_off ();
soffert *inter_sset_off ();

void    add_exper ();
void    add_predi ();

void    update_values ();

soffert *check_predicates ();
