| /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
160 SymbolConjunctPtr conjunct; in operator |=() local
201 SymbolConjunctPtr conjunct; in operator ~() local
235 SymbolConjunctPtr conjunct; in operator =() local
250 SymbolConjunctPtr conjunct; in operator =() local
271 SymbolConjunct *conjunct = new SymbolConjunct(sid); in add() local
274 SymbolConjunct *conjunct = conjuncts(conjuncts.first()); in add() local
|
| H A D | SymbolConjunct.cc | 56 ostream& operator<<(ostream& stream, SymbolConjunct &conjunct) { in operator <<()
|
| /dports/www/grafana8/grafana-8.3.6/vendor/cuelang.org/go/internal/core/export/ |
| H A D | expr.go | 85 func (x *exporter) mergeValues(label adt.Feature, src *adt.Vertex, a []conjunct, orig ...adt.Conjun…
305 type conjunct struct { struct
306 c adt.Conjunct
307 up int32
|
| /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
|
| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | functionConstraint.h | 22 struct { functionConstraint op1; functionConstraint op2; } conjunct; member
|
| /dports/lang/maude/maude-2.7.1/src/Higher/ |
| H A D | temporalSymbol.cc | 191 TemporalSymbol::conjunct(Vector<DagNode*>& args) const in conjunct() function in TemporalSymbol
|
| /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
|
| /dports/security/nmap/nmap-7.91/ |
| H A D | nse_main.lua | 758 …conjunct = V "value" * V "space"^0 * K "and" * V "space"^0 * V "expression" / function (a, b) retu… function
|
| /dports/devel/hyperscan/hyperscan-5.4.0/src/compiler/ |
| H A D | asserts.cpp | 98 u32 conjunct(u32 flags1, u32 flags2) { in conjunct() function
|
| /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
565 for(TNode::const_iterator conjunct = node.begin(), node_end = node.end(); in convertAndAssertOr() local
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Mapping/ViewGeneration/Structures/ |
| H A D | BoolExpression.cs | 371 BoolExpression conjunct) in AddConjunctionToBools()
|
| /dports/math/stp/stp-2.3.3/lib/Simplifier/constantBitP/ |
| H A D | ConstantBitPropagation.cpp | 397 ASTNode conjunct = in topLevelBothWays() local
|
| /dports/math/cvc4/CVC4-1.7/src/theory/bv/ |
| H A D | abstraction.cpp | 711 TNode conjunct = conjuncts[i]; in simplifyConflict() local
796 TNode conjunct = conflict[i]; in generalizeConflict() local
|
| /dports/math/stp/stp-2.3.3/lib/STPManager/ |
| H A D | STPManager.cpp | 491 ASTNode conjunct = defaultNodeFactory->CreateNode(AND, a); in getVectorOfAsserts() local
|
| /dports/databases/xtrabackup/percona-xtrabackup-2.4.21/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /dports/databases/mysql57-client/mysql-5.7.36/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/sql/ |
| H A D | aggregate_check.cc | 890 void Group_check::analyze_conjunct(Item *cond, Item *conjunct, in analyze_conjunct()
|
| /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()
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | proof_manager.cpp | 493 Node conjunct = (disjunction.getNumChildren() == 1) ? disjunction[0] : disjunction; in getWeakestImplicantInUnsatCore() local
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/ |
| H A D | bitvector_theorem_producer.cpp | 178 const Expr& conjunct = f[i]; in bitBlastEqnRule() local
6664 for (int conjunct = 0; conjunct < andEqOne[0].arity(); conjunct ++) in oneBVAND() local
|
| /dports/x11-toolkits/pango/pango-1.48.11/docs/PangoXft/ |
| H A D | index.json | 1 …":[{"type":"callback","name":"SubstituteFunc","ctype":"PangoXftSubstituteFunc","summary":"Function…
|
| /dports/x11-toolkits/gtk40/gtk-4.4.1/docs/reference/gdk/gdk4/ |
| H A D | index.json | 1 …type":"bitfield","name":"AnchorHints","ctype":"GdkAnchorHints","summary":"Positioning hints for al… array
|