type_inl_c.c File Reference

#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for type_inl_c.c:

Macros
#define	Tag_Is_Var(t)   (t == TAG_REF_MASK)
#define	Tag_Is_Nonvar(t)   (!Tag_Is_Var(t))
#define	Tag_Is_Atom(t)   (t == TAG_ATM_MASK)
#define	Tag_Is_Integer(t)   (t == TAG_INT_MASK)
#define	Tag_Is_Float(t)   (t == TAG_FLT_MASK)
#define	Tag_Is_Number(t)   (Tag_Is_Integer(t) || Tag_Is_Float(t))
#define	Tag_Is_Atomic(t)   (Tag_Is_Atom(t) || Tag_Is_Number(t))
#define	Tag_Is_Compound(t)   (t == TAG_STC_MASK || t == TAG_LST_MASK)
#define	Tag_Is_Callable(t)   (Tag_Is_Atom(t) || Tag_Is_Compound(t))
#define	Tag_Is_Fd_Var(t)   (t == TAG_FDV_MASK)
#define	Tag_Is_Non_Fd_Var(t)   (!Tag_Is_Fd_Var(t))
#define	Tag_Is_Generic_Var(t)   (Tag_Is_Var(t) || Tag_Is_Fd_Var(t))
#define	Tag_Is_Non_Generic_Var(t)   (!Tag_Is_Generic_Var(t))
#define	Type_Test(test, x)

Functions
Bool FC	Pl_Blt_Var (WamWord x)
Bool FC	Pl_Blt_Non_Var (WamWord x)
Bool FC	Pl_Blt_Atom (WamWord x)
Bool FC	Pl_Blt_Integer (WamWord x)
Bool FC	Pl_Blt_Float (WamWord x)
Bool FC	Pl_Blt_Number (WamWord x)
Bool FC	Pl_Blt_Atomic (WamWord x)
Bool FC	Pl_Blt_Compound (WamWord x)
Bool FC	Pl_Blt_Callable (WamWord x)
Bool FC	Pl_Blt_Fd_Var (WamWord x)
Bool FC	Pl_Blt_Non_Fd_Var (WamWord x)
Bool FC	Pl_Blt_Generic_Var (WamWord x)
Bool FC	Pl_Blt_Non_Generic_Var (WamWord x)
Bool FC	Pl_Blt_Ground (WamWord start_word)
Bool FC	Pl_Blt_List (WamWord start_word)
Bool FC	Pl_Blt_Partial_List (WamWord start_word)
Bool FC	Pl_Blt_List_Or_Partial_List (WamWord start_word)

Macro Definition Documentation

#define Tag_Is_Atom

(

t

)

(t == TAG_ATM_MASK)

#define Tag_Is_Atomic

(

t

)

(Tag_Is_Atom(t) || Tag_Is_Number(t))

#define Tag_Is_Callable

(

t

)

(Tag_Is_Atom(t) || Tag_Is_Compound(t))

#define Tag_Is_Compound

(

t

)

(t == TAG_STC_MASK || t == TAG_LST_MASK)

#define Tag_Is_Fd_Var

(

t

)

(t == TAG_FDV_MASK)

#define Tag_Is_Float

(

t

)

(t == TAG_FLT_MASK)

#define Tag_Is_Generic_Var

(

t

)

(Tag_Is_Var(t) || Tag_Is_Fd_Var(t))

#define Tag_Is_Integer

(

t

)

(t == TAG_INT_MASK)

#define Tag_Is_Non_Fd_Var

(

t

)

(!Tag_Is_Fd_Var(t))

#define Tag_Is_Non_Generic_Var

(

t

)

(!Tag_Is_Generic_Var(t))

#define Tag_Is_Nonvar

(

t

)

(!Tag_Is_Var(t))

#define Tag_Is_Number

(

t

)

(Tag_Is_Integer(t) || Tag_Is_Float(t))

#define Tag_Is_Var

(

t

)

(t == TAG_REF_MASK)

#define Type_Test	(		test,
			x
	)

Value:

WamWord word, tag_mask;             \
   DEREF(x, word, tag_mask);            \
   return test(tag_mask)

Function Documentation

Bool FC Pl_Blt_Atom

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Atomic

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Callable

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Compound

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Fd_Var

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Float

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Generic_Var

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Ground

(

WamWord

start_word

)

Bool FC Pl_Blt_Integer

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_List

(

WamWord

start_word

)

Here is the caller graph for this function:

Bool FC Pl_Blt_List_Or_Partial_List

(

WamWord

start_word

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Non_Fd_Var

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Non_Generic_Var

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Non_Var

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Number

(

WamWord

x

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Partial_List

(

WamWord

start_word

)

Here is the caller graph for this function:

Bool FC Pl_Blt_Var

(

WamWord

x

)

Here is the caller graph for this function: