** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
static bool isStandardOperator (/*@null@*/ nameNode p_n);
static void assignSorts (termNode p_t, sort p_s);
static bool isStandardOperator (/*@null@*/ nameNode p_n);
static void assignSorts (termNode p_t, sort p_s);
}
if (cstring_equalLit (text, "maxIndex") ||
cstring_equalLit (text, "minIndex"))
{
if (sn->kind == SRT_ARRAY || sn->kind == SRT_PTR)
}
if (cstring_equalLit (text, "maxIndex") ||
cstring_equalLit (text, "minIndex"))
{
if (sn->kind == SRT_ARRAY || sn->kind == SRT_PTR)