Searched refs:clingo_ast_attribute_type_symbol (Results 1 – 8 of 8) sorted by relevance
35 if idx == _lib.clingo_ast_attribute_type_symbol:62 if idx == _lib.clingo_ast_attribute_type_symbol:
451 clingo_ast_attribute_type_symbol = 1, //!< For an attribute of type "clingo_ast_symbol_t".
2962 int n = (clingo_ast_attribute_type_symbol) <= 0; in _cffi_const_clingo_ast_attribute_type_symbol()2963 …*o = (unsigned long long)((clingo_ast_attribute_type_symbol) | 0); /* check that clingo_ast_attri… in _cffi_const_clingo_ast_attribute_type_symbol()
833 if attr_type == _lib.clingo_ast_attribute_type_symbol:858 elif attr_type == _lib.clingo_ast_attribute_type_symbol:
2485 clingo_ast_attribute_type_symbol = 1, //!< For an attribute of type "clingo_ast_symbol_t". enumerator
3329 … if (cons.size <= i || cons.arguments[i].type != clingo_ast_attribute_type_symbol) { // NOLINT in construct()3500 case clingo_ast_attribute_type_symbol: { in get()3553 case clingo_ast_attribute_type_symbol: { in set()
1373 case clingo_ast_attribute_type_symbol: { in clingo_ast_build()
2191 int n = (clingo_ast_attribute_type_symbol) <= 0; in _cffi_const_clingo_ast_attribute_type_symbol()2192 …*o = (unsigned long long)((clingo_ast_attribute_type_symbol) | 0); /* check that clingo_ast_attri… in _cffi_const_clingo_ast_attribute_type_symbol()