Definition at line 40 of file life2.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.
60 for (i = 0; i < argc;i++)
66 Errorline(
"Too many command line arguments\n");
81 (void)times(&life_start);
132 while (c!=EOF && !(c>32 && c!=
'.' && c!=
';')) c=
read_char();
163 else if (sort==
FACT) {
166 undo(save_undo_stack);
void undo(ptr_stack limit)
void put_back_char(long c)
void exit_life(long nl_flag)
void exit_if_true(long exitflag)
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
void Errorline(char *format,...)
char * heap_copy_string(char *s)
void infoline(char *format,...)
ptr_psi_term stack_copy_psi_term(psi_term t)
void init_built_in_types()
long open_input_file(char *file)
ptr_module set_current_module(ptr_module module)
void assert_clause(ptr_psi_term t)
int GetBoolOption(char *name)