BinarySortExpression (API documentation of hlt.language packages)
Date: 2013-01-30

hlt.osf.base

## Class BinarySortExpression

- java.lang.Object
- - hlt.osf.base.OsfExpression
  - - hlt.osf.base.SortExpression
    - - hlt.osf.base.BinarySortExpression

- All Implemented Interfaces:
    Contextable
  Direct Known Subclasses:
    AndSortExpression, ButnotSortExpression, OrSortExpression

      public abstract class BinarySortExpression
      extends SortExpression

  This is the mother class of binary sorts expressions. It consists of two sort expressions which are the two arguments.

- - ### Method Summary

    Methods
    Modifier and Type | Method and Description
    --- | ---
    `SortExpression` | `lhs()`
    `SortExpression` | `rhs()`

    - ### Methods inherited from class hlt.osf.base.SortExpression

      `isAnd, isButnot, isDisjunction, isNot, isOr, isParenthesized, isSymbol, maxLowerBound, setParenthesized, toString, type, value`

    - ### Methods inherited from class hlt.osf.base.OsfExpression

      `context, displayForm, setContext`

    - ### Methods inherited from class java.lang.Object

      `equals, getClass, hashCode, notify, notifyAll, wait, wait, wait`

- - ### Method Detail

    - #### lhs

          public SortExpression lhs()

    - #### rhs

          public SortExpression rhs()