Searched refs:AtomUndefined (Results 1 – 14 of 14) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/app/clingo/tests/lua/ |
| H A D | logger.sol | 2 msg("AtomUndefined","<block>:1:10-11:_info:_atom_does_not_occur_in_any_rule_head:\n__b\n") msg("Ato…
|
| /dports/math/clingo/clingo-5.5.1/app/clingo/tests/python/ |
| H A D | logger.sol | 2 msg("AtomUndefined","<block>:1:10-11:_info:_atom_does_not_occur_in_any_rule_head:\n__b\n") msg("Ato…
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
| H A D | core.py | 26 AtomUndefined = _lib.clingo_warning_atom_undefined variable in MessageCode
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/ |
| H A D | logger.hh | 64 AtomUndefined = 2, enumerator
|
| /dports/lang/yap/yap-6.2.2/H/ |
| H A D | ratoms.h | 298 AtomUndefined = AtomAdjust(AtomUndefined);
|
| H A D | iatoms.h | 298 AtomUndefined = Yap_LookupAtom("undefined");
|
| H A D | tatoms.h | 592 #define AtomUndefined Yap_heap_regs->AtomUndefined_ macro
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
| H A D | program.cc | 276 GRINGO_REPORT(log, Warnings::AtomUndefined) in toGround()
|
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | gringo_app.cc | 102 logger_.enable(Warnings::AtomUndefined, !opts.wNoAtomUndef); in IncrementalControl()
|
| H A D | clingocontrol.cc | 160 logger_.enable(Warnings::AtomUndefined, !opts.wNoAtomUndef); in parse()
|
| /dports/math/clingo/clingo-5.5.1/libgringo/src/output/ |
| H A D | statements.cc | 571 GRINGO_REPORT(log, Warnings::AtomUndefined) in outputSymbols()
608 GRINGO_REPORT(log, Warnings::AtomUndefined) in outputSymbols()
|
| H A D | output.cc | 400 GRINGO_REPORT(log, Warnings::AtomUndefined) in checkOutPreds()
|
| /dports/lang/yap/yap-6.2.2/C/ |
| H A D | errors.c | 973 ti[0] = MkAtomTerm(AtomUndefined); in Yap_Error()
|
| /dports/math/clingo/clingo-5.5.1/libclingo/ |
| H A D | clingo.hh | 1753 AtomUndefined = clingo_warning_atom_undefined, enumerator
|