Home
last modified time | relevance | path

Searched refs:mod_lt (Results 1 – 7 of 7) sorted by relevance

/dports/biology/ncbi-toolkit/ncbi/tools/
H A Dlookup.c339 ModLAEntry *mod_lt; in make_mod_lt() local
340 mod_lt=lookup->mod_lt; in make_mod_lt()
373 mod_lt[index].num_used = 0; in make_mod_lt()
389 mod_lt[index].num_used=count; in make_mod_lt()
397 mod_lt[index].num_used=count; in make_mod_lt()
423 ModLAEntry *mod_lt; in mb_make_mod_lt() local
424 mod_lt=lookup->mod_lt; in mb_make_mod_lt()
457 mod_lt[index].num_used = 0; in mb_make_mod_lt()
473 mod_lt[index].num_used=count; in mb_make_mod_lt()
657 if(lookup->mod_lt) in lookup_destruct()
[all …]
H A Dblast.c7098 ModLAEntry *mod_lt=lookup->mod_lt; in BlastWordFinder_contig() local
7150 num_hits = mod_lt[lookup_index].num_used; in BlastWordFinder_contig()
7151 lookup_pos = mod_lt[lookup_index].entries; in BlastWordFinder_contig()
7213 num_hits = mod_lt[lookup_index].num_used; in BlastWordFinder_contig()
7399 ModLAEntry *mod_lt=lookup->mod_lt; in BlastWordFinder_mh_contig() local
7559 num_hits = mod_lt[lookup_index].num_used; in BlastWordFinder_mh_contig()
8853 ModLAEntry *mod_lt=lookup->mod_lt; in BlastNtWordFinder_mh() local
8916 num_hits = mod_lt[lookup_index].num_used; in BlastNtWordFinder_mh()
9079 ModLAEntry *mod_lt=lookup->mod_lt; in BlastNtWordFinder() local
9152 num_hits = mod_lt[lookup_index].num_used; in BlastNtWordFinder()
[all …]
H A Drpsutil.h173 ModLAEntry *mod_lt; /* Lookup table for the sequence */ member
H A Ddotseq.c1035 ModLAEntry *mod_lt; in DOT_ComputeHits() local
1083 mod_lt = lookup->mod_lt; in DOT_ComputeHits()
1126 } while ((num_hits = mod_lt[lookup_index].num_used) == 0); in DOT_ComputeHits()
1128 lookup_pos = mod_lt[lookup_index].entries; in DOT_ComputeHits()
H A Drpsutil.c605 …rpsp->mod_lt = (ModLAEntry *) (rpsinfo->lookup->mmLookup->mmp_begin + rpsinfo->lookup->offsets[seq… in RPSGetSequenceEx()
608 (ModLookupPositionPtr) (rpsp->mod_lt + 1 + RPS_ARRAY_SIZE); in RPSGetSequenceEx()
845 lookup->mod_lt = rpseq->mod_lt; in RPSubstituteQueryLookup()
1981 search->wfp->lookup->mod_lt = NULL; in RPSBlastSearchLight()
2131 search->wfp->lookup->mod_lt = NULL; in RPSBlastSearch()
H A Dlookup.h429 ModLAEntry *mod_lt; /* The new&improved lookup table */ member
/dports/math/abella/abella-2.0.7/examples/misc/
H A Dwell-founded.thm110 Theorem mod_lt : forall N M R, mod N M R -> lt R M.
123 apply mod_total to H1 H5. apply mod_lt to H7. apply H4 to H8. %\