arith0.c File Reference

#include "Yap.h"
#include "Yatom.h"
#include "YapHeap.h"
#include "YapEval.h"

Go to the source code of this file.

typedef struct init_const_eval	InitConstEntry
Term	Yap_eval_atom (Int f)
void	Yap_InitConstExps (void)
int	Yap_ReInitConstExps (void)

Function Documentation

Yap_eval_atom()

Term Yap_eval_atom

(

Int

f

)

Definition at line 233 of file arith0.c.

Yap_InitConstExps()

void Yap_InitConstExps

(

void

)

Definition at line 261 of file arith0.c.

Yap_ReInitConstExps()

int Yap_ReInitConstExps

(

void

)

Definition at line 289 of file arith0.c.