Home
last modified time | relevance | path

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 Dastv2_unpool.cc192 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 Dastv2_parse.cc550 … 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 Dastv2_str.cc474 … << 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 Dastv2_build.cc267 .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 Dclingo.h2509 clingo_ast_attribute_condition, enumerator
H A Dclingo.hh1952 Condition = clingo_ast_attribute_condition,
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef472 clingo_ast_attribute_condition,
H A D_clingo.c2717 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.c1946 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()