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.