alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[buddy] add missing typedefs to minterm_iterator

Browse source 
* src/bddx.h: Here.
This commit is contained in:
Alexandre Duret-Lutz 2024-03-11 17:38:13 +01:00
parent 1b81ecb80c
commit 0d4e93a4ec
1 changed files with 14 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
buddy/src/bddx.h
View file

@ -1,5 +1,5 @@
/*======================================================================== /*========================================================================
Copyright (C) 1996-2003, 2021 by Jorn Lind-Nielsen Copyright (C) 1996-2003 by Jorn Lind-Nielsen
All rights reserved All rights reserved
Permission is hereby granted, without written agreement and without Permission is hereby granted, without written agreement and without
@ -502,6 +502,7 @@ BUDDY_API_VAR const BDD bddtrue;
#ifdef CPLUSPLUS #ifdef CPLUSPLUS
#include <iostream> #include <iostream>
#include <memory> #include <memory>
#include <type_traits>
/*=== User BDD class ===================================================*/ /*=== User BDD class ===================================================*/
@ -1134,7 +1135,18 @@ public:
class minterm_iterator class minterm_iterator
{ {
public: 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) : me_(me)
{ {
} }