Searched refs:clingo_ast_type_aggregate (Results 1 – 10 of 10) sorted by relevance
292 case clingo_ast_type_aggregate: { in unpool()
631 case clingo_ast_type_aggregate: { in parseHeadLiteral()664 case clingo_ast_type_aggregate: { in parseBodyLiteralVec()
477 case clingo_ast_type_aggregate: { in operator <<()
349 return ast(clingo_ast_type_aggregate, loc) in aggr()
399 Aggregate = _lib.clingo_ast_type_aggregate1416 _lib.clingo_ast_type_aggregate, p_ast,
2440 clingo_ast_type_aggregate, enumerator
1900 Aggregate = clingo_ast_type_aggregate,
413 clingo_ast_type_aggregate,
3326 int n = (clingo_ast_type_aggregate) <= 0; in _cffi_const_clingo_ast_type_aggregate()3327 …*o = (unsigned long long)((clingo_ast_type_aggregate) | 0); /* check that clingo_ast_type_aggrega… in _cffi_const_clingo_ast_type_aggregate()
2555 int n = (clingo_ast_type_aggregate) <= 0; in _cffi_const_clingo_ast_type_aggregate()2556 …*o = (unsigned long long)((clingo_ast_type_aggregate) | 0); /* check that clingo_ast_type_aggrega… in _cffi_const_clingo_ast_type_aggregate()