Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A Dcompile.py41 if idx == _lib.clingo_ast_attribute_type_optional_ast:
68 if idx == _lib.clingo_ast_attribute_type_optional_ast:
H A D_clingo.cdef455 clingo_ast_attribute_type_optional_ast = 5, //!< For an attribute of type "clingo_ast_t *" that can…
H A D_clingo.c2990 int n = (clingo_ast_attribute_type_optional_ast) <= 0; in _cffi_const_clingo_ast_attribute_type_optional_ast()
2991 …*o = (unsigned long long)((clingo_ast_attribute_type_optional_ast) | 0); /* check that clingo_ast… in _cffi_const_clingo_ast_attribute_type_optional_ast()
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dast.py839 if attr_type == _lib.clingo_ast_attribute_type_optional_ast:
863 elif attr_type == _lib.clingo_ast_attribute_type_optional_ast:
965 _lib.clingo_ast_attribute_type_optional_ast,
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2489clingo_ast_attribute_type_optional_ast = 5, //!< For an attribute of type "clingo_ast_t *" that ca… enumerator
H A Dclingo.hh3350 …if (cons.size <= i || cons.arguments[i].type != clingo_ast_attribute_type_optional_ast) { // NOLINT in construct()
3520 case clingo_ast_attribute_type_optional_ast: { in get()
3565 case clingo_ast_attribute_type_optional_ast: { in set()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc1389 case clingo_ast_attribute_type_optional_ast: { in clingo_ast_build()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2219 int n = (clingo_ast_attribute_type_optional_ast) <= 0; in _cffi_const_clingo_ast_attribute_type_optional_ast()
2220 …*o = (unsigned long long)((clingo_ast_attribute_type_optional_ast) | 0); /* check that clingo_ast… in _cffi_const_clingo_ast_attribute_type_optional_ast()