#include <stdio.h>#include <string.h>#include "setup.h"#include "constant.h"#include "envrnmnt.h"#include "extnfunc.h"#include "modulutl.h"#include "modulpsr.h"#include "pattern.h"#include "prntutil.h"#include "cstrcpsr.h"#include "bload.h"#include "tmpltpsr.h"#include "tmpltrhs.h"#include "tmpltutl.h"#include "exprnpsr.h"#include "strngrtr.h"#include "router.h"#include "factrhs.h"

Go to the source code of this file.
Defines | |
| #define | _FACTRHS_SOURCE_ |
| #define | _STDIO_INCLUDED_ |
Functions | |
| globle struct expr * | BuildRHSAssert (void *theEnv, char *logicalName, struct token *theToken, int *error, int atLeastOne, int readFirstParen, char *whereParsed) |
| globle struct expr * | GetRHSPattern (void *theEnv, char *readSource, struct token *tempToken, int *error, int constantsOnly, int readFirstParen, int checkFirstParen, int endType) |
| globle struct expr * | GetAssertArgument (void *theEnv, char *logicalName, struct token *theToken, int *error, int endType, int constantsOnly, int *printError) |
| globle struct fact * | StringToFact (void *theEnv, char *str) |
| globle struct fact* StringToFact | ( | void * | theEnv, | |
| char * | str | |||
| ) | [read] |
1.5.6