/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/ghc-events-0.15.1/test/ |
H A D | mandelbrot-mmc-2011-06-14.eventlog.reference | 28 102: End a parallel conjunct (dyn id) (size 8) 1664 11728597: cap 0: End par conjunct: 0x2527cf0 1672 12877888: cap 3: End par conjunct: 0x25151b0 1675 13341195: cap 2: End par conjunct: 0x2515150 1678 13501534: cap 3: End par conjunct: 0x2515270 1681 13596930: cap 1: End par conjunct: 0x2515210 1694 24076197: cap 2: End par conjunct: 0x25152d0 1697 24232905: cap 3: End par conjunct: 0x2515330 1700 24254811: cap 1: End par conjunct: 0x2515390 1703 24726721: cap 2: End par conjunct: 0x25153f0 [all …]
|
/dports/devel/hs-ghc-events/ghc-events-0.17.0/test/ |
H A D | mandelbrot-mmc-2011-06-14.eventlog.reference | 28 102: End a parallel conjunct (dyn id) (size 8) 1664 11728597: cap 0: End par conjunct: 0x2527cf0 1672 12877888: cap 3: End par conjunct: 0x25151b0 1675 13341195: cap 2: End par conjunct: 0x2515150 1678 13501534: cap 3: End par conjunct: 0x2515270 1681 13596930: cap 1: End par conjunct: 0x2515210 1694 24076197: cap 2: End par conjunct: 0x25152d0 1697 24232905: cap 3: End par conjunct: 0x2515330 1700 24254811: cap 1: End par conjunct: 0x2515390 1703 24726721: cap 2: End par conjunct: 0x25153f0 [all …]
|
/dports/net-mgmt/irrtoolset/irrtoolset-release-5.1.3/src/normalform/ |
H A D | SetOfSymbol.cc | 66 SymbolConjunctPtr conjunct; in operator <<() local 150 SymbolConjunct *conjunct; in splice() local 155 conjuncts.add(conjunct); in splice() 160 SymbolConjunctPtr conjunct; in operator |=() local 187 conjuncts.add(conjunct); in operator |=() 189 delete conjunct; in operator |=() 201 SymbolConjunctPtr conjunct; in operator ~() local 235 SymbolConjunctPtr conjunct; in operator =() local 244 conjuncts.add(conjunct); in operator =() 255 conjuncts.add(conjunct); in operator =() [all …]
|
H A D | SymbolConjunct.cc | 56 ostream& operator<<(ostream& stream, SymbolConjunct &conjunct) { in operator <<() argument 59 for (i = conjunct.symbols.first(); i; conjunct.symbols.next(i)) in operator <<() 60 stream << conjunct.symbols(i) << " "; in operator <<() 61 for (i = conjunct.notSymbols.first(); i; conjunct.notSymbols.next(i)) in operator <<() 62 stream << "not " << conjunct.symbols(i) << " "; in operator <<()
|
/dports/devel/splint/splint-3.1.2/src/ |
H A D | functionConstraint.c | 57 res->constraint.conjunct.op1 = f1; in functionConstraint_conjoin() 58 res->constraint.conjunct.op2 = f2; in functionConstraint_conjoin() 76 functionConstraint_unparse (p->constraint.conjunct.op1), in functionConstraint_unparse() 77 functionConstraint_unparse (p->constraint.conjunct.op2)); in functionConstraint_unparse() 123 (functionConstraint_getMetaStateConstraints (node->constraint.conjunct.op1), in functionConstraint_getMetaStateConstraints() 150 && (functionConstraint_hasBufferConstraint (node->constraint.conjunct.op1) in functionConstraint_hasBufferConstraint() 151 || functionConstraint_hasBufferConstraint (node->constraint.conjunct.op2))); in functionConstraint_hasBufferConstraint() 186 functionConstraint_copy (node->constraint.conjunct.op2)); in functionConstraint_copy() 212 functionConstraint_free (node->constraint.conjunct.op1); in functionConstraint_free() 213 functionConstraint_free (node->constraint.conjunct.op2); in functionConstraint_free() [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/subsume/ |
H A D | structural.go | 40 func (s *subsumer) conjunct(gt, lt adt.Conjunct) bool { func 62 return s.conjunct(a, s.c(b.Env, y.X)) 102 return s.conjunct(s.c(a.Env, x.X), b) 107 s.conjunct(s.c(a.Env, x.X), s.c(b.Env, y.X)) { 113 s.conjunct(s.c(a.Env, x.X), s.c(b.Env, y.X)) && 114 s.conjunct(s.c(a.Env, x.Index), s.c(b.Env, y.Index)) { 120 s.conjunct(s.c(a.Env, x.X), s.c(b.Env, r.X)) && 121 s.conjunct(s.c(a.Env, x.Lo), s.c(b.Env, r.Lo)) && 122 s.conjunct(s.c(a.Env, x.Hi), s.c(b.Env, r.Hi)) { 152 return s.conjunct(s.c(a.Env, x.X), s.c(b.Env, y.X)) [all …]
|
/dports/math/py-mathics/Mathics3-2.2.0/mathics/packages/analytica/ |
H A D | unify.m | 13 conjunct of the first. *) 19 (* check if "c" matches a conjunct of "h" or some fact similar to "c". *) 22 orelse[(MatchingState = hypothesis; conjunct[h, c]), 23 (MatchingState = Facts; conjunct[Facts[Head[c]], c ])]; 28 (* Check if the second argument matches a conjunct of the first. *) 30 conjunct[and[a_, b__], c_] := 31 orelse[conjunct[a, c], conjunct[and[b], c]]; 33 conjunct[h_, c_] := Block[{u},
|
/dports/math/cvc4/CVC4-1.7/examples/hashsmt/ |
H A D | sha1_inversion.cpp | 96 Expr conjunct = (cvc4digest[i] == hashsmt::cvc4_uint32(sha1digest[i])); in main() local 98 assertion = assertion.andExpr(conjunct); in main() 100 assertion = conjunct; in main()
|
/dports/math/cvc4/CVC4-1.7/src/prop/ |
H A D | cnf_stream.cpp | 531 for(TNode::const_iterator conjunct = node.begin(), node_end = node.end(); in convertAndAssertAnd() local 532 conjunct != node_end; ++conjunct ) { in convertAndAssertAnd() 533 PROOF(if (d_cnfProof) d_cnfProof->setCnfDependence(*conjunct, node);); in convertAndAssertAnd() 534 convertAndAssert(*conjunct, false); in convertAndAssertAnd() 565 for(TNode::const_iterator conjunct = node.begin(), node_end = node.end(); in convertAndAssertOr() local 566 conjunct != node_end; ++conjunct ) { in convertAndAssertOr() 567 PROOF(if (d_cnfProof) d_cnfProof->setCnfDependence((*conjunct).negate(), node.negate());); in convertAndAssertOr() 568 convertAndAssert(*conjunct, true); in convertAndAssertOr()
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/export/ |
H A D | expr.go | 61 a := []conjunct{} 63 a = append(a, conjunct{c, 0}) 70 return e.mergeValues(adt.InvalidLabel, nil, []conjunct{{c: c, up: 0}}, c) 85 func (x *exporter) mergeValues(label adt.Feature, src *adt.Vertex, a []conjunct, orig ...adt.Conjun… argument 291 x.conjuncts = append(x.conjuncts, conjunct{ 302 conjuncts []conjunct 305 type conjunct struct { struct
|
/dports/lang/rust/rustc-1.58.1-src/src/test/ui/lint/ |
H A D | lint-unnecessary-parens.rs | 9 fn foo(&self, conjunct: bool) -> bool { self.y && conjunct } in foo()
|
H A D | lint-unnecessary-parens.fixed | 9 fn foo(&self, conjunct: bool) -> bool { self.y && conjunct }
|
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
H A D | abstraction.cpp | 711 TNode conjunct = conjuncts[i]; in simplifyConflict() local 715 if (conjunct.getKind() == kind::EQUAL) { in simplifyConflict() 717 conjunct[1].getKind() == kind::CONST_BITVECTOR) { in simplifyConflict() 718 s = conjunct[0]; in simplifyConflict() 719 t = conjunct[1]; in simplifyConflict() 723 s = conjunct[1]; in simplifyConflict() 724 t = conjunct[0]; in simplifyConflict() 796 TNode conjunct = conflict[i]; in generalizeConflict() local 797 if (isAbstraction(conjunct)) { in generalizeConflict() 798 Assert (conjunct[0].getKind() == kind::APPLY_UF); in generalizeConflict() [all …]
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/blevesearch/bleve/v2/search/query/ |
H A D | conjunction.go | 57 for _, conjunct := range q.Conjuncts { 58 sr, err := conjunct.Searcher(i, m, options)
|
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 57 for _, conjunct := range q.Conjuncts { 58 sr, err := conjunct.Searcher(i, m, options)
|
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 57 for _, conjunct := range q.Conjuncts { 58 sr, err := conjunct.Searcher(i, m, options)
|
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/blevesearch/bleve/search/query/ |
H A D | conjunction.go | 57 for _, conjunct := range q.Conjuncts { 58 sr, err := conjunct.Searcher(i, m, options)
|
/dports/devel/m17n-db/m17n-db-1.8.0/FLT/ |
H A D | KHMR-ANLONG.flt | 49 | (1 with-conjunct) (2 Bl.Br 0xEE) 0x00 (3 vowel-and-sign *) |) 51 | (1 with-conjunct) 0x00 (2 vowel-and-sign *) |) 58 (with-conjunct 62 (2 conjunct)) 70 (2 conjunct)))) 128 (conjunct
|
/dports/devel/hyperscan/hyperscan-5.4.0/src/compiler/ |
H A D | asserts.cpp | 98 u32 conjunct(u32 flags1, u32 flags2) { in conjunct() function 136 const u32 flags_inc_in = conjunct(g[inEdge].assert_flags, in replaceAssertVertex() 154 const u32 flags_final = conjunct(g[outEdge].assert_flags, in replaceAssertVertex()
|
/dports/audio/py-music21/music21-7.1.0/music21/scale/scala/scl/ |
H A D | wilson_facet.scl | 3 Wilson study in 'conjunct facets', Hexany based
|
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/sql/ |
H A D | aggregate_check.cc | 884 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct() argument 887 if (conjunct->type() != Item::FUNC_ITEM) return; in analyze_conjunct() 888 const Item_func *cnj = static_cast<const Item_func *>(conjunct); in analyze_conjunct() 922 conjunct = cnj->arguments()[0]; in analyze_conjunct() 923 if (conjunct->type() != Item::FUNC_ITEM) return; in analyze_conjunct() 924 cnj = static_cast<const Item_func *>(conjunct); // Dive in NOT's argument. in analyze_conjunct()
|
/dports/lang/maude/maude-2.7.1/src/Higher/ |
H A D | temporalSymbol.hh | 48 DagNode* conjunct(Vector<DagNode*>& args) const;
|
/dports/devel/splint/splint-3.1.2/src/Headers/ |
H A D | functionConstraint.h | 22 struct { functionConstraint op1; functionConstraint op2; } conjunct; member
|
/dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/ |
H A D | ConstantBitPropagation.cpp | 397 ASTNode conjunct = in topLevelBothWays() local 399 conjunct = simplifier->applySubstitutionMap(conjunct); in topLevelBothWays() 402 nf->CreateNode(AND, result, conjunct); // conjoin the new conditions. in topLevelBothWays()
|
/dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/cue/ |
H A D | context.go | 187 conjunct, err := compile.Expr(&cfg.Config, r, pkgPath, x) 191 v := adt.Resolve(ctx, conjunct)
|