Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A Dcompile.py39 if idx == _lib.clingo_ast_attribute_type_ast:
66 if idx == _lib.clingo_ast_attribute_type_ast:
H A D_clingo.cdef454 clingo_ast_attribute_type_ast = 4, //!< For an attribute of type "clingo_ast_t *".
H A D_clingo.c2983 int n = (clingo_ast_attribute_type_ast) <= 0; in _cffi_const_clingo_ast_attribute_type_ast()
2984 …*o = (unsigned long long)((clingo_ast_attribute_type_ast) | 0); /* check that clingo_ast_attribut… in _cffi_const_clingo_ast_attribute_type_ast()
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dast.py842 if attr_type == _lib.clingo_ast_attribute_type_ast:
866 elif attr_type == _lib.clingo_ast_attribute_type_ast:
964 if cons.arguments[j].type in (_lib.clingo_ast_attribute_type_ast,
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2488 clingo_ast_attribute_type_ast = 4, //!< For an attribute of type "clingo_ast_t *". enumerator
H A Dclingo.hh3343 if (cons.size <= i || cons.arguments[i].type != clingo_ast_attribute_type_ast) { // NOLINT in construct()
3515 case clingo_ast_attribute_type_ast: { in get()
3562 case clingo_ast_attribute_type_ast: { in set()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc1385 case clingo_ast_attribute_type_ast: { in clingo_ast_build()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2212 int n = (clingo_ast_attribute_type_ast) <= 0; in _cffi_const_clingo_ast_attribute_type_ast()
2213 …*o = (unsigned long long)((clingo_ast_attribute_type_ast) | 0); /* check that clingo_ast_attribut… in _cffi_const_clingo_ast_attribute_type_ast()