public class term_t extends LongHolder
This library is free software; you can redistribute it and/or modify it under the terms of the GNU Library Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library Public License for more details.
Modifier and Type | Field and Description |
---|---|
static long |
UNASSIGNED |
value
Constructor and Description |
---|
term_t() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Instances of term_ts are stored in Term objects (see jpl.Term), and these term_ts are in some cases stored in Hashtables.
|
static java.lang.String |
toString(int n,
term_t term0)
This static method converts a term_t, which is assumed to contain a reference to a *consecutive* list of term_t references to a String representation of a list of terms, in this case, a comma
separated list.
|
equals
public static final long UNASSIGNED
public static java.lang.String toString(int n, term_t term0)
n
- the number of consecutive term_tsterm0
- a term_t whose value is the 0th term_t.public boolean equals(java.lang.Object obj)
Note. Two term_ts are *not* equal if their values have not been assigned. (Since Prolog FLI term_ts are unsigned values and the UNASSIGNED value is -1, this should work).
equals
in class java.lang.Object
obj
- the Object to comapre.