Datatype sorts.
Definition at line 23 of file DatatypeSort.java.
The constructor accessors.
- Exceptions
-
Definition at line 69 of file DatatypeSort.java.
73 FuncDecl[][] res =
new FuncDecl[n][];
74 for (
int i = 0; i < n; i++)
76 FuncDecl fd =
new FuncDecl(getContext(),
77 Native.getDatatypeSortConstructor(getContext().nCtx(),
78 getNativeObject(), i));
79 int ds = fd.getDomainSize();
80 FuncDecl[] tmp =
new FuncDecl[ds];
81 for (
int j = 0; j < ds; j++)
82 tmp[j] =
new FuncDecl(getContext(),
83 Native.getDatatypeSortConstructorAccessor(getContext()
84 .nCtx(), getNativeObject(), i, j));
The constructors.
- Exceptions
-
Definition at line 39 of file DatatypeSort.java.
42 FuncDecl[] res =
new FuncDecl[n];
43 for (
int i = 0; i < n; i++)
44 res[i] =
new FuncDecl(getContext(), Native.getDatatypeSortConstructor(
45 getContext().nCtx(), getNativeObject(), i));
The recognizers.
- Exceptions
-
Definition at line 54 of file DatatypeSort.java.
57 FuncDecl[] res =
new FuncDecl[n];
58 for (
int i = 0; i < n; i++)
59 res[i] =
new FuncDecl(getContext(), Native.getDatatypeSortRecognizer(
60 getContext().nCtx(), getNativeObject(), i));