#include "symbolcheck.h"

This page has information from files symbolcheck.h and symbolcheck.c.

Contents


Public Routines in File symbolcheck.c

Index

arity_checkfunction_relation_checkfunction_symbols_in_clistsrelation_symbols_in_clists
function_lex_checkfunction_symbols_in_clistrelation_symbols_in_clist

Details


void arity_check(Ilist fsyms, Ilist rsyms, BOOL fatal);

void function_lex_check(Plist clists, BOOL fatal);
Given a Plist of Clists, check that each function symbol has a lex_val. If the check fails, argument "fatal" says whether it should be a fatal error or just a WARNING.
void function_relation_check(Ilist fsyms, Ilist rsyms, BOOL fatal);
Given a Plist of Clists, check that no symbol is used as both both a relation and a function. If the check fails, argument "fatal" says whether it should be a fatal or just a WARNING.
Ilist function_symbols_in_clist(Clist lst, Ilist syms);
Collect the set of function symbols (including constants) in a Clist. An Ilist of SYMNUMs (without duplicates) is returned.
Ilist function_symbols_in_clists(Plist clists, Ilist syms);
Collect the set of function symbols (including constants) in a Plist of Clists. An Ilist of SYMNUMs (without duplicates) is returned.
Ilist relation_symbols_in_clist(Clist lst, Ilist syms);
Collect the set of relation symbols in a Clist. An Ilist of SYMNUMs (without duplicates) is returned.
Ilist relation_symbols_in_clists(Plist clists, Ilist syms);
Collect the set of relation symbols in a Plist of Clists. An Ilist of SYMNUMs (without duplicates) is returned.

Public Definitions in File symbolcheck.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.