YAP 7.1.0
arith2.c File Reference
#include "Yap.h"
#include "Yatom.h"
#include "YapHeap.h"
#include "YapEval.h"
#include "arith2.h"

Go to the source code of this file.

Typedefs

typedef struct init_un_eval InitBinEntry
 

Functions

Term Yap_eval_binary (Int f, Term t1, Term t2)
 
Atom Yap_NameOfBinaryOp (int i)
 
void Yap_InitBinaryExps (void)
 
int Yap_ReInitBinaryExps (void)
 

Function Documentation

◆ Yap_eval_binary()

Term Yap_eval_binary ( Int  f,
Term  t1,
Term  t2 
)

Definition at line 1110 of file arith2.c.

◆ Yap_InitBinaryExps()

void Yap_InitBinaryExps ( void  )

Definition at line 1338 of file arith2.c.

◆ Yap_NameOfBinaryOp()

Atom Yap_NameOfBinaryOp ( int  i)

Definition at line 1331 of file arith2.c.

◆ Yap_ReInitBinaryExps()

int Yap_ReInitBinaryExps ( void  )

Definition at line 1376 of file arith2.c.