C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/life.c File Reference

#include "extern.h"
#include "trees.h"
#include "print.h"
#include "parser.h"
#include "info.h"
#include "login.h"
#include "lefun.h"
#include "built_ins.h"
#include "types.h"
#include "copy.h"
#include "token.h"
#include "interrupt.h"
#include "error.h"
#include "modules.h"
#include "memory.h"

Go to the source code of this file.

Functions
	main (long argc, char **argv)
Variables
static char	vcid [] = "$Id: life.c,v 1.2 1994/12/08 23:27:02 duchier Exp $"
jmp_buf	env
int	rand_array []

---

Function Documentation

main	(	long	argc,
		char **	argv
	)

Definition at line 68 of file life.c.

References arg_c, arg_v, assert, assert_clause(), assert_first, assert_ok, begin_terminal_io(), DEFRULES, encode_types(), end_terminal_io(), env, eof, Errorline(), exit_if_true(), exit_life(), FACT, FALSE, file_date, GetBoolOption(), goal_count, heap_copy_string(), ignore_eff, Infoline, init_built_in_types(), init_copy(), init_interrupt(), init_io(), init_memory(), init_modules(), init_print(), init_system(), init_trace(), input_state, load, main_prove(), mem_base, noisy, NULL, open_input_file(), other_base, parse(), prove, push_goal(), put_back_char(), QUERY, quietflag, rand_array, read_char(), reset_step(), set_current_module(), stack_copy_psi_term(), stack_pointer, start_chrono(), stdin_cleareof(), title(), TRUE, wl_psi_term::type, undo(), undo_stack, user_module, var_occurred, and what_next.

---

Variable Documentation

jmp_buf env

Definition at line 18 of file copy.c.

Referenced by copy(), main(), and WFInit().

int rand_array[]

Definition at line 24 of file hash_tab.c.

Referenced by hash_code(), main(), and WFInit().

char vcid[] = "$Id: life.c,v 1.2 1994/12/08 23:27:02 duchier Exp $" [static]

Definition at line 7 of file life.c.

---