Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog
Class NullTerm  

java.lang.Object
  alice.tuprolog.Term
      alice.tuprolog.NullTerm

All Implemented Interfaces:

java.lang.Cloneable, java.io.Serializable

---

final class NullTerm

extends Term

prolog Null Term, used only for implementation purpose currently used only as terminator in Struct representing prolog list TO BE REMOVED AS SOON AS POSSIBLE bacause of not significant

---

Field Summary

 

Fields inherited from class alice.tuprolog.Term

FALSE, FLOAT, id, INT, NULL, OBJECT, STRUCT, TRUE, VAR

 

Constructor Summary
(package private)	NullTerm()

 

Method Summary
Term	copy(alice.util.LinkedList vl)           gets a copy (with renamed variables) of the term.
void	free(int m)           significant for Var terms.
Term	getTerm()           gets the actual term of the object.
boolean	isAtom()           is it a prolog (alphanumeric) atom?
boolean	isClause()           is it a prolog clause?
boolean	isCompound()           is it a prolog compound term?
boolean	isConst()           is it a constant prolog term?
boolean	isEmptyList()           is it a prolog empty list?
boolean	isEQU(Term t)           is term equal to term t?
boolean	isGround()           is it a ground term?
boolean	isGT(Term t)           is term greater than term t?
boolean	isList()           is it a prolog list?
boolean	isNum()           is it a prolog numeric term?
boolean	match(Term t)           matching without unification; only true or false, without bindings.
java.lang.String	toString()           stringizing the term without taking in consideration operators.
boolean	unify(Term t, int m)           only 2 NullTerm term unify

 

Methods inherited from class alice.tuprolog.Term

clone, getDouble, getFloat, getInt, getIterator, getLong, getName, getObject, getObject, getString, getStruct, getStruct, getTerm, getVar, isAny, isFalse, isFloat, isInt, isObject, isStruct, isTrue, isVar, parse, parse, parseSentence, renameVars, renameVars, toRawString, toString, toStringAsArg, toStringAsArgX, toStringAsArgY

 

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Constructor Detail

NullTerm

NullTerm()

Method Detail

toString

public java.lang.String toString()

Description copied from class: Term

stringizing the term without taking in consideration operators.

Overrides:

toString in class Term

---

unify

public boolean unify(Term t,
                     int m)

only 2 NullTerm term unify

Overrides:

unify in class Term

---

match

public boolean match(Term t)

Description copied from class: Term

matching without unification; only true or false, without bindings.

Overrides:

match in class Term

---

free

public void free(int m)

Description copied from class: Term

significant for Var terms.

Overrides:

free in class Term

---

copy

public Term copy(alice.util.LinkedList vl)

Description copied from class: Term

gets a copy (with renamed variables) of the term.

the list argument passed contains the list of variables to be renamed (if empty list then no renaming)

Overrides:

copy in class Term

---

isGT

public boolean isGT(Term t)

Description copied from class: Term

is term greater than term t?

Overrides:

isGT in class Term

---

isEQU

public boolean isEQU(Term t)

Description copied from class: Term

is term equal to term t?

Overrides:

isEQU in class Term

---

getTerm

public Term getTerm()

Description copied from class: Term

gets the actual term of the object.

if the Term is a bound variable, the method get the Term linked to the variable

Overrides:

getTerm in class Term

---

isConst

public boolean isConst()

Description copied from class: Term

is it a constant prolog term?

Overrides:

isConst in class Term

---

isNum

public boolean isNum()

Description copied from class: Term

is it a prolog numeric term?

Overrides:

isNum in class Term

---

isAtom

public boolean isAtom()

Description copied from class: Term

is it a prolog (alphanumeric) atom?

Overrides:

isAtom in class Term

---

isCompound

public boolean isCompound()

Description copied from class: Term

is it a prolog compound term?

Overrides:

isCompound in class Term

---

isClause

public boolean isClause()

Description copied from class: Term

is it a prolog clause?

Overrides:

isClause in class Term

---

isList

public boolean isList()

Description copied from class: Term

is it a prolog list?

Overrides:

isList in class Term

---

isEmptyList

public boolean isEmptyList()

Description copied from class: Term

is it a prolog empty list?

Overrides:

isEmptyList in class Term

---

isGround

public boolean isGround()

Description copied from class: Term

is it a ground term?

Overrides:

isGround in class Term

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---