Home
last modified time | relevance | path

Searched refs:falsen (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dextended_rewrite.cpp723 Node falsen = TermUtil::mkTypeValue(tn, 0); in extendedRewriteBcp() local
769 Node val = gpol == pol ? truen : falsen; in extendedRewriteBcp()
779 return gpol ? falsen : truen; in extendedRewriteBcp()
871 Assert(l.second == truen || l.second == falsen); in extendedRewriteBcp()
/dports/astro/opencpn/OpenCPN-5.2.4/src/
H A Dgeoref.cpp501 …const double falsen = z *log(tan(PI/4 + lat0 * DEGREE / 2)*pow((1. - e * s0)/(1. + e * s0), e/2.)… in toSM_ECC() local
503 *y = test - falsen; in toSM_ECC()
518 …const double falsen = z *log(tan(PI/4 + lat0 * DEGREE / 2)*pow((1. - e * s0)/(1. + e * s0), e/2.)); in fromSM_ECC() local
519 const double t = exp((y + falsen) / (z)); in fromSM_ECC()
/dports/devel/libfirm/libfirm-1.21.0/ir/lower/
H A Dlower_dw.c2215 ir_node *falsen = get_Mux_false(mux); in lower_Mux() local
2218 const lower64_entry_t *false_entry = get_node_entry(falsen); in lower_Mux()
/dports/security/md5deep/hashdeep-cd2ed74/tests/testfiles/dir_a/
H A Dweb268094 falsen
/dports/security/md5deep/hashdeep-cd2ed74/tests/testfiles/dir_c/
H A Dwords169591 falsen
381682 falsen
/dports/mail/thunderbird-dictionaries/dictionaries/spell-ca.xpi/
H A Dca.dic102350 falsen/C
/dports/games/tanglet/tanglet-1.6.0/wordlists/
H A Dca325113 falsen
H A Des349952 falsen
/dports/textproc/p5-Unicode-Tussle/Unicode-Tussle-1.111/data/
H A Dwords.utf8133732 falsen falsen [v.]