Home
last modified time | relevance | path

Searched refs:clingo_ast_attribute_terms (Results 1 – 9 of 9) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dastv2_str.cc421 auto const &terms = get<AST::ASTVec>(ast, clingo_ast_attribute_terms); in operator <<()
486 out << print_list<AST::ASTVec>(ast, clingo_ast_attribute_terms, "", ",", "", false) in operator <<()
498 out << print_list<AST::ASTVec>(ast, clingo_ast_attribute_terms, "", ",", "", false) in operator <<()
514 out << print_list<AST::ASTVec>(ast, clingo_ast_attribute_terms, "", ",", "", false) in operator <<()
528 auto const &terms = get<AST::ASTVec>(ast, clingo_ast_attribute_terms); in operator <<()
560 out << print_list<AST::ASTVec>(ast, clingo_ast_attribute_terms, "", ",", "", false) in operator <<()
602 for (auto const &y : get<AST::ASTVec>(ast, clingo_ast_attribute_terms)) { in operator <<()
675 << print_list<AST::ASTVec>(ast, clingo_ast_attribute_terms, ",", ",", "", false) in operator <<()
H A Dastv2_parse.cc84 … parseTermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms)), in parseStatement()
139 …yAtomDefinitionVec(parseTheoryTermDefinitionVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms)), in parseStatement()
294 auto const &terms = get<AST::ASTVec>(ast, clingo_ast_attribute_terms); in parseCSPAddTerm()
321 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()
325 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()
329 … parseTheoryOptermVec(get<AST::ASTVec>(ast, clingo_ast_attribute_terms))); in parseTheoryTerm()
562 … parseTermVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_terms)), in parseHdAggrElemVec()
574 … parseTermVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_terms)), in parseBdAggrElemVec()
584 … parseTheoryOptermVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_terms)), in parseTheoryElemVec()
596 parseTermVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_terms)), in parseCSPElemVec()
H A Dastv2_unpool.cc252 return unpool_cross(*ast, clingo_ast_attribute_terms); in unpool()
255 …return unpool_cross(*ast, clingo_ast_attribute_terms, clingo_ast_attribute_term, clingo_ast_attrib… in unpool()
288 return unpool_cross(*ast, clingo_ast_attribute_terms, clingo_ast_attribute_condition); in unpool()
314 …bute_body, clingo_ast_attribute_weight, clingo_ast_attribute_priority, clingo_ast_attribute_terms); in unpool()
H A Dastv2_build.cc188 get<AST::ASTVec>(*addterm, clingo_ast_attribute_terms).emplace_back(cspmulterms_.erase(b)); in cspaddterm()
194 .set(clingo_ast_attribute_terms, AST::ASTVec{cspmulterms_.erase(b)})); in cspaddterm()
281 .set(clingo_ast_attribute_terms, termvecs_.erase(termvec)) in bodyaggrelemvec()
293 .set(clingo_ast_attribute_terms, termvecs_.erase(termvec)) in headaggrelemvec()
315 .set(clingo_ast_attribute_terms, termvecs_.erase(termvec)) in cspelemvec()
449 .set(clingo_ast_attribute_terms, termvecs_.erase(cond)) in optimize()
537 .set(clingo_ast_attribute_terms, theoryoptermvecs_.erase(args))); in theorytermseq()
625 .set(clingo_ast_attribute_terms, theoryoptermvecs_.erase(opterms)) in theoryelems()
711 .set(clingo_ast_attribute_terms, std::move(x.first)) in theorydef()
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h2539 clingo_ast_attribute_terms, enumerator
H A Dclingo.hh1982 Terms = clingo_ast_attribute_terms,
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef502 clingo_ast_attribute_terms,
H A D_clingo.c2927 int n = (clingo_ast_attribute_terms) <= 0; in _cffi_const_clingo_ast_attribute_terms()
2928 …*o = (unsigned long long)((clingo_ast_attribute_terms) | 0); /* check that clingo_ast_attribute_t… in _cffi_const_clingo_ast_attribute_terms()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c2156 int n = (clingo_ast_attribute_terms) <= 0; in _cffi_const_clingo_ast_attribute_terms()
2157 …*o = (unsigned long long)((clingo_ast_attribute_terms) | 0); /* check that clingo_ast_attribute_t… in _cffi_const_clingo_ast_attribute_terms()