Searched refs:clingo_show_type_terms (Results 1 – 8 of 8) sorted by relevance
121 if (!print_model(model, data, " terms", clingo_show_type_terms)) { goto error; } in print_solution()
362 show |= _lib.clingo_show_type_terms
287 clingo_show_type_terms = 8, //!< Select all terms.290 … Select false instead of true atoms (::clingo_show_type_atoms) or terms (::clingo_show_type_terms).
3830 int n = (clingo_show_type_terms) <= 0; in _cffi_const_clingo_show_type_terms()3831 …*o = (unsigned long long)((clingo_show_type_terms) | 0); /* check that clingo_show_type_terms is … in _cffi_const_clingo_show_type_terms()
2015 clingo_show_type_terms = 8, //!< Select all terms. enumerator
1351 Terms = clingo_show_type_terms,
1557 if (lua_toboolean(L, -1)) { atomset |= clingo_show_type_terms; } in atoms()
3059 int n = (clingo_show_type_terms) <= 0; in _cffi_const_clingo_show_type_terms()3060 …*o = (unsigned long long)((clingo_show_type_terms) | 0); /* check that clingo_show_type_terms is … in _cffi_const_clingo_show_type_terms()