Home
last modified time | relevance | path

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 Dastv2_str.cc565 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 Dastv2_build.cc635 .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 Dastv2_parse.cc606 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 Dclingo.h2515 clingo_ast_attribute_guard, enumerator
H A Dclingo.hh1958 Guard = clingo_ast_attribute_guard,
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef478 clingo_ast_attribute_guard,
H A D_clingo.c2759 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.c1988 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()