utilpreds.c File Reference

#include "absmi.h"
#include "YapHeap.h"
#include "yapio.h"
#include "attvar.h"
#include "terms.h"

Go to the source code of this file.

Macros
#define	AdjustSizeAtom(X)   (((CELL)(X)+(8-1)) & ~(8-1))
#define	export_derefa_body(D, A, LabelUnk, LabelNonVar)

Typedefs
typedef struct copy_frame	copy_frame_t
typedef struct visited	visited_t

Functions
size_t	Yap_ExportTerm (Term inp, char *buf, size_t len, UInt arity)
Term	Yap_ImportTerm (char *buf)
size_t	Yap_SizeOfExportedTerm (char *buf)
int	Yap_SizeGroundTerm (Term t, int ground)
Int	Yap_TermHash (Term t, Int size, Int depth, int variant)
bool	Yap_Variant (Term t1, Term t2)
bool	Yap_IsListTerm (Term t)
bool	Yap_IsListOrPartialListTerm (Term t)
Int	Yap_SkipList (Term *l, Term **tailp)