/***********************************
  (C) Copyright 1992-1993; dit/upm
   Distributed under the conditions stated in the
   TOPO General Public License (see file LICENSE)
 ***********************************
 $Log: lisec.h,v $
 * Revision 1.3  1993/01/18  18:12:15  lotos
 * distribution issues
 *
 * Revision 1.2  1992/01/14  15:24:58  lotos
 * distribution issues
 *
 * Revision 1.1  91/02/06  20:10:35  lotos
 * Initial revision
 * 
 ***********************************/

/***********************************************************************

     "lisec.h": cabecera de "lisec.o".

***********************************************************************/

#ifndef LISEC_H
#define LISEC_H


typedef struct ManEc
{ struct ManEc *SigEc;
  TNODE *Premisas;
  TNODE *EcSimple;
} EstManEc;	/* Estructura para el manejo de ecuaciones. */

typedef struct
{ EstManEc *EcOrig;
} EstLisEc;	/* Estructura para manejar una lista de ecuaciones. */

/* Indica si una lista de ecuaciones es incorrecta. */
#define LisEcIncorr(LisObj)	((LisObj) == NULL)

void InicLisEc();
/* Inicia la construccion de una lista de ecuaciones. */

void AgrEcLis();
/* Agrega una ecuacion a una lista de ecuaciones. */

void SuprEcLis();
/* Suprime una ecuacion de una lista de ecuaciones. */

void SuprLisEc();
/* Suprime una lista de ecuaciones. */

#endif
