//  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;

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+">";
  }


}

This file was generated on Sat Aug 25 07:59:54 CEST 2018 from file FirstOrderTermPair.java
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci