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.