Home
last modified time | relevance | path

Searched refs:s1017 (Results 1 – 15 of 15) sorted by relevance

/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/doc/manual/func/
H A Ds1017.tex2 \funclabel{s1017}
12 \>void s1017(\begin{minipg3}
39 \>\>s1017(\begin{minipg4}
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/
H A Ds1017.c55 s1017 (SISLCurve * pc, SISLCurve ** rc, double apar, int *jstat) in s1017() function
58 s1017 (pc, rc, apar, jstat) in s1017()
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/doc/manual/
H A Dchap_curve_utilities.tex22 \input{func/s1017}
H A Dmanual.ind30 \item s1017(), 146
H A Dmanual.idx66 \indexentry{s1017()}{146}
H A Dmanual.aux200 \newlabel{s1017}{{5.3.2}{146}}
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/include/
H A Dsisl.h385 void GO_API s1017(SISLCurve *,SISLCurve **,double,int *);
1188 void s1017();
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/
H A Dcounts.gold1030 s1017 :: SWord8 = if s1010 then s1016 else s1015
1031 s1018 :: SWord8 = s33 + s1017
1032 s1019 :: SWord8 = if s1009 then s1018 else s1017
H A Dccitt.gold1029 s1017 :: SWord64 = s128 | s1016
1030 s1018 :: SWord64 = if s981 then s1017 else s1016
H A Dsha256HashBlock.gold1109 const SWord32 s1017 = s875 & s897;
1110 const SWord32 s1018 = s1016 ^ s1017;
H A Daes128Lib.gold880 const SWord8 s1017 = table3[s992];
884 const SWord8 s1021 = s1017 ^ s1020;
H A Dlegato.gold1026 s1017 :: SBool = s1015 | s1016
1030 s1021 :: SWord8 = if s1017 then s1019 else s1020
H A Dlegato_c.gold1110 const SBool s1017 = s1015 || s1016;
1114 const SWord8 s1021 = s1017 ? s1019 : s1020;
/dports/lang/yap/yap-6.2.2/packages/CLPBN/clpbn/examples/School/
H A Dschool_64.yap1235 student(s1017).
4680 registration(r3436,c66,s1017).
4681 registration(r3437,c29,s1017).
4682 registration(r3438,c92,s1017).
H A Dschool_128.yap1427 student(s1017).
7957 registration(r3449,c234,s1017).
7958 registration(r3450,c158,s1017).
7959 registration(r3451,c201,s1017).
7960 registration(r3452,c227,s1017).