C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/c_life.h File Reference

#include <stdio.h>

Go to the source code of this file.

Defines
#define	WFno   0
#define	WFyes   1
#define	WFmore   2
#define	WFProve(A)
Typedefs
typedef void *	PsiTerm
Functions
int	WFInput ()
PsiTerm	WFGetVar ()
char *	WFType ()
double	WFGetDouble ()
char *	WFGetString ()
int	WFFeatureCount ()
PsiTerm	WFGetFeature ()
char **	WFFeatures ()

---

Define Documentation

#define WFmore   2

Definition at line 21 of file c_life.h.

Referenced by WFInput().

#define WFno   0

Definition at line 15 of file c_life.h.

Referenced by WFInput().

#define WFProve

(

A

)

Value:

{ char *c=(A);if(!WFInput(c)) \
  fprintf(stderr,"%s failed (%s, line %d)\n",c,__FILE__,__LINE__); }

Definition at line 28 of file c_life.h.

#define WFyes   1

Definition at line 18 of file c_life.h.

Referenced by WFInput().

---

Typedef Documentation

typedef void* PsiTerm

Definition at line 9 of file c_life.h.

---

Function Documentation

int WFFeatureCount

(

)

char** WFFeatures

(

)

double WFGetDouble

(

)

PsiTerm WFGetFeature

(

)

char* WFGetString

(

)

PsiTerm WFGetVar

(

)

int WFInput

(

)

char* WFType

(

)

---