Datatype sorts.
Definition at line 23 of file DatatypeSort.java.
◆ getAccessors()
The constructor accessors.
- Exceptions
-
Definition at line 74 of file DatatypeSort.java.
78 FuncDecl[][] res =
new FuncDecl[n][];
79 for (
int i = 0; i < n; i++)
81 FuncDecl fd =
new FuncDecl(getContext(),
82 Native.getDatatypeSortConstructor(getContext().nCtx(),
83 getNativeObject(), i));
84 int ds = fd.getDomainSize();
85 FuncDecl[] tmp =
new FuncDecl[ds];
86 for (
int j = 0; j < ds; j++)
87 tmp[j] =
new FuncDecl(getContext(),
88 Native.getDatatypeSortConstructorAccessor(getContext()
89 .nCtx(), getNativeObject(), i, j));
◆ getConstructors()
The constructors.
- Exceptions
-
Definition at line 42 of file DatatypeSort.java.
45 FuncDecl[] res =
new FuncDecl[n];
46 for (
int i = 0; i < n; i++)
47 res[i] =
new FuncDecl(getContext(), Native.getDatatypeSortConstructor(
48 getContext().nCtx(), getNativeObject(), i));
◆ getNumConstructors()
int getNumConstructors |
( |
| ) |
|
|
inline |
◆ getRecognizers()
The recognizers.
- Exceptions
-
Definition at line 58 of file DatatypeSort.java.
61 FuncDecl[] res =
new FuncDecl[n];
62 for (
int i = 0; i < n; i++)
63 res[i] =
new FuncDecl(getContext(), Native.getDatatypeSortRecognizer(
64 getContext().nCtx(), getNativeObject(), i));