Go to the source code of this file.
Functions | |
| char ** | group_features (char **f, ptr_node n) |
| void | exit_if_true (long exitflag) |
| void | init_io () |
| void | init_system () |
| void | WFInit (long argc, argv) |
| int | WFInput (char *query) |
| PsiTerm | WFGetVar (char *name) |
| int | WFfeature_count_loop (ptr_node n) |
| int | WFFeatureCount (ptr_psi_term psi) |
| char * | WFType (ptr_psi_term psi) |
| char ** | WFFeatures (ptr_psi_term psi) |
| double | WFGetDouble (ptr_psi_term psi, int *ok) |
| char * | WFGetString (ptr_psi_term psi, int *ok) |
| PsiTerm | WFGetFeature (ptr_psi_term psi, char *feature) |
Variables | |
| long | noisy =TRUE |
| long | file_date =3 |
| long | types_done =FALSE |
| float | garbage_time =0 |
| void exit_if_true | ( | long | exitflag | ) |
| char** group_features | ( | char ** | f, |
| ptr_node | n | ||
| ) |
Definition at line 22 of file lib.c.
References wl_node::key, wl_node::left, NULL, and wl_node::right.
| void init_io | ( | ) |
Definition at line 53 of file lib.c.
References buffer, input_state, NULL, output_stream, stdin_state, stdin_terminal, and TRUE.
| void init_system | ( | ) |
Definition at line 77 of file lib.c.
References choice_stack, current_module, exit_if_true(), FALSE, goal_stack, init_global_vars(), mem_base, memory_check(), wl_module::module_name, NULL, prompt, PROMPT, PROMPT_BUFFER, prompt_buffer, resid_aim, stack_nil(), stack_pointer, undo_stack, user_module, var_tree, x_window_creation, and xevent_list.
| int WFFeatureCount | ( | ptr_psi_term | psi | ) |
| char** WFFeatures | ( | ptr_psi_term | psi | ) |
Definition at line 364 of file lib.c.
References deref_ptr, group_features(), NULL, and WFfeature_count_loop().
| double WFGetDouble | ( | ptr_psi_term | psi, |
| int * | ok | ||
| ) |
| PsiTerm WFGetFeature | ( | ptr_psi_term | psi, |
| char * | feature | ||
| ) |
Definition at line 433 of file lib.c.
References wl_node::data, deref_ptr, FEATCMP, find(), and NULL.
| char* WFGetString | ( | ptr_psi_term | psi, |
| int * | ok | ||
| ) |
Definition at line 410 of file lib.c.
References deref_ptr, FALSE, NULL, quoted_string, sub_type(), and TRUE.
| PsiTerm WFGetVar | ( | char * | name | ) |
Definition at line 297 of file lib.c.
References wl_node::data, deref_ptr, find(), NULL, STRCMP, and var_tree.
| void WFInit | ( | long | argc, |
| argv | |||
| ) |
Definition at line 114 of file lib.c.
References arg_c, arg_v, assert, begin_terminal_io(), c_query_level, env, Errorline(), exit_if_true(), FALSE, file_date, heap_copy_string(), 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, open_input_file(), other_base, push_goal(), quietflag, rand_array, set_current_module(), stack_pointer, stdin_cleareof(), title(), TRUE, undo_stack, user_module, and var_occurred.
| int WFInput | ( | char * | query | ) |
Definition at line 210 of file lib.c.
References wl_goal::aaaa_1, assert_clause(), assert_first, assert_ok, c_query_level, c_what_next, choice_stack, DEFRULES, encode_types(), FACT, fail, FALSE, goal_count, goal_stack, ignore_eff, init_parse_state(), main_prove(), wl_goal::next, NULL, parse(), prove, push_choice_point(), push_goal(), QUERY, reset_stacks(), save_parse_state(), stack_copy_psi_term(), start_chrono(), stringinput, stringparse, TRUE, wl_goal::type, undo(), undo_stack, var_occurred, WFmore, WFno, and WFyes.
| char* WFType | ( | ptr_psi_term | psi | ) |
1.8.6