Wild Life  2.30
 All Data Structures Files Functions Variables Typedefs Macros
Macros | Typedefs
def_const.h File Reference

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...
 

Detailed Description

constants

Definition in file def_const.h.

Macro Definition Documentation

#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.

Typedef Documentation

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.