Variables | |
| __pad4__ | |
| set_nmr_mode | __pad5__ |
| set_nmr_mode file_nl from | xsb_writ |
| set_nmr_mode file_nl from vv from | xsb_read |
| set_nmr_mode file_nl from vv from | goal_cut_trans |
| set_nmr_mode file_nl from vv from | catch |
| set_nmr_mode file_nl from vv from | is_most_general_term |
| set_nmr_mode file_nl from vv from | table |
| set_nmr_mode file_nl from vv from | repeat |
| set_nmr_mode file_nl from vv from import from | standard |
| set_nmr_mode file_nl from vv from import from | psc_set_type |
| set_nmr_mode file_nl from vv from import from | psc_prop |
| set_nmr_mode file_nl from vv from import from | psc_set_prop |
| set_nmr_mode file_nl from vv from import from | term_psc |
| set_nmr_mode file_nl from vv from import from | conname |
| set_nmr_mode file_nl from vv from import from | stat_flag |
| set_nmr_mode file_nl from vv from import from | stat_set_flag |
| set_nmr_mode file_nl from vv from import from | trimcore |
| set_nmr_mode file_nl from vv from import from | intern_string |
| set_nmr_mode file_nl from vv from import from slash from | machine |
| set_nmr_mode file_nl from vv from import from slash from | file_flush |
| set_nmr_mode file_nl from vv from import from slash from | fmt_write_string |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from | file_io |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from | get_returns |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from | abolish_all_tables |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from | table_state |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from use_variant_tabling from | tables |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from use_variant_tabling from conget from | gensym |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from use_variant_tabling from conget from | a_stable_model |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from use_variant_tabling from conget from | print_current_stable_model |
| set_nmr_mode file_nl from vv from import from slash from print_file_contents from use_variant_tabling from conget from | in_all_stable_models |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5