std_cases_xsb_i.h File Reference

Functions
	return (isinteger(tag)||isboxedinteger(tag))
return	isofloat (term)
	return (isnumber(tag)||isboxedinteger(tag)||isboxedfloat(tag))
	return (isatomic(term)||isboxedinteger(term)||isboxedfloat(term))
	return (((isconstr(term)&&get_arity(get_str_psc(term)))||(islist(term)))&&!isboxedfloat(term)&&!isboxedinteger(term))
	return ((isconstr(term)&&!isboxed(term))||isstring(term)||islist(term))
	if (isinteger(term))
Variables
case	IS_ATTV
case	VAR
case	NONVAR
case	ATOM
case	INTEGER
case	REAL
case	NUMBER
case	ATOMIC
case	COMPOUND
case	CALLABLE
case	IS_LIST
case	IS_MOST_GENERAL_TERM
case	FUNCTOR
case	ARG
case	UNIV
case	HiLog_ARG
case	HiLog_UNIV
case	ATOM_CHARS
case	ATOM_CODES
case	NUMBER_CHARS
case	NUMBER_CODES
case	NUMBER_DIGITS
case	PUT
case	TAB
case	SORT
case	KEYSORT
case	PARSORT

---

Function Documentation

if (  isinteger(term)   )

return isofloat (  term   )

return (  (isconstr(term)&&!isboxed(term))||isstring(term)||islist(term)   )

return (  ((isconstr(term)&&get_arity(get_str_psc(term)))||(islist(term)))&&!isboxedfloat(term)&&!isboxedinteger(term)   )

return (  isatomic(term)||isboxedinteger(term)||isboxedfloat(term)   )

return (  isnumber(tag)||isboxedinteger(tag)||isboxedfloat(tag)   )

return (  isinteger(tag)||isboxedinteger(tag)   )

---

Variable Documentation

case ARG

case ATOM

case ATOM_CHARS

case ATOM_CODES

case ATOMIC

case CALLABLE

case COMPOUND

case FUNCTOR

case HiLog_ARG

case HiLog_UNIV

case INTEGER

case IS_ATTV

case IS_LIST

case IS_MOST_GENERAL_TERM

case KEYSORT

case NONVAR

case NUMBER

case NUMBER_CHARS

case NUMBER_CODES

case NUMBER_DIGITS

case PARSORT

case PUT

case REAL

case SORT

case TAB

case UNIV

case VAR

---