List sorts.
Definition at line 23 of file ListSort.java.
The declaration of the cons function of this list sort.
- Exceptions
-
Definition at line 56 of file ListSort.java.
58 return new FuncDecl(getContext(), Native.getDatatypeSortConstructor(getContext().nCtx(), getNativeObject(), 1));
The declaration of the head function of this list sort.
- Exceptions
-
Definition at line 75 of file ListSort.java.
77 return new FuncDecl(getContext(), Native.getDatatypeSortConstructorAccessor(getContext().nCtx(), getNativeObject(), 1, 0));
The declaration of the isCons function of this list sort.
- Exceptions
-
Definition at line 66 of file ListSort.java.
68 return new FuncDecl(getContext(), Native.getDatatypeSortRecognizer(getContext().nCtx(), getNativeObject(), 1));
The declaration of the isNil function of this list sort.
- Exceptions
-
Definition at line 47 of file ListSort.java.
49 return new FuncDecl(getContext(), Native.getDatatypeSortRecognizer(getContext().nCtx(), getNativeObject(), 0));
The empty list.
- Exceptions
-
Definition at line 38 of file ListSort.java.
Expr mkApp(FuncDecl f, Expr...args)
The declaration of the nil function of this list sort.
- Exceptions
-
Definition at line 29 of file ListSort.java.
Referenced by ListSort.getNil().
31 return new FuncDecl(getContext(), Native.getDatatypeSortConstructor(getContext().nCtx(), getNativeObject(), 0));
The declaration of the tail function of this list sort.
- Exceptions
-
Definition at line 84 of file ListSort.java.
86 return new FuncDecl(getContext(), Native.getDatatypeSortConstructorAccessor(getContext().nCtx(), getNativeObject(), 1, 1));