Searched refs:clingo_ast_attribute_condition (Results 1 – 9 of 9) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | astv2_unpool.cc | 192 return unpool_cross(*ast, clingo_ast_attribute_condition); in unpool_condition() 255 …cross(*ast, clingo_ast_attribute_terms, clingo_ast_attribute_term, clingo_ast_attribute_condition); in unpool() 276 … return unpool_cross(*ast, clingo_ast_attribute_literal, clingo_ast_attribute_condition); in unpool() 282 return unpool_cross(*ast, clingo_ast_attribute_condition); in unpool() 288 return unpool_cross(*ast, clingo_ast_attribute_terms, clingo_ast_attribute_condition); in unpool() 299 return unpool_cross(*ast, clingo_ast_attribute_condition); in unpool()
|
H A D | astv2_parse.cc | 550 … parseLiteralVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_condition))); in parseCondLitVec() 559 auto const &clit = get<SAST>(*ast, clingo_ast_attribute_condition); in parseHdAggrElemVec() 564 … parseLiteralVec(get<AST::ASTVec>(*clit, clingo_ast_attribute_condition))); in parseHdAggrElemVec() 575 … parseLiteralVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_condition))); in parseBdAggrElemVec() 585 … parseLiteralVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_condition))); in parseTheoryElemVec() 598 … parseLiteralVec(get<AST::ASTVec>(*ast, clingo_ast_attribute_condition))); in parseCSPElemVec() 697 … parseLiteralVec(get<AST::ASTVec>(*lit, clingo_ast_attribute_condition))); in parseBodyLiteralVec()
|
H A D | astv2_str.cc | 474 … << print_list<AST::ASTVec>(ast, clingo_ast_attribute_condition, ": ", ", ", "", false); in operator <<() 487 … << print_list<AST::ASTVec>(ast, clingo_ast_attribute_condition, ": ", ", ", "", false); in operator <<() 499 << ": " << print(ast, clingo_ast_attribute_condition); in operator <<() 516 … << print_list<AST::ASTVec>(ast, clingo_ast_attribute_condition, ": ", ", ", "", false); in operator <<() 561 … << print_list<AST::ASTVec>(ast, clingo_ast_attribute_condition, ": ", ", ", "", false); in operator <<()
|
H A D | astv2_build.cc | 267 .set(clingo_ast_attribute_condition, litvecs_.erase(litvecUid)); in condlit() 282 .set(clingo_ast_attribute_condition, litvecs_.erase(litvec))); in bodyaggrelemvec() 294 .set(clingo_ast_attribute_condition, condlit(litUid, litvec))); in headaggrelemvec() 317 .set(clingo_ast_attribute_condition, litvecs_.erase(litvec))); in cspelemvec() 626 .set(clingo_ast_attribute_condition, litvecs_.erase(cond))); in theoryelems()
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 2509 clingo_ast_attribute_condition, enumerator
|
H A D | clingo.hh | 1952 Condition = clingo_ast_attribute_condition,
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 472 clingo_ast_attribute_condition,
|
H A D | _clingo.c | 2717 int n = (clingo_ast_attribute_condition) <= 0; in _cffi_const_clingo_ast_attribute_condition() 2718 …*o = (unsigned long long)((clingo_ast_attribute_condition) | 0); /* check that clingo_ast_attribu… in _cffi_const_clingo_ast_attribute_condition()
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 1946 int n = (clingo_ast_attribute_condition) <= 0; in _cffi_const_clingo_ast_attribute_condition() 1947 …*o = (unsigned long long)((clingo_ast_attribute_condition) | 0); /* check that clingo_ast_attribu… in _cffi_const_clingo_ast_attribute_condition()
|