Searched refs:clingo_ast_unpool_type_condition (Results 1 – 7 of 7) sorted by relevance
159 auto pool = cond ? unpool(elem, clingo_ast_unpool_type_condition) : unpool(elem); in unpool_chain()281 if ((type & clingo_ast_unpool_type_condition) != 0) { in unpool()
3022 clingo_ast_unpool_type_condition = 1, //!< To only unpool conditions of conditional literals. enumerator
3692 type |= clingo_ast_unpool_type_condition; in unpool()
984 unpool_type |= _lib.clingo_ast_unpool_type_condition
571 clingo_ast_unpool_type_condition = 1, //!< To only unpool conditions of conditional literals.
3585 int n = (clingo_ast_unpool_type_condition) <= 0; in _cffi_const_clingo_ast_unpool_type_condition()3586 …*o = (unsigned long long)((clingo_ast_unpool_type_condition) | 0); /* check that clingo_ast_unpoo… in _cffi_const_clingo_ast_unpool_type_condition()
2814 int n = (clingo_ast_unpool_type_condition) <= 0; in _cffi_const_clingo_ast_unpool_type_condition()2815 …*o = (unsigned long long)((clingo_ast_unpool_type_condition) | 0); /* check that clingo_ast_unpoo… in _cffi_const_clingo_ast_unpool_type_condition()