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 D | astv2_str.cc | 421 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 D | astv2_parse.cc | 84 … 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 D | astv2_unpool.cc | 252 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 D | astv2_build.cc | 188 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 D | clingo.h | 2539 clingo_ast_attribute_terms, enumerator
|
H A D | clingo.hh | 1982 Terms = clingo_ast_attribute_terms,
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 502 clingo_ast_attribute_terms,
|
H A D | _clingo.c | 2927 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.c | 2156 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()
|