Home
last modified time | relevance | path

Searched refs:clingo_warning_atom_undefined (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/
H A Dcore.py26 AtomUndefined = _lib.clingo_warning_atom_undefined
/dports/math/clingo/clingo-5.5.1/libclingo/
H A Dclingo.h169 clingo_warning_atom_undefined = 2, //!< undefined atom in program enumerator
H A Dclingo.hh1753 AtomUndefined = clingo_warning_atom_undefined,
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A Dluaclingo.cc3267 …go_warning_operation_undefined, clingo_warning_runtime_error, clingo_warning_atom_undefined, cling… in addToRegistry()
3278 case clingo_warning_atom_undefined : { return "AtomUndefined"; } in field_()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D_clingo.cdef24 clingo_warning_atom_undefined = 2, //!< undefined atom in program
H A D_clingo.c4068 int n = (clingo_warning_atom_undefined) <= 0; in _cffi_const_clingo_warning_atom_undefined()
4069 …*o = (unsigned long long)((clingo_warning_atom_undefined) | 0); /* check that clingo_warning_atom… in _cffi_const_clingo_warning_atom_undefined()
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A Dcontrol.cc214 case clingo_warning_atom_undefined: { return "atom undefined"; } in clingo_warning_string()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D_clingo.c3297 int n = (clingo_warning_atom_undefined) <= 0; in _cffi_const_clingo_warning_atom_undefined()
3298 …*o = (unsigned long long)((clingo_warning_atom_undefined) | 0); /* check that clingo_warning_atom… in _cffi_const_clingo_warning_atom_undefined()