Go to the source code of this file.
Macros | |
| #define | NEW_GAMMA FALSE |
| #define | least_sel 0 |
| #define | greatest_sel 1 |
| #define | op_sel 2 |
| #define | WFno 0 |
| #define | WFyes 1 |
| #define | WFmore 2 |
| #define | DJD_PORT 1 |
| #define | WORDALIGN 1 |
| #define | WORD sizeof(long) |
| #define | ALIGN WORD |
| #define | TS 1 |
| #define | LOCALSETUP |
| #define | LOCALSETUPFILE "./.set_up" |
| #define | GC_THRESHOLD (alloc_words>>3) /* number of words */ |
| #define | COPY_THRESHOLD (GC_THRESHOLD>>3) |
| #define | REAL double |
| #define | WL_MAXINT 9007199254740991.0 |
| #define | PRETTY_SIZE 20000L |
| #define | MAX_BUILT_INS 300L |
| #define | STRLEN 10000L |
| #define | PAGE_WIDTH 80L |
| #define | PRINT_DEPTH 1000000000L |
| #define | PRINT_SPLIT 1000000000L |
| #define | PRINT_POWER 9L |
| #define | PARSER_STACK_SIZE 10000L |
| #define | MAX_PRECEDENCE 1200L |
| #define | PRINT_BUFFER 100000L |
| #define | PROMPT "> " |
| #define | PROMPT_BUFFER 200L |
| #define | MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2) |
| #define | XEVENTDELAY 1000L |
| #define | MAX_TRACE_INDENT 40L |
| #define | QUOTED_TRUE 1L |
| #define | UNFOLDED_TRUE 2L |
| #define | TRUE 1L |
| #define | FALSE 0L |
| #define | TRUEMASK 1L |
| #define | UNDEF 2L |
| #define | NOT_CODED 0L |
| #define | DEFRULES -1L |
| #define | EOLN 10L |
| #define | INT_SIZE 8*sizeof(unsigned long) |
| #define | HEAP TRUE |
| #define | STACK FALSE |
| #define | FACT 100L |
| #define | QUERY 200L |
| #define | ERROR 999L |
| #define | RMASK 256L |
| #define | SMASK 255L |
| #define | INIT_TIME_STAMP 1L |
| #define | psi_term_ptr 0 |
| #define | resid_ptr 1 |
| #define | int_ptr 2 |
| #define | def_ptr 3 |
| #define | code_ptr 4 |
| #define | goal_ptr 5 |
| #define | cut_ptr 6 /* 22.9 */ |
| #define | destroy_window 7+32 /* To backtrack on window creation */ |
| #define | show_window 8+32 /* To backtrack on show window */ |
| #define | hide_window 9+32 /* To backtrack on hide window */ |
| #define | show_subwindow 10+32 /* To backtrack on show sub windows RM 8/12/92 */ |
| #define | hide_subwindow 11+32 /* To backtrack on hide sub windows RM 8/12/92 */ |
| #define | undo_action 32 /* Fast checking for an undo action */ |
| #define | set_empty 0 |
| #define | set_1 1 |
| #define | set_2 2 |
| #define | set_1_2 3 |
| #define | set_1_2_3 7 |
| #define | set_1_2_3_4 15 |
| #define | NULL 0 |
| #define | OPTIONAL 0 |
| #define | REQUIRED 1 |
| #define | UNEVALED (1<<1) |
| #define | JUSTFAIL (1<<2) |
| #define | POLYTYPE (1<<3) |
| #define | MANDATORY (1<<4) |
| #define | NOVALUE (1<<5) |
| #define | STREAM "stream" |
| #define | INPUT_FILE_NAME "input_file_name" |
| #define | LINE_COUNT "line_count" |
| #define | START_OF_LINE "start_of_line" |
| #define | SAVED_CHAR "saved_char" |
| #define | OLD_SAVED_CHAR "old_saved_char" |
| #define | SAVED_PSI_TERM "saved_psi_term" |
| #define | OLD_SAVED_PSI_TERM "old_saved_psi_term" |
| #define | EOF_FLAG "eof_flag" |
| #define | CURRENT_MODULE "current_module" |
| #define | xDefaultFont -1 |
| #define | xDefaultLineWidth -1 |
| #define | MAXNBARGS 20 |
| #define | STRCMP 1L |
| #define | INTCMP 2L |
| #define | FEATCMP 3L |
| #define | nop 0 |
| #define | xf 1 |
| #define | fx 2 |
| #define | yf 3 |
| #define | fy 4 |
| #define | xfx 5 |
| #define | xfy 6 |
| #define | yfx 7 |
| #define | fail 0L |
| #define | prove 1L |
| #define | unify 2L |
| #define | unify_noeval 3L |
| #define | disj 4L |
| #define | what_next 5L |
| #define | eval 6L |
| #define | eval_cut 7L |
| #define | freeze_cut 8L |
| #define | implies_cut 9L |
| #define | general_cut 10L |
| #define | match 11L |
| #define | type_disj 12L |
| #define | clause 13L |
| #define | del_clause 14L |
| #define | retract 15L |
| #define | load 16L |
| #define | c_what_next 17L |
| #define | SINFLAG 1 |
| #define | COSFLAG 2 |
| #define | TANFLAG 3 |
| #define | isa_le_sel 0 |
| #define | isa_lt_sel 1 |
| #define | isa_ge_sel 2 |
| #define | isa_gt_sel 3 |
| #define | isa_eq_sel 4 |
| #define | isa_nle_sel 5 |
| #define | isa_nlt_sel 6 |
| #define | isa_nge_sel 7 |
| #define | isa_ngt_sel 8 |
| #define | isa_neq_sel 9 |
| #define | isa_cmp_sel 10 |
| #define | isa_ncmp_sel 11 |
| #define | HASHSIZE 2048L |
| #define | NUMBUCKETS 1024L |
| #define | HASHEND (-1) |
| #define | EXACT_FLAG 0 |
| #define | QUOTE_FLAG 1 |
| #define | EVAL_FLAG 2 |
| #define | QUOTE_STUB 3 |
| #define | NOP 2000 |
| #define | DOTDOT ": " /* RM: Dec 14 1992, should be " : " */ |
| #define | NOTOP 0 |
| #define | INFIX 1 |
| #define | PREFIX 2 |
| #define | POSTFIX 3 |
| #define | stdin_fileno fileno (stdin) |
| #define | ARGNN 10 |
| #define | MAX_GAMMA 1000 |
| #define | undef 1 |
| #define | predicate 2 |
| #define | function_it 3 |
| #define | type_it 4 |
| #define | global 5 |
Typedefs | |
| typedef long | type_ptr |
| #define ALIGN WORD |
Definition at line 31 of file def_const.h.
| #define ARGNN 10 |
Definition at line 347 of file def_const.h.
| #define c_what_next 17L |
Definition at line 289 of file def_const.h.
| #define clause 13L |
Definition at line 285 of file def_const.h.
| #define code_ptr 4 |
Definition at line 174 of file def_const.h.
| #define COPY_THRESHOLD (GC_THRESHOLD>>3) |
Definition at line 68 of file def_const.h.
| #define COSFLAG 2 |
Definition at line 294 of file def_const.h.
| #define CURRENT_MODULE "current_module" |
Definition at line 234 of file def_const.h.
| #define cut_ptr 6 /* 22.9 */ |
Definition at line 176 of file def_const.h.
| #define def_ptr 3 |
Definition at line 173 of file def_const.h.
| #define DEFRULES -1L |
Definition at line 138 of file def_const.h.
| #define del_clause 14L |
Definition at line 286 of file def_const.h.
| #define destroy_window 7+32 /* To backtrack on window creation */ |
Definition at line 183 of file def_const.h.
| #define disj 4L |
Definition at line 276 of file def_const.h.
| #define DJD_PORT 1 |
Definition at line 23 of file def_const.h.
| #define DOTDOT ": " /* RM: Dec 14 1992, should be " : " */ |
Definition at line 335 of file def_const.h.
| #define EOF_FLAG "eof_flag" |
Definition at line 233 of file def_const.h.
| #define EOLN 10L |
Definition at line 140 of file def_const.h.
| #define ERROR 999L |
Definition at line 153 of file def_const.h.
| #define eval 6L |
Definition at line 278 of file def_const.h.
| #define eval_cut 7L |
Definition at line 279 of file def_const.h.
| #define EVAL_FLAG 2 |
Definition at line 327 of file def_const.h.
| #define EXACT_FLAG 0 |
Definition at line 325 of file def_const.h.
| #define FACT 100L |
Definition at line 151 of file def_const.h.
| #define fail 0L |
Definition at line 272 of file def_const.h.
| #define FALSE 0L |
Definition at line 128 of file def_const.h.
| #define FEATCMP 3L |
Definition at line 257 of file def_const.h.
| #define freeze_cut 8L |
Definition at line 280 of file def_const.h.
| #define function_it 3 |
Definition at line 362 of file def_const.h.
| #define fx 2 |
Definition at line 262 of file def_const.h.
| #define fy 4 |
Definition at line 264 of file def_const.h.
| #define GC_THRESHOLD (alloc_words>>3) /* number of words */ |
Definition at line 65 of file def_const.h.
| #define general_cut 10L |
Definition at line 282 of file def_const.h.
| #define global 5 |
Definition at line 364 of file def_const.h.
| #define goal_ptr 5 |
Definition at line 175 of file def_const.h.
| #define greatest_sel 1 |
Definition at line 7 of file def_const.h.
| #define HASHEND (-1) |
Definition at line 322 of file def_const.h.
| #define HASHSIZE 2048L |
Definition at line 315 of file def_const.h.
| #define HEAP TRUE |
Definition at line 147 of file def_const.h.
| #define hide_subwindow 11+32 /* To backtrack on hide sub windows RM 8/12/92 */ |
Definition at line 187 of file def_const.h.
| #define hide_window 9+32 /* To backtrack on hide window */ |
Definition at line 185 of file def_const.h.
| #define implies_cut 9L |
Definition at line 281 of file def_const.h.
| #define INFIX 1 |
Definition at line 338 of file def_const.h.
| #define INIT_TIME_STAMP 1L |
Definition at line 164 of file def_const.h.
| #define INPUT_FILE_NAME "input_file_name" |
Definition at line 226 of file def_const.h.
| #define int_ptr 2 |
Definition at line 172 of file def_const.h.
| #define INT_SIZE 8*sizeof(unsigned long) |
Definition at line 144 of file def_const.h.
| #define INTCMP 2L |
Definition at line 256 of file def_const.h.
| #define isa_cmp_sel 10 |
Definition at line 309 of file def_const.h.
| #define isa_eq_sel 4 |
Definition at line 303 of file def_const.h.
| #define isa_ge_sel 2 |
Definition at line 301 of file def_const.h.
| #define isa_gt_sel 3 |
Definition at line 302 of file def_const.h.
| #define isa_le_sel 0 |
Definition at line 299 of file def_const.h.
| #define isa_lt_sel 1 |
Definition at line 300 of file def_const.h.
| #define isa_ncmp_sel 11 |
Definition at line 310 of file def_const.h.
| #define isa_neq_sel 9 |
Definition at line 308 of file def_const.h.
| #define isa_nge_sel 7 |
Definition at line 306 of file def_const.h.
| #define isa_ngt_sel 8 |
Definition at line 307 of file def_const.h.
| #define isa_nle_sel 5 |
Definition at line 304 of file def_const.h.
| #define isa_nlt_sel 6 |
Definition at line 305 of file def_const.h.
| #define JUSTFAIL (1<<2) |
Definition at line 217 of file def_const.h.
| #define least_sel 0 |
Definition at line 6 of file def_const.h.
| #define LINE_COUNT "line_count" |
Definition at line 227 of file def_const.h.
| #define load 16L |
Definition at line 288 of file def_const.h.
| #define LOCALSETUP |
Definition at line 48 of file def_const.h.
| #define LOCALSETUPFILE "./.set_up" |
Definition at line 49 of file def_const.h.
| #define MANDATORY (1<<4) |
Definition at line 219 of file def_const.h.
| #define match 11L |
Definition at line 283 of file def_const.h.
| #define MAX_BUILT_INS 300L |
Definition at line 82 of file def_const.h.
| #define MAX_GAMMA 1000 |
Definition at line 350 of file def_const.h.
| #define MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2) |
Definition at line 113 of file def_const.h.
| #define MAX_PRECEDENCE 1200L |
Definition at line 103 of file def_const.h.
| #define MAX_TRACE_INDENT 40L |
Definition at line 120 of file def_const.h.
| #define MAXNBARGS 20 |
Definition at line 248 of file def_const.h.
| #define NEW_GAMMA FALSE |
Definition at line 2 of file def_const.h.
| #define nop 0 |
Definition at line 260 of file def_const.h.
| #define NOP 2000 |
Definition at line 332 of file def_const.h.
| #define NOT_CODED 0L |
Definition at line 134 of file def_const.h.
| #define NOTOP 0 |
Definition at line 337 of file def_const.h.
| #define NOVALUE (1<<5) |
Definition at line 220 of file def_const.h.
| #define NULL 0 |
Definition at line 203 of file def_const.h.
| #define NUMBUCKETS 1024L |
Definition at line 319 of file def_const.h.
| #define OLD_SAVED_CHAR "old_saved_char" |
Definition at line 230 of file def_const.h.
| #define OLD_SAVED_PSI_TERM "old_saved_psi_term" |
Definition at line 232 of file def_const.h.
| #define op_sel 2 |
Definition at line 8 of file def_const.h.
| #define OPTIONAL 0 |
Definition at line 214 of file def_const.h.
| #define PAGE_WIDTH 80L |
Definition at line 89 of file def_const.h.
| #define PARSER_STACK_SIZE 10000L |
Definition at line 100 of file def_const.h.
| #define POLYTYPE (1<<3) |
Definition at line 218 of file def_const.h.
| #define POSTFIX 3 |
Definition at line 340 of file def_const.h.
| #define predicate 2 |
Definition at line 361 of file def_const.h.
| #define PREFIX 2 |
Definition at line 339 of file def_const.h.
| #define PRETTY_SIZE 20000L |
Definition at line 79 of file def_const.h.
| #define PRINT_BUFFER 100000L |
Definition at line 106 of file def_const.h.
| #define PRINT_DEPTH 1000000000L |
Definition at line 92 of file def_const.h.
| #define PRINT_POWER 9L |
Definition at line 96 of file def_const.h.
| #define PRINT_SPLIT 1000000000L |
Definition at line 95 of file def_const.h.
| #define PROMPT "> " |
Definition at line 109 of file def_const.h.
| #define PROMPT_BUFFER 200L |
Definition at line 112 of file def_const.h.
| #define prove 1L |
Definition at line 273 of file def_const.h.
| #define psi_term_ptr 0 |
Definition at line 170 of file def_const.h.
| #define QUERY 200L |
Definition at line 152 of file def_const.h.
| #define QUOTE_FLAG 1 |
Definition at line 326 of file def_const.h.
| #define QUOTE_STUB 3 |
Definition at line 329 of file def_const.h.
| #define QUOTED_TRUE 1L |
Definition at line 123 of file def_const.h.
| #define REAL double |
Definition at line 72 of file def_const.h.
| #define REQUIRED 1 |
Definition at line 215 of file def_const.h.
| #define resid_ptr 1 |
Definition at line 171 of file def_const.h.
| #define retract 15L |
Definition at line 287 of file def_const.h.
| #define RMASK 256L |
Definition at line 159 of file def_const.h.
| #define SAVED_CHAR "saved_char" |
Definition at line 229 of file def_const.h.
| #define SAVED_PSI_TERM "saved_psi_term" |
Definition at line 231 of file def_const.h.
| #define set_1 1 |
Definition at line 194 of file def_const.h.
| #define set_1_2 3 |
Definition at line 196 of file def_const.h.
| #define set_1_2_3 7 |
Definition at line 197 of file def_const.h.
| #define set_1_2_3_4 15 |
Definition at line 198 of file def_const.h.
| #define set_2 2 |
Definition at line 195 of file def_const.h.
| #define set_empty 0 |
Definition at line 193 of file def_const.h.
Definition at line 186 of file def_const.h.
Definition at line 184 of file def_const.h.
| #define SINFLAG 1 |
Definition at line 293 of file def_const.h.
| #define SMASK 255L |
Definition at line 160 of file def_const.h.
| #define STACK FALSE |
Definition at line 148 of file def_const.h.
| #define START_OF_LINE "start_of_line" |
Definition at line 228 of file def_const.h.
| #define stdin_fileno fileno (stdin) |
Definition at line 343 of file def_const.h.
| #define STRCMP 1L |
Definition at line 255 of file def_const.h.
| #define STREAM "stream" |
Definition at line 225 of file def_const.h.
| #define STRLEN 10000L |
Definition at line 86 of file def_const.h.
| #define TANFLAG 3 |
Definition at line 295 of file def_const.h.
| #define TRUE 1L |
Definition at line 127 of file def_const.h.
| #define TRUEMASK 1L |
Definition at line 129 of file def_const.h.
| #define TS 1 |
Definition at line 37 of file def_const.h.
| #define type_disj 12L |
Definition at line 284 of file def_const.h.
| #define type_it 4 |
Definition at line 363 of file def_const.h.
| #define UNDEF 2L |
Definition at line 132 of file def_const.h.
| #define undef 1 |
Definition at line 360 of file def_const.h.
| #define undo_action 32 /* Fast checking for an undo action */ |
Definition at line 188 of file def_const.h.
| #define UNEVALED (1<<1) |
Definition at line 216 of file def_const.h.
| #define UNFOLDED_TRUE 2L |
Definition at line 124 of file def_const.h.
| #define unify 2L |
Definition at line 274 of file def_const.h.
| #define unify_noeval 3L |
Definition at line 275 of file def_const.h.
| #define WFmore 2 |
Definition at line 19 of file def_const.h.
| #define WFno 0 |
Definition at line 13 of file def_const.h.
| #define WFyes 1 |
Definition at line 16 of file def_const.h.
| #define what_next 5L |
Definition at line 277 of file def_const.h.
| #define WL_MAXINT 9007199254740991.0 |
Definition at line 76 of file def_const.h.
| #define WORD sizeof(long) |
Definition at line 27 of file def_const.h.
| #define WORDALIGN 1 |
Definition at line 25 of file def_const.h.
| #define xDefaultFont -1 |
Definition at line 239 of file def_const.h.
| #define xDefaultLineWidth -1 |
Definition at line 240 of file def_const.h.
| #define XEVENTDELAY 1000L |
Definition at line 117 of file def_const.h.
| #define xf 1 |
Definition at line 261 of file def_const.h.
| #define xfx 5 |
Definition at line 265 of file def_const.h.
| #define xfy 6 |
Definition at line 267 of file def_const.h.
| #define yf 3 |
Definition at line 263 of file def_const.h.
| #define yfx 7 |
Definition at line 268 of file def_const.h.
| typedef long type_ptr |
Definition at line 169 of file def_const.h.
1.8.6