From b66cb3bd4dd41dd8edaa811c2f72b394aff513d4 Mon Sep 17 00:00:00 2001
From: Mateus Sanches Moura <msanches@iri.upc.edu>
Date: Thu, 23 Jan 2025 12:01:30 +0100
Subject: [PATCH] Resolve "Make print() and check() functions from LandmarkBase
virtual"
---
include/core/landmark/landmark_base.h | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/include/core/landmark/landmark_base.h b/include/core/landmark/landmark_base.h
index 41a301d53..dcdc446f4 100644
--- a/include/core/landmark/landmark_base.h
+++ b/include/core/landmark/landmark_base.h
@@ -160,15 +160,15 @@ class LandmarkBase : public NodeStateBlocks
std::ostream& stream,
std::string _tabs = "") const;
- void print(int depth, //
- bool factored_by, //
- bool metric, //
- bool state_blocks,
- std::ostream& stream = std::cout,
- std::string _tabs = "") const;
+ virtual void print(int depth, //
+ bool factored_by, //
+ bool metric, //
+ bool state_blocks,
+ std::ostream& stream = std::cout,
+ std::string _tabs = "") const;
virtual CheckLog localCheck(bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
- bool check(CheckLog& _log, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
+ virtual bool check(CheckLog& _log, bool _verbose, std::ostream& _stream, std::string _tabs = "") const;
private:
void setMap(const MapBasePtr _map_ptr);
--
GitLab