| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | expr_op.h | 54 int d_kind; variable
59 Op(const Expr& e): d_kind(APPLY), d_expr(e) { } in Op()
66 Op() : d_kind(NULL_KIND) { } in Op()
68 Op(int kind) : d_kind(kind), d_expr() in Op()
71 Op(const Op& op): d_kind(op.d_kind), d_expr(op.d_expr) { } in Op()
80 bool isNull() const { return d_kind == NULL_KIND; } in isNull()
82 int getKind() const { return d_kind; } in getKind()
85 { DebugAssert(d_kind == APPLY, "Expected APPLY"); return d_expr; } in getExpr()
91 return os << "Op(" << op.d_kind << " " << op.d_expr << ")";
94 return op1.d_kind == op2.d_kind && op1.d_expr == op2.d_expr;
|
| H A D | expr_value.h | 129 int d_kind;
212 virtual size_t computeHash() const { return hash(d_kind); } in computeHash()
230 d_flag(0), d_kind(kind), d_em(em) in d_index()
250 int getKind() const { return d_kind; } in getKind()
443 return ExprValue::hash(d_kind, d_children); in computeHash()
509 return ExprValue::hash(d_kind, d_children); in computeHash()
554 d_kind = APPLY; } in ExprApplyTmp()
579 d_kind = APPLY; } in ExprNode()
584 d_kind = APPLY; } in ExprNode()
834 return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind); in computeHash()
|
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | kind_map.h | 45 Kind d_kind; variable
49 d_kind(k) { in Accessor()
63 d_map.set(d_kind);
77 Kind d_kind; variable
85 d_kind(Kind(0)) { in iterator()
89 d_kind(k) { in iterator()
93 d_kind = Kind(uint64_t(d_kind) + 1); in iterator()
98 d_kind = Kind(uint64_t(d_kind) + 1);
101 d_kind = Kind(uint64_t(d_kind) + 1);
112 return d_kind;
[all …]
|
| H A D | chain.h | 30 Kind d_kind; variable
32 explicit Chain(Kind k) : d_kind(k) { } in Chain()
33 bool operator==(const Chain& ch) const { return d_kind == ch.d_kind; }
34 bool operator!=(const Chain& ch) const { return d_kind != ch.d_kind; }
35 Kind getOperator() const { return d_kind; } in getOperator()
|
| H A D | metakind_template.cpp | 58 switch(nv->d_kind) { in constHash()
61 Unhandled(::CVC4::expr::NodeValue::dKindToKind(nv->d_kind)); in constHash()
68 if(nv1->d_kind != nv2->d_kind) { in compare()
73 switch(nv1->d_kind) { in compare()
76 Unhandled(::CVC4::expr::NodeValue::dKindToKind(nv1->d_kind)); in compare()
108 switch(nv->d_kind) { in toStream()
111 Unhandled(::CVC4::expr::NodeValue::dKindToKind(nv->d_kind)); in toStream()
138 switch(nv->d_kind) { in deleteNodeValueConstant()
141 Unhandled(::CVC4::expr::NodeValue::dKindToKind(nv->d_kind)); in deleteNodeValueConstant()
|
| H A D | node_builder.h | 358 d_nv->d_kind = expr::NodeValue::kindToDKind(k); in collapseTo()
436 d_inlineNv.d_kind = nb.d_nv->d_kind; in NodeBuilder()
451 d_inlineNv.d_kind = nb.d_nv->d_kind; in NodeBuilder()
584 d_nv->d_kind = expr::NodeValue::kindToDKind(k);
762 d_inlineNv.d_kind = expr::NodeValue::kindToDKind(k); in clear()
810 d_nv->d_kind = d_inlineNv.d_kind; in realloc()
948 nv->d_kind = d_nv->d_kind; in constructNV()
1035 nv->d_kind = d_inlineNv.d_kind; in constructNV()
1138 nv->d_kind = d_nv->d_kind; in constructNV()
1214 nv->d_kind = d_inlineNv.d_kind; in constructNV()
[all …]
|
| H A D | pickle_data.h | 52 uint64_t d_kind : NBITS_KIND; member
56 uint64_t d_kind : NBITS_KIND; member
62 uint64_t d_kind : NBITS_KIND; member
67 uint64_t d_kind : NBITS_KIND; member
|
| H A D | pickler.cpp | 103 newHeader.d_headerOperator.d_kind = k; in mkOperatorHeader()
110 newHeader.d_header.d_kind = k; in mkVariableHeader()
116 newHeader.d_headerConstant.d_kind = k; in mkConstantHeader()
297 Kind k = (Kind)front.d_header.d_kind; in fromPickle()
372 Assert(header.d_headerConstant.d_kind == kind::CONST_BITVECTOR); in fromCaseConstant()
|
| H A D | node_value.h | 95 uint64_t d_kind : NBITS_KIND; variable
245 size_t hash = d_kind; in poolHash()
256 Kind getKind() const { return dKindToKind(d_kind); } in getKind()
407 d_kind(kind::NULL_EXPR), in NodeValue()
|
| /dports/math/cvc3/cvc3-2.4.1/src/expr/ |
| H A D | expr_value.cpp | 74 return (d_kind == ev2.d_kind); in operator ==()
81 return new(em->getMM(EXPR_VALUE)) ExprValue(em, d_kind, idx); in copy()
87 d_kind == ev2.getKind() && in operator ==()
98 return new(em->getMM(getMMIndex())) ExprNode(em, d_kind, children, idx); in copy()
100 return new(em->getMM(getMMIndex())) ExprNode(em, d_kind, d_children, idx); in copy()
127 return (d_kind == ev2.getKind()) in operator ==()
138 return new(em->getMM(getMMIndex())) ExprNode(em, d_kind, children, idx); in copy()
140 return new(em->getMM(getMMIndex())) ExprNode(em, d_kind, d_children, idx); in copy()
206 return new(em->getMM(getMMIndex())) ExprSymbol(em, d_kind, d_name, idx); in copy()
301 ExprClosure(em, d_kind, d_vars, d_body, d_manual_triggers, idx); in copy()
[all …]
|
| H A D | expr_op.cpp | 27 Op::Op(ExprManager* em, const Op& op) : d_kind(op.d_kind), d_expr() { in Op()
33 d_kind = op.d_kind; in operator =()
|
| /dports/math/cvc4/CVC4-1.7/test/unit/proof/ |
| H A D | drat_proof_black.h | 50 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_kind, ADDITION); in testParseOneAdd()
62 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_kind, ADDITION); in testParseOneMediumAdd()
74 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_kind, ADDITION); in testParseOneBigAdd()
106 TS_ASSERT_EQUALS(proof.getInstructions()[0].d_kind, DELETION); in testParseTwo()
113 TS_ASSERT_EQUALS(proof.getInstructions()[1].d_kind, ADDITION); in testParseTwo()
|
| /dports/x11/p5-X11-Protocol/X11-Protocol-0.56/Protocol/Ext/ |
| H A D | SHAPE.pm | 76 my($dst, $d_kind, $op, $x, $y, $src, $s_kind) = @_;
78 $d_kind = $self->num('ShapeKind', $d_kind);
80 return pack("CCCxLssL", $op, $d_kind, $s_kind, $dst, $x, $y, $src);
|
| /dports/math/cvc4/CVC4-1.7/src/proof/drat/ |
| H A D | drat_proof.cpp | 131 : d_kind(kind), d_clause(clause) in DratInstruction()
138 switch (d_kind) in outputAsText()
258 switch (i.d_kind) in outputAsLfsc()
|
| H A D | drat_proof.h | 66 DratInstructionKind d_kind; member
|
| /dports/dns/powerdns/pdns-4.5.2/pdns/ |
| H A D | filterpo.hh | 90 Policy(): d_ttl(0), d_kind(PolicyKind::NoAction), d_type(PolicyType::None) in Policy()
94 …rdContent>>& custom={}): d_custom(custom), d_zoneData(data), d_ttl(ttl), d_kind(kind), d_type(type) in Policy()
100 …return d_kind == rhs.d_kind && d_type == rhs.d_type && d_ttl == rhs.d_ttl && d_custom == rhs.d_cus… in operator ==()
154 …return (d_type != DNSFilterEngine::PolicyType::None && d_kind != DNSFilterEngine::PolicyKind::NoAc… in wasHit()
167 PolicyKind d_kind; member
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | sygus_invariance.h | 101 : d_kind(kind::UNDEFINED_KIND), d_is_conjunctive(false) in EvalSygusInvarianceTest()
128 Kind d_kind; variable
|
| H A D | sygus_explain.cpp | 31 d_kind.push_back(n.getKind()); in addTerm()
69 d_kind.pop_back(); in pop()
110 return NodeManager::currentNM()->mkNode(d_kind[d], children); in build()
|
| H A D | sygus_invariance.cpp | 38 d_kind = conj.getKind(); in init()
39 d_is_conjunctive = res.getConst<bool>() == (d_kind == AND); in init()
|
| H A D | sygus_explain.h | 80 std::vector<Kind> d_kind; variable
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/ |
| H A D | symmetry_detect.h | 109 : d_kind(kind::UNDEFINED_KIND), in PartitionMerger()
145 Kind d_kind;
|
| /dports/dns/powerdns/pdns-4.5.2/modules/bindbackend/ |
| H A D | bindbackend2.cc | 332 if (i.d_kind != DomainInfo::Master && this->alsoNotify.empty() && i.d_also_notify.empty()) in getUpdatedMasters()
383 di.kind = i.d_kind; in getAllDomains()
411 if (i.d_kind != DomainInfo::Slave) in getUnfreshSlaveInfos()
451 di.kind = bbd.d_kind; in getDomainInfo()
626 switch (info.d_kind) { in printDomainExtendedStatus()
964 bool kindChanged = (bbd.d_kind != kind); in loadConfig()
965 bbd.d_kind = kind; in loadConfig()
1382 bbd.d_kind = DomainInfo::Native; in createDomainEntry()
1420 bbd.d_kind = DomainInfo::Slave; in createSlaveDomain()
|
| /dports/devel/omniORB/omniORB-4.2.4/src/lib/omniORB/python3/omniidl_be/cxx/ |
| H A D | call.py | 1015 d_kind = d_type.kind()
1016 if d_kind in _arg_mapping:
1017 return _arg_mapping[d_kind][direction]
1019 assert d_kind == idltype.tk_struct or \
1020 d_kind == idltype.tk_union
|
| H A D | types.py | 234 d_kind = d_type.kind()
269 d_kind = type.kind()
270 if d_kind in basic_map_out:
271 return basic_map_out[d_kind]
|
| /dports/devel/omniORB/omniORB-4.2.4/src/lib/omniORB/python/omniidl_be/cxx/ |
| H A D | call.py | 1015 d_kind = d_type.kind()
1016 if _arg_mapping.has_key(d_kind):
1017 return _arg_mapping[d_kind][direction]
1019 assert d_kind == idltype.tk_struct or \
1020 d_kind == idltype.tk_union
|