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()