From 0d4e93a4ec9df9d9e3fc35ca4299dd44d21c486b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 11 Mar 2024 17:38:13 +0100 Subject: [PATCH] [buddy] add missing typedefs to minterm_iterator * src/bddx.h: Here. --- buddy/src/bddx.h | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/buddy/src/bddx.h b/buddy/src/bddx.h index b3cb377a1..72c0fa863 100644 --- a/buddy/src/bddx.h +++ b/buddy/src/bddx.h @@ -1,5 +1,5 @@ /*======================================================================== - Copyright (C) 1996-2003, 2021 by Jorn Lind-Nielsen + Copyright (C) 1996-2003 by Jorn Lind-Nielsen All rights reserved Permission is hereby granted, without written agreement and without @@ -502,6 +502,7 @@ BUDDY_API_VAR const BDD bddtrue; #ifdef CPLUSPLUS #include #include +#include /*=== User BDD class ===================================================*/ @@ -1134,7 +1135,18 @@ public: class minterm_iterator { public: - minterm_iterator(minterms_of* me) + typedef bdd value_type; + typedef value_type& reference; + typedef value_type* pointer; + typedef std::ptrdiff_t difference_type; + typedef std::forward_iterator_tag iterator_category; + + explicit minterm_iterator() noexcept + : me_(nullptr) + { + } + + minterm_iterator(minterms_of* me) noexcept : me_(me) { }