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
/*******************************************************/
/* "C" Language Integrated Production System */
/* */
/* CLIPS Version 6.40 08/06/16 */
/* */
/* DEFFACTS HEADER FILE */
/*******************************************************/
/*************************************************************/
/* Purpose: */
/* */
/* Principal Programmer(s): */
/* Gary D. Riley */
/* */
/* Contributing Programmer(s): */
/* Brian L. Dantes */
/* */
/* Revision History: */
/* */
/* 6.24: Renamed BOOLEAN macro type to intBool. */
/* */
/* 6.30: Removed conditional code for unsupported */
/* compilers/operating systems (IBM_MCW, */
/* MAC_MCW, and IBM_TBC). */
/* */
/* Added const qualifiers to remove C++ */
/* deprecation warnings. */
/* */
/* Converted API macros to function calls. */
/* */
/* Changed find construct functionality so that */
/* imported modules are search when locating a */
/* named construct. */
/* */
/* 6.40: Removed LOCALE definition. */
/* */
/* Pragma once and other inclusion changes. */
/* */
/* Added support for booleans with <stdbool.h>. */
/* */
/* Removed use of void pointers for specific */
/* data structures. */
/* */
/* ALLOW_ENVIRONMENT_GLOBALS no longer supported. */
/* */
/*************************************************************/
#ifndef _H_dffctdef
#pragma once
#define _H_dffctdef
typedef struct deffacts Deffacts;
#include "constrct.h"
#include "conscomp.h"
#include "cstrccom.h"
#include "evaluatn.h"
#include "expressn.h"
#include "moduldef.h"
#include "symbol.h"
#define DEFFACTS_DATA 0
struct deffactsData
{
Construct *DeffactsConstruct;
unsigned DeffactsModuleIndex;
#if CONSTRUCT_COMPILER && (! RUN_TIME)
struct CodeGeneratorItem *DeffactsCodeItem;
#endif
};
struct deffacts
{
ConstructHeader header;
struct expr *assertList;
};
struct deffactsModule
{
struct defmoduleItemHeader header;
};
#define DeffactsData(theEnv) ((struct deffactsData *) GetEnvironmentData(theEnv,DEFFACTS_DATA))
void InitializeDeffacts(Environment *);
Deffacts *FindDeffacts(Environment *,const char *);
Deffacts *FindDeffactsInModule(Environment *,const char *);
Deffacts *GetNextDeffacts(Environment *,Deffacts *);
void CreateInitialFactDeffacts(void);
bool DeffactsIsDeletable(Deffacts *);
struct deffactsModule *GetDeffactsModuleItem(Environment *,Defmodule *);
const char *DeffactsModule(Deffacts *);
const char *DeffactsName(Deffacts *);
const char *DeffactsPPForm(Deffacts *);
#if RUN_TIME
void DeffactsRunTimeInitialize(Environment *);
#endif
#endif /* _H_dffctdef */