org.semanticweb.lp
Class NonEmptyListTerm

java.lang.Object
  org.semanticweb.lp.Term
      org.semanticweb.lp.ListTerm
          org.semanticweb.lp.NonEmptyListTerm

All Implemented Interfaces:

java.io.Serializable

public class NonEmptyListTerm

extends ListTerm

implements java.io.Serializable

Description of the Class

Author:

Administrator

See Also:

Serialized Form

Constructor Summary

NonEmptyListTerm()
Constructor for the NonEmptyListTerm object

NonEmptyListTerm(Term head, Term rest)
Constructor for the NonEmptyListTerm object

Method Summary

Term	getHead() Gets the head attribute of the NonEmptyListTerm object
Term	getRest() Gets the rest attribute of the NonEmptyListTerm object
void	setHead(Term head) Sets the head attribute of the NonEmptyListTerm object
void	setRest(Term rest) Sets the rest attribute of the NonEmptyListTerm object
java.lang.String	toString() Description of the Method
java.lang.String	toString1() Description of the Method

Methods inherited from class java.lang.Object

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

Constructor Detail

NonEmptyListTerm

public NonEmptyListTerm()

Constructor for the NonEmptyListTerm object

NonEmptyListTerm

public NonEmptyListTerm(Term head,
                        Term rest)

Constructor for the NonEmptyListTerm object

Parameters:

head - Description of the Parameter

rest - Description of the Parameter

Method Detail

getHead

public Term getHead()

Gets the head attribute of the NonEmptyListTerm object

Returns:

The head value

getRest

public Term getRest()

Gets the rest attribute of the NonEmptyListTerm object

Returns:

The rest value

setRest

public void setRest(Term rest)

Sets the rest attribute of the NonEmptyListTerm object

Parameters:

rest - The new rest value

setHead

public void setHead(Term head)

Sets the head attribute of the NonEmptyListTerm object

Parameters:

head - The new head value

toString

public java.lang.String toString()

Description of the Method

Returns:

Description of the Return Value

toString1

public java.lang.String toString1()

Description of the Method

Returns:

Description of the Return Value