com.ugos.JIProlog.engine
Class JIPFunctor

java.lang.Object
  |
  +--com.ugos.JIProlog.engine.JIPTerm
        |
        +--com.ugos.JIProlog.engine.JIPFunctor

All Implemented Interfaces:

com.ugos.JIProlog.engine.Clearable, java.lang.Cloneable, java.io.Serializable

public class JIPFunctor

extends JIPTerm

JIPFunctor wraps a prolog functor

Version:

2.0

Author:

Ugo Chirico 2002
Home Page: http://www.ugosweb.com/jiprolog

See Also:

JIPTerm, Serialized Form

Method Summary

static JIPFunctor	create(java.lang.String strName, JIPCons params) Creates a new JIPFunctor object
int	getArity() Returns the arity of this JIPFunctor object
java.lang.String	getDefinition() Returns the definition name of this JIPfunctor object - /
java.lang.String	getName() Returns the name of this JIPfunctor object
JIPCons	getParams() Returns the list of parameters of this JIPFunctor object

Methods inherited from class com.ugos.JIProlog.engine.JIPTerm

clear, clone, getVariables, getVariablesTable, toString, toString, toStringq, unifiable, unify

Methods inherited from class java.lang.Object

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

Method Detail

create

public static final JIPFunctor create(java.lang.String strName,
                                      JIPCons params)

Creates a new JIPFunctor object

Parameters:

strName - the name of the functor

params - the list of parameters

Returns:

new JIPFunctor object

See Also:

JIPFunctor

getName

public final java.lang.String getName()

Returns the name of this JIPfunctor object

Returns:

name of this JIPFunctor object

getDefinition

public final java.lang.String getDefinition()

Returns the definition name of this JIPfunctor object - /

Returns:

definition name of this JIPFunctor object

getParams

public final JIPCons getParams()

Returns the list of parameters of this JIPFunctor object

Returns:

list of parameters of this JIPFunctor object or null if the functor doesn't have any parameter

See Also:

JIPCons

getArity

public final int getArity()

Returns the arity of this JIPFunctor object

Returns:

arity of this JIPFunctor object