|
Wild Life
2.30
|
|
Wild Life
2.30
|
constants More...
Go to the source code of this file.
Macros | |
| #define | least_sel 0 |
| #define | greatest_sel 1 |
| #define | op_sel 2 |
| #define | WFno 0 |
| Input failed. More... | |
| #define | WFyes 1 |
| Input succeeded. More... | |
| #define | WFmore 2 |
| Input succeeded with possibly more answers. More... | |
| #define | WORDALIGN 1 |
| Memory Alignment. More... | |
| #define | WORD sizeof(long) |
| Memory Word Size. More... | |
| #define | ALIGN WORD |
| #define | TS 1 |
| Time stamp technique. More... | |
| #define | LOCALSETUP |
| #define | LOCALSETUPFILE "./.set_up" |
| #define | GC_THRESHOLD (alloc_words>>3) |
| Garbage collection threshold (1/8 of MEM_SIZE is reasonable). More... | |
| #define | COPY_THRESHOLD (GC_THRESHOLD>>3) |
| Copy threshold (1/8 of GC_THRESHOLD is reasonable) More... | |
| #define | REAL double |
| Which C type to use to represent reals and integers in Wild_Life. More... | |
| #define | WL_MAXINT 9007199254740991.0 |
| Maximum exactly representable integer (2^53-1 for double IEEE format) More... | |
| #define | PRETTY_SIZE 20000L |
| Maximum number of syntactic tokens in a pretty-printed output term. More... | |
| #define | MAX_BUILT_INS 300L |
| Maximum number of built_ins. More... | |
| #define | STRLEN 10000L |
| Maximum size of file names and input tokens (which includes input strings) (Note: calculated tokens can be arbitrarily large) More... | |
| #define | PAGE_WIDTH 80L |
| Initial page width for printing. More... | |
| #define | PRINT_DEPTH 1000000000L |
| Initial depth limit for printing. More... | |
| #define | PRINT_SPLIT 1000000000L |
| Size at which to split printing (REALs are often more precise than ints. More... | |
| #define | PRINT_POWER 9L |
| Power of ten to split printing (REALs are often more precise than ints. More... | |
| #define | PARSER_STACK_SIZE 10000L |
| Maximum depth of the parser stack. More... | |
| #define | MAX_PRECEDENCE 1200L |
| Maximum operator precedence. More... | |
| #define | PRINT_BUFFER 100000L |
| Size of print buffer. More... | |
| #define | PROMPT "> " |
| Head of prompt. More... | |
| #define | PROMPT_BUFFER 200L |
| Size of prompt buffer. More... | |
| #define | MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2) |
| Maximum indent level. More... | |
| #define | XEVENTDELAY 1000L |
| Maximum number of goals executed between event polling. More... | |
| #define | MAX_TRACE_INDENT 40L |
| Maximum goal indentation during tracing. More... | |
| #define | QUOTED_TRUE 1L |
| True flags for the flags field of psi-terms. More... | |
| #define | UNFOLDED_TRUE 2L |
| True flags for the flags field of psi-terms. More... | |
| #define | TRUE 1L |
| Standard boolean. More... | |
| #define | FALSE 0L |
| Standard boolean. More... | |
| #define | TRUEMASK 1L |
| Standard boolean. More... | |
| #define | UNDEF 2L |
| For LIFE boolean calculation built-in. More... | |
| #define | NOT_CODED 0L |
| For LIFE boolean calculation built-in. More... | |
| #define | DEFRULES -1L |
| Must be different from NULL, a built-in index, and a pointer Used to indicate that the rules of the definition are needed. More... | |
| #define | EOLN 10L |
| End of line. More... | |
| #define | INT_SIZE 8*sizeof(unsigned long) |
| How many types can be encoded on one integer in the transitive closure encoding. More... | |
| #define | HEAP TRUE |
| Flag to indicate heap allocation. More... | |
| #define | STACK FALSE |
| Flag to indicate stack allocation. More... | |
| #define | FACT 100L |
| #define | QUERY 200L |
| #define | ERROR 999L |
| #define | RMASK 256L |
| Bit mask for status field of psi-terms: RMASK is used as a flag to avoid infinite loops when tracing psi-terms. More... | |
| #define | SMASK 255L |
| Bit mask for status field of psi-terms: SMASK masks off the status bits. These are used in the 'mark' routines (copy.c) and in check_out. More... | |
| #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. More... | |
| #define | show_window 8+32 |
| To backtrack on show window. More... | |
| #define | hide_window 9+32 |
| To backtrack on hide window. More... | |
| #define | show_subwindow 10+32 |
| To backtrack on show sub windows RM 8/12/92. More... | |
| #define | hide_subwindow 11+32 |
| To backtrack on hide sub windows RM 8/12/92. More... | |
| #define | undo_action 32 |
| Fast checking for an undo action. More... | |
| #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 | undef_it 1 |
| #define | predicate_it 2 |
| #define | function_it 3 |
| #define | type_it 4 |
| #define | global_it 5 |
Typedefs | |
| typedef long | type_ptr |
| Used to identify the object on the undo_stack. More... | |
constants
Definition in file def_const.h.
| #define ALIGN WORD |
Definition at line 51 of file def_const.h.
| #define ARGNN 10 |
Definition at line 562 of file def_const.h.
| #define c_what_next 17L |
Definition at line 505 of file def_const.h.
| #define clause 13L |
Definition at line 501 of file def_const.h.
| #define code_ptr 4 |
Definition at line 363 of file def_const.h.
| #define COPY_THRESHOLD (GC_THRESHOLD>>3) |
Copy threshold (1/8 of GC_THRESHOLD is reasonable)
number of words
Definition at line 99 of file def_const.h.
| #define COSFLAG 2 |
Definition at line 510 of file def_const.h.
| #define CURRENT_MODULE "current_module" |
Definition at line 452 of file def_const.h.
| #define cut_ptr 6 /* 22.9 */ |
Definition at line 365 of file def_const.h.
| #define def_ptr 3 |
Definition at line 362 of file def_const.h.
| #define DEFRULES -1L |
Must be different from NULL, a built-in index, and a pointer Used to indicate that the rules of the definition are needed.
Definition at line 276 of file def_const.h.
| #define del_clause 14L |
Definition at line 502 of file def_const.h.
| #define destroy_window 7+32 |
To backtrack on window creation.
Definition at line 377 of file def_const.h.
| #define disj 4L |
Definition at line 492 of file def_const.h.
| #define DOTDOT ": " /* RM: Dec 14 1992, should be " : " */ |
Definition at line 550 of file def_const.h.
| #define EOF_FLAG "eof_flag" |
Definition at line 451 of file def_const.h.
| #define EOLN 10L |
End of line.
Definition at line 283 of file def_const.h.
| #define ERROR 999L |
Error Kind of user input
Definition at line 324 of file def_const.h.
| #define eval 6L |
Definition at line 494 of file def_const.h.
| #define eval_cut 7L |
Definition at line 495 of file def_const.h.
| #define EVAL_FLAG 2 |
Definition at line 542 of file def_const.h.
| #define EXACT_FLAG 0 |
Definition at line 540 of file def_const.h.
| #define FACT 100L |
Fact Kind of user input
Definition at line 311 of file def_const.h.
| #define fail 0L |
Definition at line 488 of file def_const.h.
| #define FALSE 0L |
Standard boolean.
Definition at line 249 of file def_const.h.
| #define FEATCMP 3L |
Definition at line 474 of file def_const.h.
| #define freeze_cut 8L |
Definition at line 496 of file def_const.h.
| #define function_it 3 |
Definition at line 573 of file def_const.h.
| #define fx 2 |
Definition at line 479 of file def_const.h.
| #define fy 4 |
Definition at line 481 of file def_const.h.
| #define GC_THRESHOLD (alloc_words>>3) |
Garbage collection threshold (1/8 of MEM_SIZE is reasonable).
number of words
Definition at line 91 of file def_const.h.
| #define general_cut 10L |
Definition at line 498 of file def_const.h.
| #define global_it 5 |
Definition at line 575 of file def_const.h.
| #define goal_ptr 5 |
Definition at line 364 of file def_const.h.
| #define greatest_sel 1 |
Definition at line 9 of file def_const.h.
| #define HASHEND (-1) |
Definition at line 538 of file def_const.h.
| #define HASHSIZE 2048L |
Definition at line 531 of file def_const.h.
| #define HEAP TRUE |
Flag to indicate heap allocation.
Definition at line 298 of file def_const.h.
| #define hide_subwindow 11+32 |
To backtrack on hide sub windows RM 8/12/92.
Definition at line 405 of file def_const.h.
| #define hide_window 9+32 |
To backtrack on hide window.
Definition at line 391 of file def_const.h.
| #define implies_cut 9L |
Definition at line 497 of file def_const.h.
| #define INFIX 1 |
Definition at line 553 of file def_const.h.
| #define INIT_TIME_STAMP 1L |
Definition at line 348 of file def_const.h.
| #define INPUT_FILE_NAME "input_file_name" |
Definition at line 444 of file def_const.h.
| #define int_ptr 2 |
Definition at line 361 of file def_const.h.
| #define INT_SIZE 8*sizeof(unsigned long) |
How many types can be encoded on one integer in the transitive closure encoding.
Definition at line 291 of file def_const.h.
| #define INTCMP 2L |
Definition at line 473 of file def_const.h.
| #define isa_cmp_sel 10 |
Definition at line 525 of file def_const.h.
| #define isa_eq_sel 4 |
Definition at line 519 of file def_const.h.
| #define isa_ge_sel 2 |
Definition at line 517 of file def_const.h.
| #define isa_gt_sel 3 |
Definition at line 518 of file def_const.h.
| #define isa_le_sel 0 |
Definition at line 515 of file def_const.h.
| #define isa_lt_sel 1 |
Definition at line 516 of file def_const.h.
| #define isa_ncmp_sel 11 |
Definition at line 526 of file def_const.h.
| #define isa_neq_sel 9 |
Definition at line 524 of file def_const.h.
| #define isa_nge_sel 7 |
Definition at line 522 of file def_const.h.
| #define isa_ngt_sel 8 |
Definition at line 523 of file def_const.h.
| #define isa_nle_sel 5 |
Definition at line 520 of file def_const.h.
| #define isa_nlt_sel 6 |
Definition at line 521 of file def_const.h.
| #define JUSTFAIL (1<<2) |
Definition at line 435 of file def_const.h.
| #define least_sel 0 |
Definition at line 8 of file def_const.h.
| #define LINE_COUNT "line_count" |
Definition at line 445 of file def_const.h.
| #define load 16L |
Definition at line 504 of file def_const.h.
| #define LOCALSETUP |
Definition at line 71 of file def_const.h.
| #define LOCALSETUPFILE "./.set_up" |
Definition at line 72 of file def_const.h.
| #define MANDATORY (1<<4) |
Definition at line 437 of file def_const.h.
| #define match 11L |
Definition at line 499 of file def_const.h.
| #define MAX_BUILT_INS 300L |
Maximum number of built_ins.
Definition at line 128 of file def_const.h.
| #define MAX_LEVEL ((PROMPT_BUFFER-4-strlen(PROMPT))/2) |
Maximum indent level.
Definition at line 206 of file def_const.h.
| #define MAX_PRECEDENCE 1200L |
Maximum operator precedence.
Definition at line 179 of file def_const.h.
| #define MAX_TRACE_INDENT 40L |
Maximum goal indentation during tracing.
Definition at line 221 of file def_const.h.
| #define MAXNBARGS 20 |
Definition at line 465 of file def_const.h.
| #define nop 0 |
Definition at line 477 of file def_const.h.
| #define NOP 2000 |
Definition at line 547 of file def_const.h.
| #define NOT_CODED 0L |
For LIFE boolean calculation built-in.
Definition at line 268 of file def_const.h.
| #define NOTOP 0 |
Definition at line 552 of file def_const.h.
| #define NOVALUE (1<<5) |
Definition at line 438 of file def_const.h.
| #define NULL 0 |
Definition at line 427 of file def_const.h.
| #define NUMBUCKETS 1024L |
Definition at line 535 of file def_const.h.
| #define OLD_SAVED_CHAR "old_saved_char" |
Definition at line 448 of file def_const.h.
| #define OLD_SAVED_PSI_TERM "old_saved_psi_term" |
Definition at line 450 of file def_const.h.
| #define op_sel 2 |
Definition at line 10 of file def_const.h.
| #define OPTIONAL 0 |
Definition at line 432 of file def_const.h.
| #define PAGE_WIDTH 80L |
Initial page width for printing.
Definition at line 143 of file def_const.h.
| #define PARSER_STACK_SIZE 10000L |
Maximum depth of the parser stack.
= maximum depth of embedded brackets etc...
Definition at line 172 of file def_const.h.
| #define POLYTYPE (1<<3) |
Definition at line 436 of file def_const.h.
| #define POSTFIX 3 |
Definition at line 555 of file def_const.h.
| #define predicate_it 2 |
Definition at line 572 of file def_const.h.
| #define PREFIX 2 |
Definition at line 554 of file def_const.h.
| #define PRETTY_SIZE 20000L |
Maximum number of syntactic tokens in a pretty-printed output term.
Definition at line 121 of file def_const.h.
| #define PRINT_BUFFER 100000L |
Size of print buffer.
Definition at line 185 of file def_const.h.
| #define PRINT_DEPTH 1000000000L |
Initial depth limit for printing.
Definition at line 150 of file def_const.h.
| #define PRINT_POWER 9L |
Power of ten to split printing (REALs are often more precise than ints.
Definition at line 164 of file def_const.h.
| #define PRINT_SPLIT 1000000000L |
Size at which to split printing (REALs are often more precise than ints.
Definition at line 157 of file def_const.h.
| #define PROMPT "> " |
Head of prompt.
Definition at line 192 of file def_const.h.
| #define PROMPT_BUFFER 200L |
Size of prompt buffer.
Definition at line 199 of file def_const.h.
| #define prove 1L |
Definition at line 489 of file def_const.h.
| #define psi_term_ptr 0 |
Definition at line 359 of file def_const.h.
| #define QUERY 200L |
Query Kind of user input
Definition at line 317 of file def_const.h.
| #define QUOTE_FLAG 1 |
Definition at line 541 of file def_const.h.
| #define QUOTE_STUB 3 |
Definition at line 544 of file def_const.h.
| #define QUOTED_TRUE 1L |
True flags for the flags field of psi-terms.
Definition at line 228 of file def_const.h.
| REAL double |
Which C type to use to represent reals and integers in Wild_Life.
Definition at line 106 of file def_const.h.
| #define REQUIRED 1 |
Definition at line 433 of file def_const.h.
| #define resid_ptr 1 |
Definition at line 360 of file def_const.h.
| #define retract 15L |
Definition at line 503 of file def_const.h.
| #define RMASK 256L |
Bit mask for status field of psi-terms: RMASK is used as a flag to avoid infinite loops when tracing psi-terms.
Definition at line 332 of file def_const.h.
| #define SAVED_CHAR "saved_char" |
Definition at line 447 of file def_const.h.
| #define SAVED_PSI_TERM "saved_psi_term" |
Definition at line 449 of file def_const.h.
| #define set_1 1 |
Definition at line 418 of file def_const.h.
| #define set_1_2 3 |
Definition at line 420 of file def_const.h.
| #define set_1_2_3 7 |
Definition at line 421 of file def_const.h.
| #define set_1_2_3_4 15 |
Definition at line 422 of file def_const.h.
| #define set_2 2 |
Definition at line 419 of file def_const.h.
| #define set_empty 0 |
Definition at line 417 of file def_const.h.
| #define show_subwindow 10+32 |
To backtrack on show sub windows RM 8/12/92.
Definition at line 398 of file def_const.h.
| #define show_window 8+32 |
To backtrack on show window.
Definition at line 384 of file def_const.h.
| #define SINFLAG 1 |
Definition at line 509 of file def_const.h.
| #define SMASK 255L |
Bit mask for status field of psi-terms: SMASK masks off the status bits. These are used in the 'mark' routines (copy.c) and in check_out.
Definition at line 340 of file def_const.h.
| #define STACK FALSE |
Flag to indicate stack allocation.
Definition at line 305 of file def_const.h.
| #define START_OF_LINE "start_of_line" |
Definition at line 446 of file def_const.h.
| #define stdin_fileno fileno (stdin) |
Definition at line 558 of file def_const.h.
| #define STRCMP 1L |
Definition at line 472 of file def_const.h.
| #define STREAM "stream" |
Definition at line 443 of file def_const.h.
| #define STRLEN 10000L |
Maximum size of file names and input tokens (which includes input strings) (Note: calculated tokens can be arbitrarily large)
Definition at line 136 of file def_const.h.
| #define TANFLAG 3 |
Definition at line 511 of file def_const.h.
| #define TRUE 1L |
Standard boolean.
Definition at line 242 of file def_const.h.
| #define TRUEMASK 1L |
Standard boolean.
Definition at line 256 of file def_const.h.
| #define TS 1 |
Time stamp technique.
Initial value of time stamp (for variable binding)
| #define type_disj 12L |
Definition at line 500 of file def_const.h.
| #define type_it 4 |
Definition at line 574 of file def_const.h.
| #define UNDEF 2L |
For LIFE boolean calculation built-in.
Definition at line 262 of file def_const.h.
| #define undef_it 1 |
Definition at line 571 of file def_const.h.
| #define undo_action 32 |
Fast checking for an undo action.
Definition at line 412 of file def_const.h.
| #define UNEVALED (1<<1) |
Definition at line 434 of file def_const.h.
| #define UNFOLDED_TRUE 2L |
True flags for the flags field of psi-terms.
Definition at line 235 of file def_const.h.
| #define unify 2L |
Definition at line 490 of file def_const.h.
| #define unify_noeval 3L |
Definition at line 491 of file def_const.h.
| #define WFmore 2 |
Input succeeded with possibly more answers.
Definition at line 32 of file def_const.h.
| #define WFno 0 |
Input failed.
Definition at line 19 of file def_const.h.
| #define WFyes 1 |
Input succeeded.
Definition at line 26 of file def_const.h.
| #define what_next 5L |
Definition at line 493 of file def_const.h.
| #define WL_MAXINT 9007199254740991.0 |
Maximum exactly representable integer (2^53-1 for double IEEE format)
May be incorrect for Alpha - haven't checked. RM: Mar 1 1994
Definition at line 114 of file def_const.h.
| #define WORD sizeof(long) |
Memory Word Size.
Definition at line 48 of file def_const.h.
| #define WORDALIGN 1 |
Memory Alignment.
Definition at line 41 of file def_const.h.
| #define xDefaultFont -1 |
Definition at line 456 of file def_const.h.
| #define xDefaultLineWidth -1 |
Definition at line 457 of file def_const.h.
| #define XEVENTDELAY 1000L |
Maximum number of goals executed between event polling.
Ideally, this should be a function of machine speed.
Definition at line 214 of file def_const.h.
| #define xf 1 |
Definition at line 478 of file def_const.h.
| #define xfx 5 |
Definition at line 482 of file def_const.h.
| #define xfy 6 |
Definition at line 484 of file def_const.h.
| #define yf 3 |
Definition at line 480 of file def_const.h.
| #define yfx 7 |
Definition at line 485 of file def_const.h.
Used to identify the object on the undo_stack.
Use define instead of enums because quick masking is important
Definition at line 357 of file def_const.h.
1.8.6
