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 lib2.c.
References wl_node::key, wl_node::left, NULL, and wl_node::right.
void init_io | ( | ) |
Definition at line 53 of file lib2.c.
References buffer, input_state, NULL, output_stream, stdin_state, stdin_terminal, and TRUE.
void init_system | ( | ) |
Definition at line 77 of file lib2.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 lib2.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 lib2.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 lib2.c.
References deref_ptr, FALSE, NULL, quoted_string, sub_type(), and TRUE.
PsiTerm WFGetVar | ( | char * | name | ) |
Definition at line 297 of file lib2.c.
References wl_node::data, deref_ptr, find(), NULL, STRCMP, and var_tree.
void WFInit | ( | long | argc, |
argv | |||
) |
Definition at line 114 of file lib2.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 lib2.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 | ) |