hlt.osf.base

Class ButnotSortExpression

java.lang.Object

hlt.osf.base.OsfExpression

hlt.osf.base.SortExpression

hlt.osf.base.BinarySortExpression

hlt.osf.base.ButnotSortExpression

All Implemented Interfaces:

Contextable

public class ButnotSortExpression
extends BinarySortExpression

This is the class of a 'butnot' sort expression. It consists of two sort expressions which are its arguments.

Constructor Summary

Constructors

Constructor and Description
ButnotSortExpression(SortExpression lhs, SortExpression rhs)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	displayForm() Returns the string form of this OSF expression according the display manager of its context.
byte	type() This returns the type of Boolean expression this sort expression is; one of: Context.SYM() if this is a sort symbol; Context.DIS() if this is a disjunctive sort; Context.NOT() if this is a negated sort expression; Context.AND() if this is a sort-expression conjunction; Context.OR () if this is a sort-expression disjunction; Context.BNT() if this is a sort-expression complementation.

Methods inherited from class hlt.osf.base.BinarySortExpression

lhs, rhs

Methods inherited from class hlt.osf.base.SortExpression

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

Methods inherited from class hlt.osf.base.OsfExpression

context, setContext

Methods inherited from class java.lang.Object

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

Constructor Detail

ButnotSortExpression

public ButnotSortExpression(SortExpression lhs,
                    SortExpression rhs)

Method Detail

type

public byte type()

Description copied from class: SortExpression

This returns the type of Boolean expression this sort expression is; one of:

• Context.SYM() if this is a sort symbol;
• Context.DIS() if this is a disjunctive sort;
• Context.NOT() if this is a negated sort expression;
• Context.AND() if this is a sort-expression conjunction;
• Context.OR () if this is a sort-expression disjunction;
• Context.BNT() if this is a sort-expression complementation.

Specified by:

type in class SortExpression

displayForm

public java.lang.String displayForm()

Description copied from class: OsfExpression

Returns the string form of this OSF expression according the display manager of its context.

Specified by:

displayForm in class OsfExpression