Home
last modified time | relevance | path

Searched refs:conjunct (Results 1 – 25 of 463) sorted by relevance

12345678910>>...19

/dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/ghc-events-0.15.1/test/
H A Dmandelbrot-mmc-2011-06-14.eventlog.reference28 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 Dmandelbrot-mmc-2011-06-14.eventlog.reference28 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 DSetOfSymbol.cc66 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 DSymbolConjunct.cc56 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 DfunctionConstraint.c57 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 Dstructural.go40 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 Dunify.m13 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 Dsha1_inversion.cpp96 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 Dcnf_stream.cpp531 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 Dexpr.go61 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 Dlint-unnecessary-parens.rs9 fn foo(&self, conjunct: bool) -> bool { self.y && conjunct } in foo()
H A Dlint-unnecessary-parens.fixed9 fn foo(&self, conjunct: bool) -> bool { self.y && conjunct }
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dabstraction.cpp711 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 Dconjunction.go57 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 Dconjunction.go57 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 Dconjunction.go57 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 Dconjunction.go57 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 DKHMR-ANLONG.flt49 | (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 Dasserts.cpp98 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 Dwilson_facet.scl3 Wilson study in 'conjunct facets', Hexany based
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/sql/
H A Daggregate_check.cc884 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 DtemporalSymbol.hh48 DagNode* conjunct(Vector<DagNode*>& args) const;
/dports/devel/splint/splint-3.1.2/src/Headers/
H A DfunctionConstraint.h22 struct { functionConstraint op1; functionConstraint op2; } conjunct; member
/dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/
H A DConstantBitPropagation.cpp397 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 Dcontext.go187 conjunct, err := compile.Expr(&cfg.Config, r, pkgPath, x)
191 v := adt.Resolve(ctx, conjunct)

12345678910>>...19