/dports/math/z3/z3-z3-4.8.13/src/api/ml/ |
H A D | z3native_stubs.c.pre | 84 Z3_ ## X ## _plus * p = (Z3_ ## X ## _plus *) Data_custom_val(v); \ 160 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v); 170 Z3_context_plus cp1 = *(Z3_context_plus*)Data_custom_val(v1); 171 Z3_context_plus cp2 = *(Z3_context_plus*)Data_custom_val(v2); 176 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v1); 185 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v); 224 Z3_ast_plus * ap = (Z3_ast_plus*)(Data_custom_val(v)); 232 Z3_ast_plus * a1 = (Z3_ast_plus*)Data_custom_val(v1); 233 Z3_ast_plus * a2 = (Z3_ast_plus*)Data_custom_val(v2); 261 Z3_ast_plus * a1 = (Z3_ast_plus*)Data_custom_val(v1); [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ml/ |
H A D | z3native_stubs.c.pre | 84 Z3_ ## X ## _plus * p = (Z3_ ## X ## _plus *) Data_custom_val(v); \ 160 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v); 170 Z3_context_plus cp1 = *(Z3_context_plus*)Data_custom_val(v1); 171 Z3_context_plus cp2 = *(Z3_context_plus*)Data_custom_val(v2); 176 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v1); 185 Z3_context_plus cp = *(Z3_context_plus*)Data_custom_val(v); 224 Z3_ast_plus * ap = (Z3_ast_plus*)(Data_custom_val(v)); 232 Z3_ast_plus * a1 = (Z3_ast_plus*)Data_custom_val(v1); 233 Z3_ast_plus * a2 = (Z3_ast_plus*)Data_custom_val(v2); 261 Z3_ast_plus * a1 = (Z3_ast_plus*)Data_custom_val(v1); [all …]
|
/dports/lang/ocaml/ocaml-4.05.0/otherlibs/graph/ |
H A D | image.h | 22 #define Width_im(i) (((struct grimage *)Data_custom_val(i))->width) 23 #define Height_im(i) (((struct grimage *)Data_custom_val(i))->height) 24 #define Data_im(i) (((struct grimage *)Data_custom_val(i))->data) 25 #define Mask_im(i) (((struct grimage *)Data_custom_val(i))->mask)
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/otherlibs/graph/ |
H A D | image.h | 22 #define Width_im(i) (((struct grimage *)Data_custom_val(i))->width) 23 #define Height_im(i) (((struct grimage *)Data_custom_val(i))->height) 24 #define Data_im(i) (((struct grimage *)Data_custom_val(i))->data) 25 #define Mask_im(i) (((struct grimage *)Data_custom_val(i))->mask)
|
/dports/lang/ocaml/ocaml-4.05.0/otherlibs/win32unix/ |
H A D | unixsupport.h | 46 #define Handle_val(v) (((struct filedescr *) Data_custom_val(v))->fd.handle) 47 #define Socket_val(v) (((struct filedescr *) Data_custom_val(v))->fd.socket) 48 #define Descr_kind_val(v) (((struct filedescr *) Data_custom_val(v))->kind) 49 #define CRT_fd_val(v) (((struct filedescr *) Data_custom_val(v))->crt_fd) 50 #define Flags_fd_val(v) (((struct filedescr *) Data_custom_val(v))->flags_fd)
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/otherlibs/win32unix/ |
H A D | unixsupport.h | 46 #define Handle_val(v) (((struct filedescr *) Data_custom_val(v))->fd.handle) 47 #define Socket_val(v) (((struct filedescr *) Data_custom_val(v))->fd.socket) 48 #define Descr_kind_val(v) (((struct filedescr *) Data_custom_val(v))->kind) 49 #define CRT_fd_val(v) (((struct filedescr *) Data_custom_val(v))->crt_fd) 50 #define Flags_fd_val(v) (((struct filedescr *) Data_custom_val(v))->flags_fd)
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/front/caml/ |
H A D | mlvalues.h | 251 #define Data_custom_val(v) ((void *) &Field((v), 1)) macro 256 #define Int32_val(v) (*((int32 *) Data_custom_val(v))) 257 #define Nativeint_val(v) (*((long *) Data_custom_val(v))) 259 #define Int64_val(v) (*((int64 *) Data_custom_val(v)))
|
/dports/textproc/gmetadom/gmetadom-0.2.6/src/gdome_caml/core/ |
H A D | ml_DocumentFragment.c | 57 GdomeDocumentFragment* res_ = *((GdomeDocumentFragment**) Data_custom_val(v)); in DocumentFragment_val() 76 *((GdomeDocumentFragment**) Data_custom_val(v)) = obj; in Val_DocumentFragment()
|
H A D | ml_EntityReference.c | 57 GdomeEntityReference* res_ = *((GdomeEntityReference**) Data_custom_val(v)); in EntityReference_val() 76 *((GdomeEntityReference**) Data_custom_val(v)) = obj; in Val_EntityReference()
|
H A D | ml_Comment.c | 57 GdomeComment* res_ = *((GdomeComment**) Data_custom_val(v)); in Comment_val() 76 *((GdomeComment**) Data_custom_val(v)) = obj; in Val_Comment()
|
H A D | ml_CDATASection.c | 57 GdomeCDATASection* res_ = *((GdomeCDATASection**) Data_custom_val(v)); in CDATASection_val() 76 *((GdomeCDATASection**) Data_custom_val(v)) = obj; in Val_CDATASection()
|
H A D | ml_NodeList.c | 57 GdomeNodeList* res_ = *((GdomeNodeList**) Data_custom_val(v)); in NodeList_val() 76 *((GdomeNodeList**) Data_custom_val(v)) = obj; in Val_NodeList()
|
H A D | ml_Text.c | 57 GdomeText* res_ = *((GdomeText**) Data_custom_val(v)); in Text_val() 76 *((GdomeText**) Data_custom_val(v)) = obj; in Val_Text()
|
H A D | ml_Notation.c | 57 GdomeNotation* res_ = *((GdomeNotation**) Data_custom_val(v)); in Notation_val() 76 *((GdomeNotation**) Data_custom_val(v)) = obj; in Val_Notation()
|
H A D | ml_Entity.c | 57 GdomeEntity* res_ = *((GdomeEntity**) Data_custom_val(v)); in Entity_val() 76 *((GdomeEntity**) Data_custom_val(v)) = obj; in Val_Entity()
|
H A D | ml_ProcessingInstruction.c | 57 GdomeProcessingInstruction* res_ = *((GdomeProcessingInstruction**) Data_custom_val(v)); in ProcessingInstruction_val() 76 *((GdomeProcessingInstruction**) Data_custom_val(v)) = obj; in Val_ProcessingInstruction()
|
H A D | ml_Attr.c | 57 GdomeAttr* res_ = *((GdomeAttr**) Data_custom_val(v)); in Attr_val() 76 *((GdomeAttr**) Data_custom_val(v)) = obj; in Val_Attr()
|
H A D | ml_DocumentType.c | 57 GdomeDocumentType* res_ = *((GdomeDocumentType**) Data_custom_val(v)); in DocumentType_val() 76 *((GdomeDocumentType**) Data_custom_val(v)) = obj; in Val_DocumentType()
|
/dports/lang/ocaml/ocaml-4.05.0/byterun/caml/ |
H A D | mlvalues.h | 291 #define Data_custom_val(v) ((void *) &Field((v), 1)) macro 296 #define Int32_val(v) (*((int32_t *) Data_custom_val(v))) 297 #define Nativeint_val(v) (*((intnat *) Data_custom_val(v))) 299 #define Int64_val(v) (*((int64_t *) Data_custom_val(v)))
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/byterun/caml/ |
H A D | mlvalues.h | 291 #define Data_custom_val(v) ((void *) &Field((v), 1)) macro 296 #define Int32_val(v) (*((int32_t *) Data_custom_val(v))) 297 #define Nativeint_val(v) (*((intnat *) Data_custom_val(v))) 299 #define Int64_val(v) (*((int64_t *) Data_custom_val(v)))
|
/dports/textproc/gmetadom/gmetadom-0.2.6/src/gdome_caml/basic/ |
H A D | ml_DOMString.c | 63 *((GdomeDOMString**) Data_custom_val(v)) = str; in Val_DOMString() 71 GdomeDOMString* res_ = *((GdomeDOMString**) Data_custom_val(v)); in DOMString_val()
|
/dports/textproc/gmetadom/gmetadom-0.2.6/src/gdome_caml/events/ |
H A D | ml_EventListener.c | 97 …GdomeEventListener* listener = *((GdomeEventListener**) Data_custom_val(v)) = gdome_evntl_aux_mkre… in ml_gdome_evntl_create() 108 GdomeEventListener* listener = *((GdomeEventListener**) Data_custom_val(v)); in EventListener_val()
|
H A D | ml_EventTarget.c | 59 GdomeEventTarget* res_ = *((GdomeEventTarget**) Data_custom_val(v)); in EventTarget_val() 78 *((GdomeEventTarget**) Data_custom_val(v)) = obj; in Val_EventTarget()
|
/dports/lang/ocaml/ocaml-4.05.0/otherlibs/num/ |
H A D | nat.h | 18 #define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos])
|
/dports/lang/ocaml-nox11/ocaml-4.05.0/otherlibs/num/ |
H A D | nat.h | 18 #define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos])
|