Home
last modified time | relevance | path

Searched refs:clingo_ast_attribute_type_string_array (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A Dcompile.py45 assert idx == _lib.clingo_ast_attribute_type_string_array
72 assert idx == _lib.clingo_ast_attribute_type_string_array
76 if idx == _lib.clingo_ast_attribute_type_string_array:
H A D_clingo.cdef456 clingo_ast_attribute_type_string_array = 6, //!< For an attribute of type "char const **".
H A D_clingo.c2997 int n = (clingo_ast_attribute_type_string_array) <= 0; in _cffi_const_clingo_ast_attribute_type_string_array()
2998 …*o = (unsigned long long)((clingo_ast_attribute_type_string_array) | 0); /* check that clingo_ast… in _cffi_const_clingo_ast_attribute_type_string_array()
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dast.py844 if attr_type == _lib.clingo_ast_attribute_type_string_array:
868 elif attr_type == _lib.clingo_ast_attribute_type_string_array:
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2490 clingo_ast_attribute_type_string_array = 6, //!< For an attribute of type "char const **". enumerator
H A Dclingo.hh3364 …if (cons.size <= i || cons.arguments[i].type != clingo_ast_attribute_type_string_array) { // NOLINT in construct()
3525 case clingo_ast_attribute_type_string_array: { in get()
3569 case clingo_ast_attribute_type_string_array: { in set()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc1393 case clingo_ast_attribute_type_string_array: { in clingo_ast_build()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2226 int n = (clingo_ast_attribute_type_string_array) <= 0; in _cffi_const_clingo_ast_attribute_type_string_array()
2227 …*o = (unsigned long long)((clingo_ast_attribute_type_string_array) | 0); /* check that clingo_ast… in _cffi_const_clingo_ast_attribute_type_string_array()