Searched refs:clingo_ast_constructor_t (Results 1 – 6 of 6) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.hh | 3314 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, int a… in construct() 3321 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, char … in construct() 3328 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, Symbo… in construct() 3335 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, Locat… in construct() 3342 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, Node … in construct() 3349 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, Optio… in construct() 3356 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, std::… in construct() 3363 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, std::… in construct() 3374 …static clingo_ast_t *construct(clingo_ast_type_t type, clingo_ast_constructor_t const &cons, Args&… in construct()
|
H A D | clingo.h | 2567 } clingo_ast_constructor_t; typedef 2571 clingo_ast_constructor_t const *constructors;
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 521 } clingo_ast_constructor_t; 523 clingo_ast_constructor_t const *constructors;
|
H A D | _clingo.c | 17889 static void _cffi_checkfld__clingo_ast_constructor_t(clingo_ast_constructor_t *p) in _cffi_checkfld__clingo_ast_constructor_t() 17897 struct _cffi_align__clingo_ast_constructor_t { char x; clingo_ast_constructor_t y; }; 17904 { clingo_ast_constructor_t const * *tmp = &p->constructors; (void)tmp; } in _cffi_checkfld__clingo_ast_constructors_t() 18551 { "name", offsetof(clingo_ast_constructor_t, name), 18552 sizeof(((clingo_ast_constructor_t *)0)->name), 18554 { "arguments", offsetof(clingo_ast_constructor_t, arguments), 18555 sizeof(((clingo_ast_constructor_t *)0)->arguments), 18557 { "size", offsetof(clingo_ast_constructor_t, size), 18558 sizeof(((clingo_ast_constructor_t *)0)->size), 18706 …sizeof(clingo_ast_constructor_t), offsetof(struct _cffi_align__clingo_ast_constructor_t, y), 12, 3…
|
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | control.cc | 1235 clingo_ast_constructor_t const clingo_ast_constructor_list[] = { 1298 …clingo_ast_constructor_list, sizeof(clingo_ast_constructor_list) / sizeof(clingo_ast_constructor_t)
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 17177 static void _cffi_checkfld__clingo_ast_constructor_t(clingo_ast_constructor_t *p) in _cffi_checkfld__clingo_ast_constructor_t() 17185 struct _cffi_align__clingo_ast_constructor_t { char x; clingo_ast_constructor_t y; }; 17192 { clingo_ast_constructor_t const * *tmp = &p->constructors; (void)tmp; } in _cffi_checkfld__clingo_ast_constructors_t() 17839 { "name", offsetof(clingo_ast_constructor_t, name), 17840 sizeof(((clingo_ast_constructor_t *)0)->name), 17842 { "arguments", offsetof(clingo_ast_constructor_t, arguments), 17843 sizeof(((clingo_ast_constructor_t *)0)->arguments), 17845 { "size", offsetof(clingo_ast_constructor_t, size), 17846 sizeof(((clingo_ast_constructor_t *)0)->size), 17994 …sizeof(clingo_ast_constructor_t), offsetof(struct _cffi_align__clingo_ast_constructor_t, y), 12, 3…
|