//  FILE. . . . . d:/hak/hlt/src/hlt/fot/FirstOrderTermPair.java
//  EDIT BY . . . Hassan Ait-Kaci
//  ON MACHINE. . Hak-Laptop
//  STARTED ON. . Mon Jul 30 09:02:51 2018

package hlt.fot;

/**
 * This is a class for pairs of first-order terms defined on a signature
 * of <a href="Functor.html"><tt>Functor</tt></a>s.
 *
 * @see         FirstOrderTerm
 * @see         Functor
 *
 * @version     Last modified on Mon Aug 13 07:46:18 2018 by hak
 * @author      <a href="mailto:hak@acm.org">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a>
 */

public class FirstOrderTermPair
{
  /* ************************************************************************ */

  protected FirstOrderTerm left;
  protected FirstOrderTerm right;

  public FirstOrderTermPair (FirstOrderTerm left, FirstOrderTerm right)
  {
    this.left = left;
    this.right = right;
  }

  public FirstOrderTerm left ()
  {
    return left;
  }

  public FirstOrderTerm right ()
  {
    return right;
  }

  public String toString ()
  {
    return "<"+left+","+right+">";
  }


}