Pandora.LogicParser.Formula
Class Tuple

java.lang.Object
  Pandora.LogicParser.Formula.Tuple

All Implemented Interfaces:

java.io.Serializable

public class Tuple
extends java.lang.Object
implements java.io.Serializable

A Tuple of Terms.

See Also:

Serialized Form

Constructor Summary

Tuple(Term first, Term second)
Constructs a tuple.

Method Summary

Term	getFirst() Returns the first Term of the Tuple.
Term	getSecond() Returns the second Term of the Tuple.

Methods inherited from class java.lang.Object

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

Constructor Detail

Tuple

public Tuple(Term first,
             Term second)

Constructs a tuple.

Parameters:

first - the Term that is the first in the tuple

second - the Term that is the second in the tuple

Method Detail

getFirst

public Term getFirst()

Returns the first Term of the Tuple.

getSecond

public Term getSecond()

Returns the second Term of the Tuple.