def_const.h

Go to the documentation of this file.

#define least_sel 0

#define greatest_sel 1

#define op_sel 2

// from c_life.h

#define WFno 0

#define WFyes  1

#define WFmore 2

// from externs.h

#define WORDALIGN 1 

#define WORD sizeof(long)

#ifdef WORDALIGN
#define ALIGN WORD
#else
#define ALIGN 8
#endif

#define TS 1

#ifdef CLIFE
#include "blockdef.h"
#endif /* CLIFE */

/*************************** CONSTANTS **************************/

#define LOCALSETUP

#define LOCALSETUPFILE  "./.set_up"

/* RM: Mar 1 1994: replaced macros with variables. */

/* Memory is determined in words by the variable "alloc_words", this may be
   specified on the command line and defaults to the macro "ALLOC_WORDS". mem_size
   is in bytes and is the product of alloc_words by the size of a machine word.
   This system is thus consistent between 32 and 64-bit architectures: the same
   number of psi-terms can be allocated in either.
   */

// from extern.h

#define GC_THRESHOLD (alloc_words>>3) 

#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

#ifdef TS
#define INIT_TIME_STAMP 1L
#endif

#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 

#ifdef CLIFE

#define block_ptr      12

#define value_ptr      13
#endif /* CLIFE */

#define destroy_window  7+32 

#define show_window 8+32 

#define hide_window 9+32 

#define show_subwindow  10+32 

#define hide_subwindow  11+32 

#define undo_action   32 

// from lefun.h

#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

// from list.h

#ifndef NULL
#define NULL 0
#endif

// from sys.h

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

// from token.h

/* Names of the features */

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

// from xdisplaylist.h

#define xDefaultFont -1
#define xDefaultLineWidth -1

// from templates.h

/* constants */

#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

/* yfy, */

#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
/*  RM: Mar 31 1993  */

// from bi_math.c

#define SINFLAG 1

#define COSFLAG 2

#define TANFLAG 3

// from bi_type.c

#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

// from copy.c


#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

// from parser.c

#define NOP 2000

// from print.c

#define DOTDOT ": "   /*  RM: Dec 14 1992, should be " : "  */

#define NOTOP 0

#define INFIX 1

#define PREFIX 2

#define POSTFIX 3

#ifndef NORAW
#define stdin_fileno fileno (stdin)
#endif

// from sys.c

#define ARGNN 10

#define   undef_it 1

#define   predicate_it 2

#define   function_it 3

#define   type_it 4

#define   global_it 5
   /*  RM: Feb  8 1993  */
#ifdef CLIFE

#define   block_it 6
       /*  AA: Mar  8 1993  */
#endif 
/* CLIFE */

#ifdef X11

#define  xDefaultFont -1

#define xDefaultLineWidth -1

#define DRAW_LINE 1 

#define DRAW_RECTANGLE 2 

#define DRAW_ARC 3

#define DRAW_POLYGON 4        

#define FILL_RECTANGLE 5 

#define FILL_ARC 6

#define FILL_POLYGON 7              

#define DRAW_STRING 8

#define DRAW_IMAGE_STRING 9

#endif