Skip to content
Snippets Groups Projects
Commit f4ab2fd6 authored by Joaquim Casals Buñuel's avatar Joaquim Casals Buñuel
Browse files

WIP add CheckLog, missing stateblock check

parent f70a1c25
No related branches found
No related tags found
1 merge request!340Resolve "Problem::check() more exhaustive"
Pipeline #4954 failed
...@@ -389,7 +389,8 @@ inline wolf::SizeStd Problem::getFactorNotificationMapSize() const ...@@ -389,7 +389,8 @@ inline wolf::SizeStd Problem::getFactorNotificationMapSize() const
return factor_notification_map_.size(); return factor_notification_map_.size();
} }
} // namespace wolf } // namespace wolf
#endif // PROBLEM_H #endif // PROBLEM_H
#ifndef CHECK_LOG_HPP
#define CHECK_LOG_HPP
#include <iostream>
#include <string>
class CheckLog {
public:
bool is_consistent_;
std::string explanation_;
CheckLog() {
is_consistent_ = true;
explanation_ = "";
}
CheckLog(bool consistent, std::string explanation) {
is_consistent_ = consistent;
if (not consistent)
explanation_ = explanation;
else
explanation_ = "";
}
~CheckLog(){};
void compose(CheckLog l) {
CheckLog result_log;
is_consistent_ = is_consistent_ and l.is_consistent_;
explanation_ = explanation_ + l.explanation_;
}
};
#endif
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment