arity_check | function_relation_check | function_symbols_in_clists | relation_symbols_in_clists |
function_lex_check | function_symbols_in_clist | relation_symbols_in_clist |
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.
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.