| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/svgpic/ |
| H A D | for.c | 74 char *ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
76 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
79 pushsrc(Free, thenpart); in ifstat()
80 pushsrc(String, thenpart); in ifstat()
84 return thenpart; /* to be freed later */ in ifstat()
86 free(thenpart); in ifstat()
|
| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/grap/ |
| H A D | for.c | 68 char *ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
70 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
73 pushsrc(Free, thenpart); in ifstat()
74 pushsrc(String, thenpart); in ifstat()
78 return thenpart; /* to be freed later */ in ifstat()
80 free(thenpart); in ifstat()
|
| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/tpic/ |
| H A D | for.c | 73 ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
75 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
78 pushsrc(Free, thenpart); in ifstat()
79 pushsrc(String, thenpart); in ifstat()
83 return thenpart; /* to be freed later */ in ifstat()
85 free(thenpart); in ifstat()
|
| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/cmd/pic/ |
| H A D | for.c | 74 char *ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
76 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
79 pushsrc(Free, thenpart); in ifstat()
80 pushsrc(String, thenpart); in ifstat()
84 return thenpart; /* to be freed later */ in ifstat()
86 free(thenpart); in ifstat()
|
| /dports/textproc/heirloom-doctools/heirloom-doctools-160308/grap/ |
| H A D | for.c | 80 char *ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
82 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
85 pushsrc(Free, thenpart); in ifstat()
86 pushsrc(String, thenpart); in ifstat()
90 return thenpart; /* to be freed later */ in ifstat()
92 free(thenpart); in ifstat()
|
| /dports/textproc/heirloom-doctools/heirloom-doctools-160308/pic/ |
| H A D | for.c | 86 char *ifstat(double expr, char *thenpart, char *elsepart) in ifstat() argument
88 dprintf("if %g then <%s> else <%s>\n", expr, thenpart, elsepart? elsepart : ""); in ifstat()
91 pushsrc(Free, thenpart); in ifstat()
92 pushsrc(String, thenpart); in ifstat()
96 return thenpart; /* to be freed later */ in ifstat()
98 free(thenpart); in ifstat()
|
| /dports/math/py-brial/BRiAl-1.2.10/sage-brial/brial/ |
| H A D | check_claims.py | 92 it = ifthen.thenpart
133 it = ifthen.thenpart
|
| H A D | blocks.py | 345 def __init__(self, ifpart, thenpart, supposed_to_be_valid=True): argument
347 self.thenpart = [Polynomial(p) for p in thenpart]
352 + ")), THEN " + ", ".join([str(p) + " == 0" for p in self.thenpart
|
| /dports/math/brial/BRiAl-1.2.10/sage-brial/brial/ |
| H A D | check_claims.py | 92 it = ifthen.thenpart
133 it = ifthen.thenpart
|
| H A D | blocks.py | 345 def __init__(self, ifpart, thenpart, supposed_to_be_valid=True): argument
347 self.thenpart = [Polynomial(p) for p in thenpart]
352 + ")), THEN " + ", ".join([str(p) + " == 0" for p in self.thenpart
|
| /dports/devel/hs-cabal-install/cabal-cabal-install-3.4.0.0/cabal-install/Distribution/Deprecated/ |
| H A D | ParseUtils.hs | 501 ifelse (Section n "if" cond thenpart
504 | null thenpart = syntaxError n "'then' branch of 'if' is empty"
507 | otherwise = do tp <- ifelse thenpart
511 ifelse (Section n "if" cond thenpart:fs)
513 | null thenpart = syntaxError n "'then' branch of 'if' is empty"
514 | otherwise = do tp <- ifelse thenpart
|
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | theory_bv_type_rules.h | 203 TypeNode thenpart = n[1].getType(check); in computeType() local
213 if (thenpart != elsepart) in computeType()
219 return thenpart; in computeType()
|
| /dports/lang/ghc/ghc-8.10.7/libraries/Cabal/cabal-install/Distribution/Deprecated/ |
| H A D | ParseUtils.hs | 580 ifelse (Section n "if" cond thenpart
583 | null thenpart = syntaxError n "'then' branch of 'if' is empty"
586 | otherwise = do tp <- ifelse thenpart
590 ifelse (Section n "if" cond thenpart:fs)
592 | null thenpart = syntaxError n "'then' branch of 'if' is empty"
593 | otherwise = do tp <- ifelse thenpart
|
| /dports/shells/oksh/oksh-7.0/ |
| H A D | syn.c | 26 static struct op *thenpart(void);
353 t->right = thenpart(); in get_command()
440 thenpart(void) in thenpart() function
467 t->right = thenpart(); in elsepart()
|
| /dports/shells/pdksh/pdksh-5.2.14/ |
| H A D | syn.c | 22 static struct op *thenpart ARGS((void));
362 t->right = thenpart();
440 thenpart() in thenpart() function
467 t->right = thenpart(); in elsepart()
|
| /dports/math/stp/stp-2.3.3/lib/Interface/ |
| H A D | c_interface.cpp | 923 Expr vc_iteExpr(VC vc, Expr cond, Expr thenpart, Expr elsepart) in vc_iteExpr() argument
928 stp::ASTNode* t = (stp::ASTNode*)thenpart; in vc_iteExpr()
1397 Expr thenpart; in vc_bvVar32LeftShiftExpr() local
1411 thenpart = vc_bvExtract(vc, vc_bvLeftShiftExpr(vc, count, child), in vc_bvVar32LeftShiftExpr()
1414 ite = vc_iteExpr(vc, ifpart, thenpart, elsepart); in vc_bvVar32LeftShiftExpr()
1428 Expr thenpart; in vc_bvVar32DivByPowOfTwoExpr() local
1437 thenpart = vc_bvRightShiftExpr(vc, count, child); in vc_bvVar32DivByPowOfTwoExpr()
1438 ite = vc_iteExpr(vc, ifpart, thenpart, elsepart); in vc_bvVar32DivByPowOfTwoExpr()
1452 Expr thenpart; in vc_bvVar32RightShiftExpr() local
1467 thenpart = vc_bvRightShiftExpr(vc, count, child); in vc_bvVar32RightShiftExpr()
[all …]
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 757 Completeness thenpart = parseStatement(); in parseSimpleStatement()
758 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
763 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 805 Completeness thenpart = parseStatement(); in parseSimpleStatement()
806 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
811 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 757 Completeness thenpart = parseStatement(); in parseSimpleStatement()
758 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
763 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 805 Completeness thenpart = parseStatement(); in parseSimpleStatement()
806 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
811 return thenpart; in parseSimpleStatement()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/bitblast/ |
| H A D | bitblast_strategies_template.h | 813 std::vector<T> cond, thenpart, elsepart; in DefaultIteBB() local
815 bb->bbTerm(node[1], thenpart); in DefaultIteBB()
819 Assert(thenpart.size() == elsepart.size()); in DefaultIteBB()
821 for (unsigned i = 0; i < thenpart.size(); ++i) { in DefaultIteBB()
823 res.push_back(mkAnd(mkOr(mkNot(cond[0]),thenpart[i]),mkOr(cond[0],elsepart[i]))); in DefaultIteBB()
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 828 Completeness thenpart = parseStatement(); in parseSimpleStatement()
829 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
834 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 828 Completeness thenpart = parseStatement(); in parseSimpleStatement()
829 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
834 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 828 Completeness thenpart = parseStatement(); in parseSimpleStatement()
829 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
834 return thenpart; in parseSimpleStatement()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.jshell/share/classes/jdk/jshell/ |
| H A D | CompletenessAnalyzer.java | 828 Completeness thenpart = parseStatement(); in parseSimpleStatement()
829 if (shouldAbort(thenpart)) return thenpart; in parseSimpleStatement()
834 return thenpart; in parseSimpleStatement()
|