Home
last modified time | relevance | path

Searched refs:MAX_INTERNAL_FLAGS (Results 1 – 4 of 4) sorted by relevance

/dports/misc/otter/otter-3.3f/mace2/
H A DStats.h29 #define MAX_INTERNAL_FLAGS 10 macro
32 extern int Internal_flags[MAX_INTERNAL_FLAGS];
H A Dstats.c5 extern int Internal_flags[MAX_INTERNAL_FLAGS];
21 for (i = 0; i < MAX_INTERNAL_FLAGS; i++) in init_stats()
/dports/misc/otter/otter-3.3f/source/
H A Dheader.h323 CLASS int Internal_flags[MAX_INTERNAL_FLAGS]; /* invisible to user */
H A Dcos.h388 #define MAX_INTERNAL_FLAGS 10 /* This must hold the following list! */ macro