com.ugos.jiprolog.engine

Class JIPFunctor

java.lang.Object

com.ugos.jiprolog.engine.JIPTerm

com.ugos.jiprolog.engine.JIPFunctor

All Implemented Interfaces:

Serializable, Cloneable

public class JIPFunctor
extends JIPTerm

JIPFunctor wraps a prolog functor

Version:

2.0

Author:

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

See Also:

JIPTerm, Serialized Form

Method Summary

Methods

Modifier and Type	Method and Description
static JIPFunctor	create(String strName, JIPCons params) Creates a new JIPFunctor object
int	getArity() Returns the arity of this JIPFunctor object
String	getDefinition() Returns the definition name of this JIPfunctor object - /
String	getName() Returns the name of this JIPfunctor object
JIPCons	getParams() Returns the list of parameters of this JIPFunctor object
JIPTerm	getTerm(int index) Returns the Atom of this JIPfunctor object

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

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

Methods inherited from class java.lang.Object

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

Method Detail

create

public static final JIPFunctor create(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 String getName()

Returns the name of this JIPfunctor object

Returns:

name of this JIPFunctor object

getTerm

public final JIPTerm getTerm(int index)

Returns the Atom of this JIPfunctor object

Returns:

atom of this JIPFunctor object

getDefinition

public final 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