Raptor.LogicParser.Formula
Class Tuple

java.lang.Object
  Raptor.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 pFirst, Term pSecond)
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 pFirst,
             Term pSecond)

Constructs a tuple.

Parameters:

pFirst - the Term that is the first in the tuple

pSecond - 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.