Searched refs:clingo_theory_atoms_atom_term (Results 1 – 9 of 9) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/examples/c/ |
| H A D | theory-atoms.c | 134 if (!clingo_theory_atoms_atom_term(atoms, atom, &term)) { goto error; } in main()
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
| H A D | theory_atoms.py | 238 term = _c_call('clingo_id_t', _lib.clingo_theory_atoms_atom_term, self._rep, self._idx)
|
| /dports/math/clingo/clingo-5.5.1/libclingo/ |
| H A D | clingo.h | 854 CLINGO_VISIBILITY_DEFAULT bool clingo_theory_atoms_atom_term(clingo_theory_atoms_t const *atoms, cl…
|
| H A D | clingo.hh | 2604 Detail::handle_error(clingo_theory_atoms_atom_term(atoms_, id_, &ret)); in term()
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/ |
| H A D | _clingo.cdef | 124 bool clingo_theory_atoms_atom_term(clingo_theory_atoms_t const *atoms, clingo_id_t atom, clingo_id_…
|
| H A D | _clingo.c | 16832 return clingo_theory_atoms_atom_term(x0, x1, x2); in _cffi_d_clingo_theory_atoms_atom_term()
16876 { result = clingo_theory_atoms_atom_term(x0, x1, x2); } in _cffi_f_clingo_theory_atoms_atom_term()
|
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | control.cc | 498 extern "C" bool clingo_theory_atoms_atom_term(clingo_theory_atoms_t const *atoms, clingo_id_t value… in clingo_theory_atoms_atom_term() function
|
| /dports/math/clingo/clingo-5.5.1/libluaclingo/ |
| H A D | luaclingo.cc | 808 …return TheoryTerm::new_(L, self.atoms, call_c(L, clingo_theory_atoms_atom_term, self.atoms, self.i… in term()
|
| /dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
| H A D | _clingo.c | 16120 return clingo_theory_atoms_atom_term(x0, x1, x2); in _cffi_d_clingo_theory_atoms_atom_term()
16164 { result = clingo_theory_atoms_atom_term(x0, x1, x2); } in _cffi_f_clingo_theory_atoms_atom_term()
|