1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
/*******************************************************/
/* "C" Language Integrated Production System */
/* */
/* CLIPS Version 6.40 07/30/16 */
/* */
/* DEFRULE BSAVE/BLOAD HEADER FILE */
/*******************************************************/
/*************************************************************/
/* Purpose: Implements the binary save/load feature for the */
/* defrule construct. */
/* */
/* Principal Programmer(s): */
/* Gary D. Riley */
/* */
/* Contributing Programmer(s): */
/* Brian L. Dantes */
/* */
/* Revision History: */
/* */
/* 6.24: Removed CONFLICT_RESOLUTION_STRATEGIES, */
/* DYNAMIC_SALIENCE, and LOGICAL_DEPENDENCIES */
/* compilation flags. */
/* */
/* 6.30: Changed integer type/precision. */
/* */
/* Added support for alpha memories. */
/* */
/* Added salience groups to improve performance */
/* with large numbers of activations of different */
/* saliences. */
/* */
/* 6.40: Removed LOCALE definition. */
/* */
/* Pragma once and other inclusion changes. */
/* */
/* Removed use of void pointers for specific */
/* data structures. */
/* */
/*************************************************************/
#ifndef _H_rulebin
#pragma once
#define _H_rulebin
#if (! RUN_TIME)
#include "cstrcbin.h"
#include "modulbin.h"
#include "network.h"
struct bsaveDefrule
{
struct bsaveConstructHeader header;
int salience;
unsigned short localVarCnt;
unsigned int complexity : 12;
unsigned int autoFocus : 1;
unsigned long dynamicSalience;
unsigned long actions;
unsigned long logicalJoin;
unsigned long lastJoin;
unsigned long disjunct;
};
struct bsavePatternNodeHeader
{
unsigned long entryJoin;
unsigned long rightHash;
unsigned int singlefieldNode : 1;
unsigned int multifieldNode : 1;
unsigned int stopNode : 1;
unsigned int blocked : 1;
unsigned int initialize : 1;
unsigned int marked : 1;
unsigned int beginSlot : 1;
unsigned int endSlot : 1;
unsigned int selector : 1;
};
struct bsaveDefruleModule
{
struct bsaveDefmoduleItemHeader header;
};
struct bsaveJoinLink
{
char enterDirection;
unsigned long join;
unsigned long next;
};
struct bsaveJoinNode
{
unsigned int firstJoin : 1;
unsigned int logicalJoin : 1;
unsigned int joinFromTheRight : 1;
unsigned int patternIsNegated : 1;
unsigned int patternIsExists : 1;
unsigned int rhsType : 3;
unsigned int depth : 7;
unsigned long networkTest;
unsigned long secondaryNetworkTest;
unsigned long leftHash;
unsigned long rightHash;
unsigned long rightSideEntryStructure;
unsigned long nextLinks;
unsigned long lastLevel;
unsigned long rightMatchNode;
unsigned long ruleToActivate;
};
#define RULEBIN_DATA 20
struct defruleBinaryData
{
unsigned long NumberOfDefruleModules;
unsigned long NumberOfDefrules;
unsigned long NumberOfJoins;
unsigned long NumberOfLinks;
unsigned long RightPrimeIndex;
unsigned long LeftPrimeIndex;
struct defruleModule *ModuleArray;
Defrule *DefruleArray;
struct joinNode *JoinArray;
struct joinLink *LinkArray;
};
#define DefruleBinaryData(theEnv) ((struct defruleBinaryData *) GetEnvironmentData(theEnv,RULEBIN_DATA))
#define BloadDefrulePointer(x,i) ((Defrule *) ((i == ULONG_MAX) ? NULL : &x[i]))
#define BsaveJoinIndex(joinPtr) ((joinPtr == NULL) ? ULONG_MAX : ((struct joinNode *) joinPtr)->bsaveID)
#define BloadJoinPointer(i) ((struct joinNode *) ((i == ULONG_MAX) ? NULL : &DefruleBinaryData(theEnv)->JoinArray[i]))
#define BsaveJoinLinkIndex(linkPtr) ((linkPtr == NULL) ? ULONG_MAX : ((struct joinLink *) linkPtr)->bsaveID)
#define BloadJoinLinkPointer(i) ((struct joinLink *) ((i == ULONG_MAX) ? NULL : &DefruleBinaryData(theEnv)->LinkArray[i]))
void DefruleBinarySetup(Environment *);
void UpdatePatternNodeHeader(Environment *,struct patternNodeHeader *,
struct bsavePatternNodeHeader *);
void AssignBsavePatternHeaderValues(Environment *,struct bsavePatternNodeHeader *,
struct patternNodeHeader *);
void *BloadDefruleModuleReference(Environment *,unsigned long);
#endif /* (! RUN_TIME) */
#endif /* _H_rulebin */