Home
last modified time | relevance | path

Searched refs:clingo_ast_constructor_t (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.hh3314 …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 Dclingo.h2567 } clingo_ast_constructor_t; typedef
2571 clingo_ast_constructor_t const *constructors;
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef521 } clingo_ast_constructor_t;
523 clingo_ast_constructor_t const *constructors;
H A D_clingo.c17889 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 Dcontrol.cc1235 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.c17177 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…