up

A priority search queue and LRU cache.
git clone git://git.jtobin.io/up.git
Log | Files | Refs

up_zero.c (418B)


      1 #include "all.h"
      2 
      3 c3_o
      4 u3qdu_zero(u3_atom m, u3_noun k)
      5 {
      6   u3_atom h = u3r_mug(k);
      7   u3_atom d = u3qc_dis(m, h);
      8   u3_atom pro = ( d == 0 ) ? c3y : c3n;
      9 
     10   u3z(h);
     11   u3z(d);
     12 
     13   return pro;
     14 }
     15 
     16 u3_noun
     17 u3wdu_zero(u3_noun cor)
     18 {
     19   u3_noun m, k;
     20 
     21   if ( (c3n == u3r_mean(cor, u3x_sam_2, &m, u3x_sam_3, &k, 0)) ||
     22        (c3n == u3ud(m)) )
     23   {
     24     return u3m_bail(c3__exit);
     25   } else {
     26     return u3qdu_zero(m, k);
     27   }
     28 }
     29