Home
last modified time | relevance | path

Searched refs:s1174 (Results 1 – 10 of 10) sorted by relevance

/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/
H A Ds1174.c67 s1174(SISLSurf *psurf,double estart[], in s1174() function
70 void s1174(psurf,estart,eend,enext,gpos,jstat) in s1174()
H A Dsh1762.c2671 s1174 (qo1->o1->s1, sstart, send, spar, spar, &kstat);
2695 s1174(qo1->o1->s1, sstart, send, spar2, spar2, &kstat);
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/include/
H A DsislP.h649 void s1174(SISLSurf *,double [],double [],double [],double [],int *);
2756 void s1174();
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/
H A Dccitt.gold1186 s1174 :: SBool = if s1114 then s1173 else s1172
1187 s1175 :: SBool = ~ s1174
1188 s1176 :: SBool = if s1148 then s1175 else s1174
H A Dcounts.gold1186 s1174 :: SWord8 = if s1170 then s1173 else s1172
1193 s1181 :: SWord8 = if s196 then s1174 else s1180
H A Dsha256HashBlock.gold1262 const SWord32 s1174 = s1160 ^ s1173;
1263 const SWord32 s1175 = s1170 + s1174;
H A Daes128Lib.gold1037 const SWord8 s1174 = s1168 ^ s1173;
1038 const SWord8 s1175 = s1166 ^ s1174;
H A Dlegato.gold1183 s1174 :: SWord8 = s1173 >>> 1
1184 s1175 :: SWord8 = s14 | s1174
1185 s1176 :: SWord8 = s16 & s1174
H A Dlegato_c.gold1267 const SWord8 s1174 = (s1170 >> 1) | (s1170 << 7);
1268 const SWord8 s1175 = 128 | s1174;
1269 const SWord8 s1176 = 127 & s1174;
/dports/lang/yap/yap-6.2.2/packages/CLPBN/clpbn/examples/School/
H A Dschool_128.yap1584 student(s1174).
8487 registration(r3979,c127,s1174).
8488 registration(r3980,c192,s1174).
8489 registration(r3981,c20,s1174).