Home
last modified time | relevance | path

Searched refs:metaLevel (Results 1 – 25 of 31) sorted by relevance

12

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DdescentFunctions.cc35 metaLevel->downType(subject->getArgument(2), m, s2)) in metaSortLeq()
38 metaLevel->upBool(s1->component() == s2->component() in metaSortLeq()
157 metaLevel->downType(subject->getArgument(2), m, s2)) in metaSameKind()
182 d = metaLevel->upType(d->getSort(), qidMap); in metaLeastSort()
214 metaLevel->upTypeListSet(s->getOpDeclarations(), in metaMaximalAritySet()
313 metaLevel->downType(subject->getArgument(2), m, s2)) in metaGlbSorts()
368 d = metaLevel->upResultPair(objectContext->root(), m); in metaReduce()
386 DagNode* d = metaLevel->upResultPair(t, m); in metaNormalize()
509 DagNode* d = metaLevel->upResultPair(parse1, m); in metaParse()
517 DagNode* d = metaLevel->upAmbiguity(parse1, parse2, m); in metaParse()
[all …]
H A DascentFunctions.cc29 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpModule()
61 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpSorts()
67 metaLevel->upSorts(flat, pm->getFlatModule(), qidMap)); in metaUpSorts()
79 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpSubsortDecls()
97 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpOpDecls()
115 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpMbs()
121 metaLevel->upMbs(flat, pm->getFlatModule(), qidMap)); in metaUpMbs()
133 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpEqs()
139 metaLevel->upEqs(flat, pm->getFlatModule(), qidMap)); in metaUpEqs()
151 metaLevel->downBool(subject->getArgument(1), flat)) in metaUpRls()
[all …]
H A DinterpreterManagerSymbol.cc75 metaLevel = 0; in InterpreterManagerSymbol()
86 delete metaLevel; in ~InterpreterManagerSymbol()
94 if (metaLevel == 0) in okToBind()
95 metaLevel = new MetaLevel; in okToBind()
115 if (metaLevel == 0) in attachSymbol()
137 if (shareWith == 0 && metaLevel == 0) in copyAttachments()
142 metaLevel = 0; in copyAttachments()
147 metaLevel = new MetaLevel(orig->metaLevel, map); in copyAttachments()
194 metaLevel->postInterSymbolPass(); in postInterSymbolPass()
203 metaLevel->reset(); in reset()
[all …]
H A DmetaLevelOpSymbol.cc113 metaLevel = 0; in MetaLevelOpSymbol()
119 delete metaLevel; in ~MetaLevelOpSymbol()
127 if (metaLevel == 0) in okToBind()
128 metaLevel = new MetaLevel; in okToBind()
154 if (metaLevel == 0) in attachSymbol()
170 if (shareWith == 0 && metaLevel == 0) in copyAttachments()
177 metaLevel = 0; in copyAttachments()
182 metaLevel = new MetaLevel(orig->metaLevel, map); in copyAttachments()
236 metaLevel->postInterSymbolPass(); in postInterSymbolPass()
238 metaLevel = shareWith->metaLevel; in postInterSymbolPass()
[all …]
H A DmetaNarrow.cc62 metaLevel->downBound(subject->getArgument(4), maxDepth)) in makeNarrowingSequenceSearch()
92 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaNarrow()
115 result = metaLevel->upFailureTriple(); in metaNarrow()
122 result = metaLevel->upResultTriple(state->getStateDag(), in metaNarrow()
144 metaLevel->downBound(subject->getArgument(3), maxDepth) && in makeNarrowingSequenceSearch2()
145 metaLevel->downBool(subject->getArgument(4), singlePosition)) in makeNarrowingSequenceSearch2()
147 if (Term* s = metaLevel->downTerm(subject->getArgument(1), m)) in makeNarrowingSequenceSearch2()
171 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaNarrow2()
194 result = metaLevel->upFailurePair(); in metaNarrow2()
205 result = metaLevel->upResultPair(state->getStateDag(), m); in metaNarrow2()
[all …]
H A DmetaSearch.cc31 if (metaLevel->downQid(arg, qid)) in downSearchType()
83 metaLevel->downBound(subject->getArgument(5), maxDepth)) in makeRewriteSequenceSearch()
90 if (metaLevel->downCondition(subject->getArgument(3), m, condition)) in makeRewriteSequenceSearch()
114 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaSearch()
138 result = metaLevel->upFailureTriple(); in metaSearch()
164 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaSearchPath()
188 result = metaLevel->upFailureTrace(); in metaSearchPath()
194 result = metaLevel->upTrace(*state, m); in metaSearchPath()
243 if (metaLevel->isNat(metaVarNumber) && in makeSMT_RewriteSequenceSearch()
246 metaLevel->downBound(subject->getArgument(6), maxDepth)) in makeSMT_RewriteSequenceSearch()
[all …]
H A DmetaVariant.cc62 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaGetVariant2()
66 if (metaLevel->isNat(metaVarIndex) && in metaGetVariant2()
69 const mpz_class& varIndex = metaLevel->getNat(metaVarIndex); in metaGetVariant2()
78 if ((start = metaLevel->downTerm(subject->getArgument(1), m)) && in metaGetVariant2()
79 metaLevel->downTermList(subject->getArgument(2), m, blockerTerms)) in metaGetVariant2()
122 result = metaLevel->upNoVariant(incomplete); in metaGetVariant2()
169 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaVariantUnify2()
173 if (metaLevel->isNat(metaVarIndex) && in metaVariantUnify2()
176 const mpz_class& varIndex = metaLevel->getNat(metaVarIndex); in metaVariantUnify2()
189 if (!metaLevel->downTermList(subject->getArgument(2), m, blockerTerms)) in metaVariantUnify2()
[all …]
H A DmetaMatch.cc67 if (metaLevel->downCondition(subject->getArgument(3), m, condition)) in makeMatchSearchState()
94 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaMatch()
115 result = metaLevel->upNoMatchSubst(); in metaMatch()
126 result = metaLevel->upSubstitution(*substitution, in metaMatch()
147 if (metaLevel->downSaturate(subject->getArgument(4), minDepth) && in makeMatchSearchState2()
148 metaLevel->downBound(subject->getArgument(5), maxDepth)) in makeMatchSearchState2()
150 if (Term* p = metaLevel->downTerm(subject->getArgument(1), m)) in makeMatchSearchState2()
152 if (Term* s = metaLevel->downTerm(subject->getArgument(2), m)) in makeMatchSearchState2()
184 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaXmatch()
206 result = metaLevel->upNoMatchPair(); in metaXmatch()
[all …]
H A DmetaApply.cc62 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaApply()
78 if (metaLevel->downQid(subject->getArgument(2), label) && in metaApply()
86 if (Term* t = metaLevel->downTerm(subject->getArgument(1), m)) in metaApply()
124 result = metaLevel->upFailureTriple(); in metaApply()
153 result = metaLevel->upResultTriple(resultContext->root(), in metaApply()
174 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaXapply()
194 metaLevel->downBound(subject->getArgument(5), maxDepth) && in metaXapply()
195 metaLevel->downQid(subject->getArgument(2), label) && in metaXapply()
205 if (Term* t = metaLevel->downTerm(subject->getArgument(1), m)) in metaXapply()
245 result = metaLevel->upFailure4Tuple(); in metaXapply()
[all …]
H A DmetaUnify.cc54 if (MetaModule* m = metaLevel->downModule(subject->getArgument(0))) in metaUnify2()
58 if (metaLevel->isNat(metaVarIndex) && in metaUnify2()
59 metaLevel->downSaturate64(subject->getArgument(3), solutionNr) && in metaUnify2()
62 const mpz_class& varIndex = metaLevel->getNat(metaVarIndex); in metaUnify2()
69 if (!metaLevel->downUnificationProblem(subject->getArgument(1), lhs, rhs, m, disjoint)) in metaUnify2()
93 …result = disjoint ? metaLevel->upNoUnifierTriple(incomplete) : metaLevel->upNoUnifierPair(incomple… in metaUnify2()
103 metaLevel->upUnificationTriple(solution, variableInfo, lastVarIndex, m) : in metaUnify2()
104 metaLevel->upUnificationPair(solution, variableInfo, lastVarIndex, m); in metaUnify2()
H A DChangeLog20 * metaLevel.hh (M): updated decl for upVariant()
618 * metaLevel.hh (upNat): added
644 * metaLevel.hh: revert to PreModule
1010 * metaLevel.hh (isNat, getNat): added
1480 * metaLevel.cc: removed moduleCache hack
1550 * metaLevel.hh (upGroup): added
1787 * metaLevel.hh: made upDagNode() public
1909 * metaLevel.cc: removed #pragma
1912 * metaLevel.hh: removed #pragma
2156 * metaLevel.hh (downNat): deleted
[all …]
H A DmetaPreModule.cc47 MetaPreModule::MetaPreModule(int name, DagNode* moduleDag, MetaLevel* metaLevel, MetaModule* module… in MetaPreModule() argument
50 metaLevel(metaLevel), in MetaPreModule()
69 flatModule = metaLevel->downModule(moduleDag.getNode(), false, getOwner()); in getFlatModule()
H A DMakefile.in104 libmeta_a-metaLevel.$(OBJEXT) \
302 metaLevel.cc \
331 metaLevel.hh \
389 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libmeta_a-metaLevel.Po@am__quote@
424 libmeta_a-metaLevel.o: metaLevel.cc
425 …eta_a-metaLevel.o -MD -MP -MF $(DEPDIR)/libmeta_a-metaLevel.Tpo -c -o libmeta_a-metaLevel.o `test …
426 …stdepCXX_TRUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/libmeta_a-metaLevel.Tpo $(DEPDIR)/libmeta_a-metaLevel…
429 …$(AM_CXXFLAGS) $(CXXFLAGS) -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo '$(srcdir)/…
431 libmeta_a-metaLevel.obj: metaLevel.cc
432 …XFLAGS) $(CXXFLAGS) -MT libmeta_a-metaLevel.obj -MD -MP -MF $(DEPDIR)/libmeta_a-metaLevel.Tpo -c -…
[all …]
H A DmetaPreModule.hh38 …MetaPreModule(int name, DagNode* moduleDag, MetaLevel* metaLevel, MetaModule* module, Interpreter*…
59 MetaLevel* const metaLevel; member in MetaPreModule
H A DmetaLevelOpSymbol.hh157 MetaLevel* metaLevel; member in MetaLevelOpSymbol
164 Assert(metaLevel != 0, "null metaLevel"); in getMetaLevel()
165 return metaLevel; in getMetaLevel()
H A DMakefile.am25 metaLevel.cc \
54 metaLevel.hh \
/dports/games/xgalaga-sdl/xgalaga-sdl-2.1.1.0-sdl/src/
H A Dpaths.c491 al->enterdelay /= 1 + ((metaLevel -1) * .5); in new_alien()
496 if(metaLevel > 1) in new_alien()
497 al->steer /= 1 + ((metaLevel - 1) * .5); in new_alien()
H A Dmain.c227 metaLevel = 1; in init_aliens()
335 aliens[i].x += moves[aliens[i].dir][0] + metaLevel * moves[aliens[i].dir][0]/2; in do_enter()
336 aliens[i].y += moves[aliens[i].dir][1] + metaLevel * moves[aliens[i].dir][1]/2; in do_enter()
342 if(metaLevel > 1) in do_enter()
343 aliens[i].steer = aliens[i].steer / (1 + ((metaLevel - 1) * .5)); in do_enter()
374 if(diffy< 4 + (metaLevel * 2)) { in do_enter()
376 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
389 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
399 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
410 aliens[i].x += moves[aliens[i].dir][0] + metaLevel * moves[aliens[i].dir][0]/2; in do_enter()
[all …]
H A Ddata.h36 extern int level, metaLevel;
H A Ddata.c30 int level, metaLevel; variable
/dports/math/vtk6/VTK-6.2.0/IO/AMR/
H A DvtkAMRBaseReader.cxx457 unsigned int metaLevel; in LoadRequestedBlocks() local
459 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in LoadRequestedBlocks()
461 assert(level==metaLevel); in LoadRequestedBlocks()
508 unsigned int metaLevel; in AssignAndLoadBlocks() local
510 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in AssignAndLoadBlocks()
512 assert(level==metaLevel); in AssignAndLoadBlocks()
/dports/math/vtk8/VTK-8.2.0/IO/AMR/
H A DvtkAMRBaseReader.cxx507 unsigned int metaLevel; in LoadRequestedBlocks() local
509 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in LoadRequestedBlocks()
511 assert(level==metaLevel); in LoadRequestedBlocks()
558 unsigned int metaLevel; in AssignAndLoadBlocks() local
560 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in AssignAndLoadBlocks()
562 assert(level==metaLevel); in AssignAndLoadBlocks()
/dports/math/vtk9/VTK-9.1.0/IO/AMR/
H A DvtkAMRBaseReader.cxx495 unsigned int metaLevel; in LoadRequestedBlocks() local
497 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in LoadRequestedBlocks()
499 assert(level == metaLevel); in LoadRequestedBlocks()
546 unsigned int metaLevel; in AssignAndLoadBlocks() local
548 this->Metadata->GetAMRInfo()->ComputeIndexPair(blockIndex, metaLevel, metaIdx); in AssignAndLoadBlocks()
550 assert(level == metaLevel); in AssignAndLoadBlocks()
/dports/games/xgalaga/xgalaga-2.1.1.0/
H A Dmain.c275 metaLevel = 1; in init_aliens()
391 aliens[i].x += moves[aliens[i].dir][0] + metaLevel * moves[aliens[i].dir][0]/2; in do_enter()
392 aliens[i].y += moves[aliens[i].dir][1] + metaLevel * moves[aliens[i].dir][1]/2; in do_enter()
398 if(metaLevel > 1) in do_enter()
399 aliens[i].steer = aliens[i].steer / (1 + ((metaLevel - 1) * .5)); in do_enter()
430 if(diffy< 4 + (metaLevel * 2)) { in do_enter()
432 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
445 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
455 if(diffx < 4 + (metaLevel * 2)) { in do_enter()
466 aliens[i].x += moves[aliens[i].dir][0] + metaLevel * moves[aliens[i].dir][0]/2; in do_enter()
[all …]
H A Ddata.h25 extern int level, metaLevel;

12