Searched refs:clingo_show_type_theory (Results 1 – 8 of 8) sorted by relevance
368 show |= _lib.clingo_show_type_theory
408 if (atomset & clingo_show_type_theory) { in atoms()
2016 clingo_show_type_theory = 16, //!< Select symbols added by theory. enumerator
1352 Theory = clingo_show_type_theory,
288 clingo_show_type_theory = 16, //!< Select symbols added by theory.
3837 int n = (clingo_show_type_theory) <= 0; in _cffi_const_clingo_show_type_theory()3838 …*o = (unsigned long long)((clingo_show_type_theory) | 0); /* check that clingo_show_type_theory i… in _cffi_const_clingo_show_type_theory()
1563 if (lua_toboolean(L, -1)) { atomset |= clingo_show_type_theory; } in atoms()
3066 int n = (clingo_show_type_theory) <= 0; in _cffi_const_clingo_show_type_theory()3067 …*o = (unsigned long long)((clingo_show_type_theory) | 0); /* check that clingo_show_type_theory i… in _cffi_const_clingo_show_type_theory()