Home
last modified time | relevance | path

Searched refs:Data_custom_val (Results 1 – 25 of 108) sorted by relevance

12345

/dports/math/z3/z3-z3-4.8.13/src/api/ml/
H A Dz3native_stubs.c.pre84 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 Dz3native_stubs.c.pre84 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 Dimage.h22 #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 Dimage.h22 #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 Dunixsupport.h46 #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 Dunixsupport.h46 #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 Dmlvalues.h251 #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 Dml_DocumentFragment.c57 GdomeDocumentFragment* res_ = *((GdomeDocumentFragment**) Data_custom_val(v)); in DocumentFragment_val()
76 *((GdomeDocumentFragment**) Data_custom_val(v)) = obj; in Val_DocumentFragment()
H A Dml_EntityReference.c57 GdomeEntityReference* res_ = *((GdomeEntityReference**) Data_custom_val(v)); in EntityReference_val()
76 *((GdomeEntityReference**) Data_custom_val(v)) = obj; in Val_EntityReference()
H A Dml_Comment.c57 GdomeComment* res_ = *((GdomeComment**) Data_custom_val(v)); in Comment_val()
76 *((GdomeComment**) Data_custom_val(v)) = obj; in Val_Comment()
H A Dml_CDATASection.c57 GdomeCDATASection* res_ = *((GdomeCDATASection**) Data_custom_val(v)); in CDATASection_val()
76 *((GdomeCDATASection**) Data_custom_val(v)) = obj; in Val_CDATASection()
H A Dml_NodeList.c57 GdomeNodeList* res_ = *((GdomeNodeList**) Data_custom_val(v)); in NodeList_val()
76 *((GdomeNodeList**) Data_custom_val(v)) = obj; in Val_NodeList()
H A Dml_Text.c57 GdomeText* res_ = *((GdomeText**) Data_custom_val(v)); in Text_val()
76 *((GdomeText**) Data_custom_val(v)) = obj; in Val_Text()
H A Dml_Notation.c57 GdomeNotation* res_ = *((GdomeNotation**) Data_custom_val(v)); in Notation_val()
76 *((GdomeNotation**) Data_custom_val(v)) = obj; in Val_Notation()
H A Dml_Entity.c57 GdomeEntity* res_ = *((GdomeEntity**) Data_custom_val(v)); in Entity_val()
76 *((GdomeEntity**) Data_custom_val(v)) = obj; in Val_Entity()
H A Dml_ProcessingInstruction.c57 GdomeProcessingInstruction* res_ = *((GdomeProcessingInstruction**) Data_custom_val(v)); in ProcessingInstruction_val()
76 *((GdomeProcessingInstruction**) Data_custom_val(v)) = obj; in Val_ProcessingInstruction()
H A Dml_Attr.c57 GdomeAttr* res_ = *((GdomeAttr**) Data_custom_val(v)); in Attr_val()
76 *((GdomeAttr**) Data_custom_val(v)) = obj; in Val_Attr()
H A Dml_DocumentType.c57 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 Dmlvalues.h291 #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 Dmlvalues.h291 #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 Dml_DOMString.c63 *((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 Dml_EventListener.c97 …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 Dml_EventTarget.c59 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 Dnat.h18 #define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos])
/dports/lang/ocaml-nox11/ocaml-4.05.0/otherlibs/num/
H A Dnat.h18 #define Digit_val(nat,pos) (((bng) Data_custom_val(nat))[pos])

12345