jpl

Class JPLUtil

java.lang.Object

jpl.JPLUtil

public final class JPLUtil
extends Object

This class provides a bunch of static utility methods for the JPL High-Level Interface. Copyright (C) 1998 Fred Dushin

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.

Version:

$Revision: 1.1.1.1 $

Author:

Fred Dushin

Constructor Summary

Constructors

Constructor and Description
JPLUtil()

Method Summary

Modifier and Type	Method and Description
static Term	termArrayToList(Term[] t) Converts an array of Terms to a jpl.List (if there are one or more Terms in the array), or jpl.List.NIL if there are no Terms in the array.
static String	toString(Hashtable solution) converts a solution, in the form of a Hashtable, to a String.
static Term[]	toTermArray() Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8) Creates an array of Terms, holding Terms in parameter(s).
static Term[]	toTermArray(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9) Creates an array of Terms, holding Terms in parameter(s).

Methods inherited from class java.lang.Object

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

Constructor Detail

JPLUtil

public JPLUtil()

Method Detail

toTermArray

public static Term[] toTermArray()

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4,
                                 Term t5)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4,
                                 Term t5,
                                 Term t6)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4,
                                 Term t5,
                                 Term t6,
                                 Term t7)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4,
                                 Term t5,
                                 Term t6,
                                 Term t7,
                                 Term t8)

Creates an array of Terms, holding Terms in parameter(s).

toTermArray

public static Term[] toTermArray(Term t0,
                                 Term t1,
                                 Term t2,
                                 Term t3,
                                 Term t4,
                                 Term t5,
                                 Term t6,
                                 Term t7,
                                 Term t8,
                                 Term t9)

Creates an array of Terms, holding Terms in parameter(s).

termArrayToList

public static Term termArrayToList(Term[] t)

Converts an array of Terms to a jpl.List (if there are one or more Terms in the array), or jpl.List.NIL if there are no Terms in the array. (Since the end of a jpl.List is an Atom, the return type of this method must be Term, not List, for full generality.)

toString

public static String toString(Hashtable solution)

converts a solution, in the form of a Hashtable, to a String. This method is really only for testing

Parameters:

solution - The solution to stringify.