// FILE. . . . . /home/hak/hlt/src/hlt/osfv1/base/BinarySortExpression.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Mon Sep 02 09:12:38 2013

/**
 * @version     Last modified on Sun Sep 15 12:32:30 2013 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>
 */

package hlt.osf.base;

/**
 * This is the mother class of binary sorts expressions. It consists of
 * two sort expressions which are the two arguments.
 */
abstract public class BinarySortExpression extends SortExpression
  {
    BinarySortExpression (SortExpression lhs, SortExpression rhs)
    {
      _lhs = lhs;
      _rhs = rhs;
    }

    protected SortExpression _lhs;

    protected SortExpression _rhs;

    public SortExpression lhs ()
    {
      return _lhs;
    }

    public SortExpression rhs ()
    {
      return _rhs;
    }

  }