#include "top_input.h"

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

Contents


Public Routines in File top_input.c

Index

accept_listinit_standard_ladrread_all_input
flag_handlerp_top_input_memread_commands
fprint_top_input_memparm_handlerread_from_file

Details


void accept_list(char *name, int type, Plist *l);

void flag_handler(FILE *fout, Term t, BOOL echo, int unknown_action);

void fprint_top_input_mem(FILE *fp, BOOL heading);
This routine prints (to FILE *fp) memory usage statistics for data types associated with the top_input package. The Boolean argument heading tells whether to print a heading on the table.
void init_standard_ladr(void);
This routine initializes various LADR packaages.
void p_top_input_mem();
This routine prints (to stdout) memory usage statistics for data types associated with the top_input package.
void parm_handler(FILE *fout, Term t, BOOL echo, int unknown_action);

void read_all_input(int argc, char **argv, FILE *fout,
		    BOOL echo, int unknown_action);

Term read_commands(FILE *fin, FILE *fout, BOOL echo, int unknown_action);
This is a legacy routine.
void read_from_file(FILE *fin, FILE *fout, BOOL echo, int unknown_action);

Public Definitions in File top_input.h

enum { CLAUSES, FORMULAS, TERMS };

/* What shall we do if we read an unknown flag or parameter? */

enum {
  IGNORE_UNKNOWN,
  NOTE_UNKNOWN,
  WARN_UNKNOWN,
  KILL_UNKNOWN
};


Introduction


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