public class SymbolSortExpression extends SortExpression
| Constructor and Description |
|---|
SymbolSortExpression(java.lang.String name)
Constructs a symbol sort expression with the given name.
|
SymbolSortExpression(java.lang.String name,
Context context)
Constructs a symbol sort expression with the given name and sets
its execution context to the given context.
|
| 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.
|
java.lang.String |
name() |
Sort |
sort() |
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.
|
isAnd, isButnot, isDisjunction, isNot, isOr, isParenthesized, isSymbol, maxLowerBound, setParenthesized, toString, valuecontext, setContextpublic SymbolSortExpression(java.lang.String name)
public SymbolSortExpression(java.lang.String name,
Context context)
public java.lang.String name()
public Sort sort()
public byte type()
SortExpressiontype in class SortExpressionpublic java.lang.String displayForm()
OsfExpressiondisplayForm in class OsfExpression