Skip to content
Snippets Groups Projects

Resolve "Problem::check() more exhaustive"

Merged Joaquim Casals Buñuel requested to merge 289-problem-check-more-exhaustive into devel
Files
4
@@ -330,6 +330,11 @@ class Problem : public std::enable_shared_from_this<Problem>
@@ -330,6 +330,11 @@ class Problem : public std::enable_shared_from_this<Problem>
public:
public:
// Print and check ---------------------------------------
// Print and check ---------------------------------------
 
void print(int depth, //
 
std::ostream& stream ,
 
bool constr_by, //
 
bool metric, //
 
bool state_blocks) const;
/**
/**
* \brief print wolf tree
* \brief print wolf tree
* \param depth : levels to show ( 0: H, T, M : 1: H:S:p, T:F, M:L ; 2: T:F:C ; 3: T:F:C:f ; 4: T:F:C:f:c )
* \param depth : levels to show ( 0: H, T, M : 1: H:S:p, T:F, M:L ; 2: T:F:C ; 3: T:F:C:f ; 4: T:F:C:f:c )
@@ -345,11 +350,8 @@ class Problem : public std::enable_shared_from_this<Problem>
@@ -345,11 +350,8 @@ class Problem : public std::enable_shared_from_this<Problem>
bool constr_by = false, //
bool constr_by = false, //
bool metric = true, //
bool metric = true, //
bool state_blocks = false) const;
bool state_blocks = false) const;
std::string printToString(int depth = 4, //
bool check(int verbose_level) const;
bool constr_by = false, //
bool check(bool verbose, std::ostream& stream) const;
bool metric = true, //
bool state_blocks = false) const;
bool check(int verbose_level = 0) const;
};
};
@@ -394,7 +396,8 @@ inline wolf::SizeStd Problem::getFactorNotificationMapSize() const
@@ -394,7 +396,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
Loading