YAPVarTerm¶
Public Function:¶
constructor, creates new variable
1. YAPVarTerm::YAPVarTerm(Term t):
constructor from existing variables
1. CELL * YAPVarTerm::getVar():
get the slot where the variable is.
1. bool YAPVarTerm::unbound():
1. bool YAPVarTerm::isVar(): : is this bound?
1. bool YAPVarTerm::isAtom(): : type check for atom
1. bool YAPVarTerm::isInteger(): : type check for atom
1. bool YAPVarTerm::isFloat(): : type check for integer
1. bool YAPVarTerm::isString(): : type check for floating-point
1. bool YAPVarTerm::isCompound(): : type check for a string " ... "
1. bool YAPVarTerm::isAppl(): : is a primitive term
1. bool YAPVarTerm::isPair(): : is a structured term
1. bool YAPVarTerm::isGround(): : is a pair term
1. bool YAPVarTerm::isList(): : term is ground