com.ugos.jiprolog.engine

Class JIPTerm

java.lang.Object

com.ugos.jiprolog.engine.JIPTerm

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

JIPAtom, JIPClause, JIPCons, JIPFunctor, JIPList, JIPNumber, JIPString, JIPVariable

public class JIPTerm
extends Object
implements Serializable, Cloneable

JIPTerm wraps generic prolog terms (atoms, functors, lists, etc.)

Version:

2.0

Author:

Ugo Chirico 2002
Home Page: http://www.ugochirico.com

See Also:

Serialized Form

Method Summary

Methods

Modifier and Type	Method and Description
void	clear() Clears all variables in this JIPTerm object.
Object	clone() Clones this JIPTerm object.
boolean	equals(Object obj)
JIPTerm	getValue()
JIPVariable[]	getVariables() Gets an array of JIPVariable objects containing the variables in this JIPTerm object
Hashtable	getVariablesTable() Gets an hashtable of JIPVariable objects containing the variables in this JIPTerm object.
String	toString() Returns a canonical representation of this JIPTerm object i.e. it ignores operator declarations.
String	toString(JIPEngine engine) Returns a string representation of this JIPTerm object using the operator declarations contained in JIPEngine object.
String	toStringq(JIPEngine engine) Returns a quoted string representation of this JIPTerm object using the operator declarations contained in JIPEngine object.
boolean	unifiable(JIPTerm term) Checks if this JIPTerm object unifies with the specified term.
boolean	unify(JIPTerm term, Hashtable varTable) Unifies this JIPTerm object with the specified term.

Methods inherited from class java.lang.Object

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

Method Detail

unifiable

public final boolean unifiable(JIPTerm term)

Checks if this JIPTerm object unifies with the specified term. Remarks: this method doesn't bind any variable. To actually unifies the terms use the other method unify.

Parameters:

term - term to unify

Returns:

true if the this object unify with the specified term.

clone

public final Object clone()

Clones this JIPTerm object.

Overrides:

clone in class Object

Returns:

Copy of this JIPTerm object .

clear

public final void clear()

Clears all variables in this JIPTerm object.

unify

public final boolean unify(JIPTerm term,
            Hashtable varTable)

Unifies this JIPTerm object with the specified term. If this JIPTerm object unifies with the specified term this method unifies the terms and varTable will contains the variables that has been bound.

Parameters:

term - term to unify

varTable - the hashtable containing the variable that has been bound.

Returns:

true if the this object unify with the specified term.

getValue

public JIPTerm getValue()

toString

public String toString()

Returns a canonical representation of this JIPTerm object i.e. it ignores operator declarations. It has the same behaviour as write_canonical/1

Overrides:

toString in class Object

Returns:

a canonical representation of this JIPTerm object

toString

public String toString(JIPEngine engine)

Returns a string representation of this JIPTerm object using the operator declarations contained in JIPEngine object. It has the same behaviour as write/1

Parameters:

engine - the JIPEngine object containing operator declarations

Returns:

a string representation of this JIPTerm object

toStringq

public String toStringq(JIPEngine engine)

Returns a quoted string representation of this JIPTerm object using the operator declarations contained in JIPEngine object. It has the same behaviour as writeq/1

Parameters:

engine - the JIPEngine object containing operator declarations

Returns:

a string representation of this JIPTerm object

getVariables

public final JIPVariable[] getVariables()

Gets an array of JIPVariable objects containing the variables in this JIPTerm object

Returns:

an array of JIPVariable objects containing the variables in this JIPTerm object

See Also:

JIPVariable

getVariablesTable

public final Hashtable getVariablesTable()

Gets an hashtable of JIPVariable objects containing the variables in this JIPTerm object.
Variable names are the keys to access to the hashtable.

Returns:

an hashtable of JIPVariable objects containing the variables in this JIPTerm object.

See Also:

JIPVariable

equals

public boolean equals(Object obj)

Overrides:

equals in class Object