// FILE. . . . . /home/hak/hlt/src/hlt/osf/v0/sources/OsfV0Utilities.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hp-Dv7
// STARTED ON. . Fri Nov 02 23:01:30 2012

/**
 * This file defines classes used in the parser for the <a
 * href="OsfV0.html">OSF V0</a> language. It is part of its Jacc grammar
 * specification and is included by the main grammar file <a
 * href="OsfV0Grammar.html">OsgV0Grammar.grm</a> .
 *
 * @version     Last modified on Thu Dec 20 02:07:57 2012 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>
 */

/* ************************************************************************ */
/* ****************************** UTILITIES ******************************* */
/* ************************************************************************ */

class RawPsiTerm
  {
    String tag;
    SortExpression sort;
    Stack keys;
    Stack subterms;

    RawPsiTerm (String tag, SortExpression sort, Stack keys, Stack subterms)
      {
	this.tag = tag;
	this.sort = sort;
	this.keys = keys;
	this.subterms = subterms;
      }
  }

/* ************************************************************************ */
/* *************************** END OF UTILITIES *************************** */
/* ************************************************************************ */