Skip to content

Commit 891e9d4

Browse files
committed
Add uses_assumptions attribute
1 parent 0ddd419 commit 891e9d4

File tree

4 files changed

+92
-11
lines changed

4 files changed

+92
-11
lines changed

connector.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -106,7 +106,7 @@ namespace Profiling {
106106

107107
void Connector::sendNode(int sid, int pid, int alt, int kids,
108108
NodeStatus status, const char* label, unsigned int thread, int restart,
109-
float domain, const std::string& nogood, int nogood_bld, const std::string& info) {
109+
float domain, const std::string& nogood, int nogood_bld, bool uses_assumptions, const std::string& info) {
110110
if (!_connected) return;
111111

112112
message::Node node;
@@ -126,6 +126,7 @@ namespace Profiling {
126126
// node.set_solution(solution);
127127
node.set_nogood(nogood);
128128
node.set_nogood_bld(nogood_bld);
129+
node.set_uses_assumptions(uses_assumptions);
129130
node.set_info(info);
130131

131132
sendOverSocket(node);

connector.hh

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,7 @@ namespace Profiling {
7777
float domain = -1,
7878
const std::string& nogood = "",
7979
int nogood_bld = -1,
80+
bool uses_assumptions = false,
8081
const std::string& info = "");
8182

8283
void sendNode(const Profiling::Node& node);
@@ -134,11 +135,16 @@ namespace Profiling {
134135
return *this;
135136
}
136137

137-
inline Node& set_nogood_bld(int nogood_bld) {
138+
inline Node& set_nogood_bld(int nogood_bld) {
138139
_node.set_nogood_bld(nogood_bld);
139140
return *this;
140141
}
141142

143+
inline Node& set_uses_assumptions(bool uses_assumptions) {
144+
_node.set_uses_assumptions(uses_assumptions);
145+
return *this;
146+
}
147+
142148
inline Node& set_info(const std::string& nogood) {
143149
_node.set_info(nogood);
144150
return *this;
@@ -166,6 +172,7 @@ namespace Profiling {
166172
<< _node.label() << ","
167173
<< _node.nogood() << ","
168174
<< _node.nogood_bld() << ","
175+
<< _node.uses_assumptions() << ","
169176
<< _node.info() << "\n";
170177
}
171178
};

message.pb.cpp

Lines changed: 48 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

message.pb.hh

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -316,6 +316,13 @@ class Node : public ::google::protobuf::Message {
316316
inline ::google::protobuf::int32 nogood_bld() const;
317317
inline void set_nogood_bld(::google::protobuf::int32 value);
318318

319+
// optional bool uses_assumptions = 16;
320+
inline bool has_uses_assumptions() const;
321+
inline void clear_uses_assumptions();
322+
static const int kUsesAssumptionsFieldNumber = 16;
323+
inline bool uses_assumptions() const;
324+
inline void set_uses_assumptions(bool value);
325+
319326
// @@protoc_insertion_point(class_scope:message.Node)
320327
private:
321328
inline void set_has_type();
@@ -348,6 +355,8 @@ class Node : public ::google::protobuf::Message {
348355
inline void clear_has_info();
349356
inline void set_has_nogood_bld();
350357
inline void clear_has_nogood_bld();
358+
inline void set_has_uses_assumptions();
359+
inline void clear_has_uses_assumptions();
351360

352361
::google::protobuf::UnknownFieldSet _unknown_fields_;
353362

@@ -368,6 +377,7 @@ class Node : public ::google::protobuf::Message {
368377
float domain_size_;
369378
::google::protobuf::int32 nogood_bld_;
370379
::std::string* info_;
380+
bool uses_assumptions_;
371381
friend void protobuf_AddDesc_message_2eproto();
372382
friend void protobuf_AssignDesc_message_2eproto();
373383
friend void protobuf_ShutdownFile_message_2eproto();
@@ -952,6 +962,30 @@ inline void Node::set_nogood_bld(::google::protobuf::int32 value) {
952962
// @@protoc_insertion_point(field_set:message.Node.nogood_bld)
953963
}
954964

965+
// optional bool uses_assumptions = 16;
966+
inline bool Node::has_uses_assumptions() const {
967+
return (_has_bits_[0] & 0x00008000u) != 0;
968+
}
969+
inline void Node::set_has_uses_assumptions() {
970+
_has_bits_[0] |= 0x00008000u;
971+
}
972+
inline void Node::clear_has_uses_assumptions() {
973+
_has_bits_[0] &= ~0x00008000u;
974+
}
975+
inline void Node::clear_uses_assumptions() {
976+
uses_assumptions_ = false;
977+
clear_has_uses_assumptions();
978+
}
979+
inline bool Node::uses_assumptions() const {
980+
// @@protoc_insertion_point(field_get:message.Node.uses_assumptions)
981+
return uses_assumptions_;
982+
}
983+
inline void Node::set_uses_assumptions(bool value) {
984+
set_has_uses_assumptions();
985+
uses_assumptions_ = value;
986+
// @@protoc_insertion_point(field_set:message.Node.uses_assumptions)
987+
}
988+
955989

956990
// @@protoc_insertion_point(namespace_scope)
957991

0 commit comments

Comments
 (0)