#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_check

Details


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

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.

Public Definitions in File symbolcheck.h


Introduction


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