jpl

Class Tuple.Pair

java.lang.Object

jpl.Term

jpl.Compound

jpl.Tuple

jpl.Tuple.Pair

Enclosing class:

Tuple

public static class Tuple.Pair
extends Tuple

A Pair is a two-element Tuple

Nested Class Summary

Nested classes/interfaces inherited from class jpl.Tuple

Tuple.Pair

Field Summary

Fields inherited from class jpl.Compound

args_, atom_

Constructor Summary

Constructors

Constructor and Description
Pair(Term a, Term b)

Method Summary

Methods inherited from class jpl.Tuple

debugString, elt, toString

Methods inherited from class jpl.Compound

args, atom, computeSubstitution, equals, from_term_t, ith, put

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

Pair

public Pair(Term a,
            Term b)