| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | parser.cpp | 175 Literal SatReader::matchLit(Var max) { in matchLit() function in Clasp::SatReader
189 Literal lit = matchLit(maxVar); in parseGraph()
201 Literal x = matchLit(maxVar); in parseProject()
209 Literal x = matchLit(maxVar); in parseAssume()
217 Literal atom = matchLit(maxVar); in parseHeuristic()
221 ctx.heuristic.add(atom.var(), type, bias, prio, matchLit(maxVar)); in parseHeuristic()
225 Literal lo = matchLit(maxVar); in parseOutput()
226 Literal hi = matchLit(maxVar); in parseOutput()
231 Literal cond = matchLit(maxVar); in parseOutput()
258 Literal lit = matchLit(maxVar); in parseExt()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | parser.cpp | 175 Literal SatReader::matchLit(Var max) { in matchLit() function in Clasp::SatReader
189 Literal lit = matchLit(maxVar); in parseGraph()
201 Literal x = matchLit(maxVar); in parseProject()
209 Literal x = matchLit(maxVar); in parseAssume()
217 Literal atom = matchLit(maxVar); in parseHeuristic()
221 ctx.heuristic.add(atom.var(), type, bias, prio, matchLit(maxVar)); in parseHeuristic()
225 Literal lo = matchLit(maxVar); in parseOutput()
226 Literal hi = matchLit(maxVar); in parseOutput()
231 Literal cond = matchLit(maxVar); in parseOutput()
258 Literal lit = matchLit(maxVar); in parseExt()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | parser.cpp | 175 Literal SatReader::matchLit(Var max) { in matchLit() function in Clasp::SatReader
189 Literal lit = matchLit(maxVar); in parseGraph()
201 Literal x = matchLit(maxVar); in parseProject()
209 Literal x = matchLit(maxVar); in parseAssume()
217 Literal atom = matchLit(maxVar); in parseHeuristic()
221 ctx.heuristic.add(atom.var(), type, bias, prio, matchLit(maxVar)); in parseHeuristic()
225 Literal lo = matchLit(maxVar); in parseOutput()
226 Literal hi = matchLit(maxVar); in parseOutput()
231 Literal cond = matchLit(maxVar); in parseOutput()
258 Literal lit = matchLit(maxVar); in parseExt()
|
| /dports/math/clasp/clasp-3.3.5/libpotassco/potassco/ |
| H A D | match_basic_types.h | 122 inline Lit_t matchLit(BufferedStream& str, unsigned aMax = atomMax, const char* err = "literal expe…
130 wl.lit = matchLit(str, aMax, err);
221 …Lit_t matchLit(const char* err = "literal expected") { return Potassco::matchLit(*stream(), var…
|
| H A D | aspif_text.h | 62 Lit_t matchLit();
|
| /dports/math/clingo/clingo-5.5.1/clasp/libpotassco/potassco/ |
| H A D | match_basic_types.h | 122 inline Lit_t matchLit(BufferedStream& str, unsigned aMax = atomMax, const char* err = "literal expe…
130 wl.lit = matchLit(str, aMax, err);
221 …Lit_t matchLit(const char* err = "literal expected") { return Potassco::matchLit(*stream(), var…
|
| H A D | aspif_text.h | 62 Lit_t matchLit();
|
| /dports/math/clasp/clasp-3.3.5/libpotassco/src/ |
| H A D | aspif_text.cpp | 193 Lit_t x = matchLit(); in matchAtoms()
202 data_->rule.addGoal(matchLit()); in matchLits()
213 WeightLit_t wl = {matchLit(), 1}; in matchAgg()
222 Lit_t AspifTextInput::matchLit() { in matchLit() function in Potassco::AspifTextInput
|
| H A D | aspif.cpp | 133 …for (uint32_t len = matchPos("number of literals expected"); len--;) { rule_->addGoal(matchLit());… in matchLits()
|
| /dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/ |
| H A D | aspif_text.cpp | 193 Lit_t x = matchLit(); in matchAtoms()
202 data_->rule.addGoal(matchLit()); in matchLits()
213 WeightLit_t wl = {matchLit(), 1}; in matchAgg()
222 Lit_t AspifTextInput::matchLit() { in matchLit() function in Potassco::AspifTextInput
|
| H A D | aspif.cpp | 133 …for (uint32_t len = matchPos("number of literals expected"); len--;) { rule_->addGoal(matchLit());… in matchLits()
|
| /dports/math/clasp/clasp-3.3.5/clasp/ |
| H A D | parser.h | 141 Literal matchLit(Var max);
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
| H A D | parser.h | 141 Literal matchLit(Var max);
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | parser.h | 141 Literal matchLit(Var max);
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Reduce/ |
| H A D | Fast.hs | 1133 Lit l -> matchLit l $ matchCatchall $ failedMatch f stack ctrl
1182 matchLit l = Map.lookup l (flitBranches bs) `ifJust` \ cc -> function
|