Wild Life: def_const.h File Reference

Wild Life 2.29

- Main Page
- Data Structures
- Files

- File List
- Globals

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

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

## Macro Definition Documentation

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

#define show_subwindow 10+32 /* To backtrack on show sub windows RM 8/12/92 */

Definition at line 186 of file def_const.h.

#define show_window 8+32 /* To backtrack on show window */

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 Documentation

typedef long type_ptr

Definition at line 169 of file def_const.h.