Searched refs:stringCmp (Results 1 – 4 of 4) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/SMT/ |
| H A D | SMTLib2.hs | 728 stringCmp swap o [a, b]
733 …stringCmp _ o sbvs = error $ "SBV.SMT.SMTLib2.sh.stringCmp: Unexpected arguments: " ++ show (o, sb… function
999 , (LessThan, stringCmp False "str.<")
1000 , (GreaterThan, stringCmp True "str.<")
1001 , (LessEq, stringCmp False "str.<=")
1002 , (GreaterEq, stringCmp True "str.<=")
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/cachegrind/ |
| H A D | cg_main.c | 186 static Word stringCmp( const void* key, const void* elem ) in stringCmp() function
1822 stringCmp, in cg_post_clo_init()
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/cachegrind/ |
| H A D | cg_main.c | 186 static Word stringCmp( const void* key, const void* elem ) in stringCmp() function
1822 stringCmp, in cg_post_clo_init()
|
| /dports/java/jlint/jlint-3.1.2/ |
| H A D | manual.texi | 1605 <TR><TH>stringCmp</TH><TD>stringCmp</TD></TR>
1726 @c LocalWords: shortCharCmp shortCharCmp stringCmp stringCmp weakCmp coln div
|