life main More...
Go to the source code of this file.
Functions | |
int | main (int argc, char *argv[]) |
main More... | |
Variables | |
char * | numbers [21] |
long | set_extra_args [6] = {set_empty, set_1, set_2, set_1_2, set_1_2_3, set_1_2_3_4} |
life main
Definition in file life.c.
int main | ( | int | argc, |
char * | argv[] | ||
) |
main
int main(int argc,char *argv[])
argc | - int argc |
argv | - char *argv[] |
MAIN(argc,argv) This routine contains the Read-Solve-Print loop.
Definition at line 34 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, what_next, and x_setup_builtins().
char* numbers[21] |