#include "facthsh.h"#include "multifld.h"#include "tmpltdef.h"#include "pattern.h"#include "conscomp.h"


Go to the source code of this file.
Classes | |
| struct | fact |
| struct | factsData |
Defines | |
| #define | FACTS_DATA 3 |
| #define | FactData(theEnv) ((struct factsData *) GetEnvironmentData(theEnv,FACTS_DATA)) |
| #define | LOCALE extern |
| #define | Assert(a) EnvAssert(GetCurrentEnvironment(),a) |
| #define | AssertString(a) EnvAssertString(GetCurrentEnvironment(),a) |
| #define | AssignFactSlotDefaults(a) EnvAssignFactSlotDefaults(GetCurrentEnvironment(),a) |
| #define | CreateFact(a) EnvCreateFact(GetCurrentEnvironment(),a) |
| #define | DecrementFactCount(a) EnvDecrementFactCount(GetCurrentEnvironment(),a) |
| #define | GetFactListChanged() EnvGetFactListChanged(GetCurrentEnvironment()) |
| #define | GetFactPPForm(a, b, c) EnvGetFactPPForm(GetCurrentEnvironment(),a,b,c) |
| #define | GetNextFact(a) EnvGetNextFact(GetCurrentEnvironment(),a) |
| #define | IncrementFactCount(a) EnvIncrementFactCount(GetCurrentEnvironment(),a) |
| #define | PutFactSlot(a, b, c) EnvPutFactSlot(GetCurrentEnvironment(),a,b,c) |
| #define | Retract(a) EnvRetract(GetCurrentEnvironment(),a) |
| #define | SetFactListChanged(a) EnvSetFactListChanged(GetCurrentEnvironment(),a) |
Functions | |
| LOCALE void * | EnvAssert (void *, void *) |
| LOCALE void * | EnvAssertString (void *, char *) |
| LOCALE struct fact * | EnvCreateFact (void *, void *) |
| LOCALE void | EnvDecrementFactCount (void *, void *) |
| LOCALE long long | EnvFactIndex (void *, void *) |
| LOCALE intBool | EnvGetFactSlot (void *, void *, char *, DATA_OBJECT *) |
| LOCALE void | PrintFactWithIdentifier (void *, char *, struct fact *) |
| LOCALE void | PrintFact (void *, char *, struct fact *, int, int) |
| LOCALE void | PrintFactIdentifierInLongForm (void *, char *, void *) |
| LOCALE intBool | EnvRetract (void *, void *) |
| LOCALE void | RemoveAllFacts (void *) |
| LOCALE struct fact * | CreateFactBySize (void *, unsigned) |
| LOCALE void | FactInstall (void *, struct fact *) |
| LOCALE void | FactDeinstall (void *, struct fact *) |
| LOCALE void * | EnvGetNextFact (void *, void *) |
| LOCALE void * | GetNextFactInScope (void *theEnv, void *) |
| LOCALE void | EnvGetFactPPForm (void *, char *, unsigned, void *) |
| LOCALE int | EnvGetFactListChanged (void *) |
| LOCALE void | EnvSetFactListChanged (void *, int) |
| LOCALE unsigned long | GetNumberOfFacts (void *) |
| LOCALE void | InitializeFacts (void *) |
| LOCALE struct fact * | FindIndexedFact (void *, long long) |
| LOCALE void | EnvIncrementFactCount (void *, void *) |
| LOCALE void | PrintFactIdentifier (void *, char *, void *) |
| LOCALE void | DecrementFactBasisCount (void *, void *) |
| LOCALE void | IncrementFactBasisCount (void *, void *) |
| LOCALE void | ReturnFact (void *, struct fact *) |
| LOCALE void | MatchFactFunction (void *, void *) |
| LOCALE intBool | EnvPutFactSlot (void *, void *, char *, DATA_OBJECT *) |
| LOCALE intBool | EnvAssignFactSlotDefaults (void *, void *) |
| LOCALE intBool | CopyFactSlotValues (void *, void *, void *) |
| LOCALE intBool | DeftemplateSlotDefault (void *, struct deftemplate *, struct templateSlot *, DATA_OBJECT *, int) |
Variables | |
| int | ChangeToFactList |
| struct fact | DummyFact |
| #define Assert | ( | a | ) | EnvAssert(GetCurrentEnvironment(),a) |
Definition at line 106 of file factmngr.h.
| #define AssertString | ( | a | ) | EnvAssertString(GetCurrentEnvironment(),a) |
Definition at line 107 of file factmngr.h.
| #define AssignFactSlotDefaults | ( | a | ) | EnvAssignFactSlotDefaults(GetCurrentEnvironment(),a) |
Definition at line 108 of file factmngr.h.
| #define CreateFact | ( | a | ) | EnvCreateFact(GetCurrentEnvironment(),a) |
Definition at line 109 of file factmngr.h.
| #define DecrementFactCount | ( | a | ) | EnvDecrementFactCount(GetCurrentEnvironment(),a) |
Definition at line 110 of file factmngr.h.
| #define FactData | ( | theEnv | ) | ((struct factsData *) GetEnvironmentData(theEnv,FACTS_DATA)) |
Definition at line 95 of file factmngr.h.
| #define FACTS_DATA 3 |
Definition at line 64 of file factmngr.h.
| #define GetFactListChanged | ( | ) | EnvGetFactListChanged(GetCurrentEnvironment()) |
Definition at line 111 of file factmngr.h.
| #define GetFactPPForm | ( | a, | |||
| b, | |||||
| c | ) | EnvGetFactPPForm(GetCurrentEnvironment(),a,b,c) |
Definition at line 112 of file factmngr.h.
| #define GetNextFact | ( | a | ) | EnvGetNextFact(GetCurrentEnvironment(),a) |
Definition at line 113 of file factmngr.h.
| #define IncrementFactCount | ( | a | ) | EnvIncrementFactCount(GetCurrentEnvironment(),a) |
Definition at line 114 of file factmngr.h.
| #define LOCALE extern |
Definition at line 103 of file factmngr.h.
| #define PutFactSlot | ( | a, | |||
| b, | |||||
| c | ) | EnvPutFactSlot(GetCurrentEnvironment(),a,b,c) |
Definition at line 115 of file factmngr.h.
| #define Retract | ( | a | ) | EnvRetract(GetCurrentEnvironment(),a) |
Definition at line 116 of file factmngr.h.
| #define SetFactListChanged | ( | a | ) | EnvSetFactListChanged(GetCurrentEnvironment(),a) |
Definition at line 117 of file factmngr.h.
| LOCALE intBool CopyFactSlotValues | ( | void * | , | |
| void * | , | |||
| void * | ||||
| ) |
Definition at line 1163 of file factmngr.c.
| LOCALE struct fact* CreateFactBySize | ( | void * | , | |
| unsigned | ||||
| ) | [read] |
Definition at line 1217 of file factmngr.c.
| LOCALE void DecrementFactBasisCount | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 312 of file factmngr.c.
| LOCALE intBool DeftemplateSlotDefault | ( | void * | , | |
| struct deftemplate * | , | |||
| struct templateSlot * | , | |||
| DATA_OBJECT * | , | |||
| int | ||||
| ) |
Definition at line 1085 of file factmngr.c.
| LOCALE void* EnvAssert | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 626 of file factmngr.c.
| LOCALE void* EnvAssertString | ( | void * | , | |
| char * | ||||
| ) |
Definition at line 1493 of file factmngr.c.
| LOCALE intBool EnvAssignFactSlotDefaults | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 1023 of file factmngr.c.
| LOCALE struct fact* EnvCreateFact | ( | void * | , | |
| void * | ||||
| ) | [read] |
Definition at line 818 of file factmngr.c.
| LOCALE void EnvDecrementFactCount | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 1351 of file factmngr.c.
| LOCALE long long EnvFactIndex | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 1466 of file factmngr.c.
| LOCALE int EnvGetFactListChanged | ( | void * | ) |
Definition at line 1508 of file factmngr.c.
| LOCALE void EnvGetFactPPForm | ( | void * | , | |
| char * | , | |||
| unsigned | , | |||
| void * | ||||
| ) |
Definition at line 1448 of file factmngr.c.
| LOCALE intBool EnvGetFactSlot | ( | void * | , | |
| void * | , | |||
| char * | , | |||
| DATA_OBJECT * | ||||
| ) |
Definition at line 870 of file factmngr.c.
| LOCALE void* EnvGetNextFact | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 1367 of file factmngr.c.
| LOCALE void EnvIncrementFactCount | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 1333 of file factmngr.c.
| LOCALE intBool EnvPutFactSlot | ( | void * | , | |
| void * | , | |||
| char * | , | |||
| DATA_OBJECT * | ||||
| ) |
Definition at line 947 of file factmngr.c.
| LOCALE intBool EnvRetract | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 413 of file factmngr.c.
| LOCALE void EnvSetFactListChanged | ( | void * | , | |
| int | ||||
| ) |
Definition at line 1518 of file factmngr.c.
| LOCALE void FactDeinstall | ( | void * | , | |
| struct fact * | ||||
| ) |
Definition at line 1307 of file factmngr.c.
| LOCALE void FactInstall | ( | void * | , | |
| struct fact * | ||||
| ) |
Definition at line 1284 of file factmngr.c.
| LOCALE struct fact* FindIndexedFact | ( | void * | , | |
| long | long | |||
| ) | [read] |
Definition at line 1594 of file factmngr.c.
| LOCALE void* GetNextFactInScope | ( | void * | theEnv, | |
| void * | ||||
| ) |
Definition at line 1385 of file factmngr.c.
| LOCALE unsigned long GetNumberOfFacts | ( | void * | ) |
Definition at line 1529 of file factmngr.c.
| LOCALE void IncrementFactBasisCount | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 334 of file factmngr.c.
| LOCALE void InitializeFacts | ( | void * | ) |
Definition at line 101 of file factmngr.c.
| LOCALE void MatchFactFunction | ( | void * | , | |
| void * | ||||
| ) |
Definition at line 401 of file factmngr.c.
| LOCALE void PrintFact | ( | void * | , | |
| char * | , | |||
| struct fact * | , | |||
| int | , | |||
| int | ||||
| ) |
Definition at line 357 of file factmngr.c.
| LOCALE void PrintFactIdentifier | ( | void * | , | |
| char * | , | |||
| void * | ||||
| ) |
Definition at line 275 of file factmngr.c.
| LOCALE void PrintFactIdentifierInLongForm | ( | void * | , | |
| char * | , | |||
| void * | ||||
| ) |
Definition at line 290 of file factmngr.c.
| LOCALE void PrintFactWithIdentifier | ( | void * | , | |
| char * | , | |||
| struct fact * | ||||
| ) |
Definition at line 260 of file factmngr.c.
| LOCALE void RemoveAllFacts | ( | void * | ) |
Definition at line 807 of file factmngr.c.
| LOCALE void ReturnFact | ( | void * | , | |
| struct fact * | ||||
| ) |
Definition at line 1253 of file factmngr.c.
| int ChangeToFactList |
1.5.6