public final class BottomTypeKey extends java.lang.Object implements IInputKey
Modifier and Type | Field and Description |
---|---|
static BottomTypeKey |
INSTANCE |
Modifier and Type | Method and Description |
---|---|
int |
getArity()
The width of tuples in this relation.
|
java.lang.String |
getPrettyPrintableName()
A user-friendly name that can be shown on screen for debug purposes, included in exceptions, etc.
|
java.lang.String |
getStringID()
An internal string identifier that can be used to uniquely identify to input key (relevant for distributed applications).
|
boolean |
isEnumerable()
Returns true iff instance tuples of the key can be enumerated.
|
public static final BottomTypeKey INSTANCE
public boolean isEnumerable()
IInputKey
If false, the runtime can only test tuple membership in the extensional relation identified by the key, but not enumerate member tuples in general.
isEnumerable
in interface IInputKey
public java.lang.String getStringID()
IInputKey
getStringID
in interface IInputKey
public java.lang.String getPrettyPrintableName()
IInputKey
getPrettyPrintableName
in interface IInputKey