| /dports/math/clasp/clasp-3.3.5/libpotassco/src/ |
| H A D | match_basic_types.cpp | 42 void AbstractProgram::theoryTerm(Id_t, int) { throw std::logic_error("theory data not supported"); } in theoryTerm() argument
43 void AbstractProgram::theoryTerm(Id_t, const StringSpan&) { throw std::logic_error("theory data no… in theoryTerm() argument
44 void AbstractProgram::theoryTerm(Id_t, int, const IdSpan&) { throw std::logic_error("theory data no… in theoryTerm() argument
45 void AbstractProgram::theoryElement(Id_t, const IdSpan&, const LitSpan&) { throw std::logic_error("… in theoryElement() argument
46 void AbstractProgram::theoryAtom(Id_t, Id_t, const IdSpan&) { throw std::logic_error("theory data n… in theoryAtom() argument
47 void AbstractProgram::theoryAtom(Id_t, Id_t, const IdSpan&, Id_t, Id_t) { throw std::logic_error("t… in theoryAtom() argument
|
| /dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/ |
| H A D | match_basic_types.cpp | 42 void AbstractProgram::theoryTerm(Id_t, int) { throw std::logic_error("theory data not supported"); } in theoryTerm() argument
43 void AbstractProgram::theoryTerm(Id_t, const StringSpan&) { throw std::logic_error("theory data no… in theoryTerm() argument
44 void AbstractProgram::theoryTerm(Id_t, int, const IdSpan&) { throw std::logic_error("theory data no… in theoryTerm() argument
45 void AbstractProgram::theoryElement(Id_t, const IdSpan&, const LitSpan&) { throw std::logic_error("… in theoryElement() argument
46 void AbstractProgram::theoryAtom(Id_t, Id_t, const IdSpan&) { throw std::logic_error("theory data n… in theoryAtom() argument
47 void AbstractProgram::theoryAtom(Id_t, Id_t, const IdSpan&, Id_t, Id_t) { throw std::logic_error("t… in theoryAtom() argument
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/ |
| H A D | types.hh | 37 using Id_t = Potassco::Id_t; typedef
|
| H A D | backend.hh | 48 using Id_t = Potassco::Id_t; typedef in Gringo::Backend
|
| /dports/shells/ksh93-devel/ast-cc1bca27/src/lib/libast/string/ |
| H A D | fmtuid.c | 53 } Id_t; typedef
|
| H A D | fmtgid.c | 53 } Id_t; typedef
|
| H A D | struid.c | 56 } Id_t; typedef
|
| H A D | strgid.c | 60 } Id_t; typedef
|
| H A D | fmtfs.c | 54 } Id_t; typedef
|
| /dports/shells/ksh93/ast-93u/src/lib/libast/string/ |
| H A D | fmtgid.c | 53 } Id_t; typedef
|
| H A D | fmtuid.c | 53 } Id_t; typedef
|
| H A D | struid.c | 56 } Id_t; typedef
|
| H A D | strgid.c | 60 } Id_t; typedef
|
| H A D | fmtfs.c | 54 } Id_t; typedef
|
| /dports/shells/ast-ksh/ast-ksh93v/src/lib/libast/string/ |
| H A D | struid.c | 56 } Id_t; typedef
|
| H A D | fmtuid.c | 53 } Id_t; typedef
|
| H A D | fmtgid.c | 53 } Id_t; typedef
|
| H A D | strgid.c | 60 } Id_t; typedef
|
| H A D | fmtfs.c | 54 } Id_t; typedef
|
| /dports/math/clingo/clingo-5.5.1/libclingo/src/ |
| H A D | clingocontrol.cc | 109 void ClaspAPIBackend::theoryTerm(Potassco::Id_t, int) { } in theoryTerm()
111 void ClaspAPIBackend::theoryTerm(Potassco::Id_t, const Potassco::StringSpan&) { } in theoryTerm()
113 void ClaspAPIBackend::theoryTerm(Potassco::Id_t, int, const Potassco::IdSpan&) { } in theoryTerm()
122 void ClaspAPIBackend::theoryAtom(Potassco::Id_t, Potassco::Id_t, const Potassco::IdSpan&) { } in theoryAtom()
124 void ClaspAPIBackend::theoryAtom(Potassco::Id_t, Potassco::Id_t, const Potassco::IdSpan&, Potassco:… in theoryAtom()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang-tools-extra/clangd/index/dex/ |
| H A D | Iterator.cpp | 86 return OS;
|
| /dports/www/grafana8/xorm/ |
| H A D | tag_test.go | 53 Id_t int64 `xorm:"pk autoincr"` member
|
| /dports/math/clingo/clingo-5.5.1/libgringo/gringo/output/ |
| H A D | theory.hh | 46 using Id_t = Potassco::Id_t; typedef in Gringo::Output::TheoryOutput
|
| /dports/math/clasp/clasp-3.3.5/libpotassco/potassco/ |
| H A D | basic_types.h | 66 typedef uint32_t Id_t; typedef
|
| /dports/math/clingo/clingo-5.5.1/clasp/libpotassco/potassco/ |
| H A D | basic_types.h | 66 typedef uint32_t Id_t; typedef
|