jpl

Class List.Nil

java.lang.Object

jpl.Term

jpl.Atom

jpl.List.Nil

Enclosing class:

List

public static class List.Nil
extends Atom

The Nil class is used to terminate a List.

Field Summary

Fields inherited from class jpl.Atom

name_

Constructor Summary

Constructors

Constructor and Description
Nil()

Method Summary

Methods inherited from class jpl.Atom

computeSubstitution, debugString, equals, from_term_t, name, put, toString

Methods inherited from class jpl.Term

computeSubstitutions, debugString, from_term_t, terms_equals, terms_to_term_ts, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Nil

public Nil()