Searched refs:clingo_ast_attribute_guard (Results 1 – 8 of 8) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | astv2_str.cc | 565 auto const *guard = get_opt_ast(ast, clingo_ast_attribute_guard); in operator <<() 591 auto const *guard = get_opt_ast(ast, clingo_ast_attribute_guard); in operator <<()
|
H A D | astv2_build.cc | 635 .set(clingo_ast_attribute_guard, OAST{SAST{nullptr}})); in theoryatom() 643 .set(clingo_ast_attribute_guard, OAST{ast(clingo_ast_type_theory_guard) in theoryatom() 679 .set(clingo_ast_attribute_guard, std::move(guard))); in theoryatomdef()
|
H A D | astv2_parse.cc | 606 auto const *guard = getOpt(ast, clingo_ast_attribute_guard); in parseTheoryAtom() 765 auto const *guard = getOpt(ast, clingo_ast_attribute_guard); in parseTheoryAtomDefinition()
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 2515 clingo_ast_attribute_guard, enumerator
|
H A D | clingo.hh | 1958 Guard = clingo_ast_attribute_guard,
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 478 clingo_ast_attribute_guard,
|
H A D | _clingo.c | 2759 int n = (clingo_ast_attribute_guard) <= 0; in _cffi_const_clingo_ast_attribute_guard() 2760 …*o = (unsigned long long)((clingo_ast_attribute_guard) | 0); /* check that clingo_ast_attribute_g… in _cffi_const_clingo_ast_attribute_guard()
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 1988 int n = (clingo_ast_attribute_guard) <= 0; in _cffi_const_clingo_ast_attribute_guard() 1989 …*o = (unsigned long long)((clingo_ast_attribute_guard) | 0); /* check that clingo_ast_attribute_g… in _cffi_const_clingo_ast_attribute_guard()
|