Searched refs:signum (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Main.C | 93 static void SIGINT_handler(int signum) { argument
|
/seL4-l4v-master/HOL4/src/rational/ |
H A D | fracScript.sml | 652 * signum, absolute value
|
H A D | ratScript.sml | 1261 * signum function
|
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
H A D | hol_defaxiomsScript.sml | 2167 |- signum x = itel [(zerop x,nat 0); (minusp x,int ~1)] (nat 1),
|
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | hol_defaxiomsScript.sml | 2137 |- signum x = itel [(zerop x,nat 0); (minusp x,int ~1)] (nat 1),
|
/seL4-l4v-master/HOL4/examples/acl2/ml/ |
H A D | hol_defaxiomsScript.sml | 2133 |- signum x = itel [(zerop x,nat 0); (minusp x,int ~1)] (nat 1),
|
Completed in 145 milliseconds