suanPan
LogicConverger.h
Go to the documentation of this file.
1 /*******************************************************************************
2  * Copyright (C) 2017-2024 Theodore Chang
3  *
4  * This program is free software: you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License as published by
6  * the Free Software Foundation, either version 3 of the License, or
7  * (at your option) any later version.
8  *
9  * This program is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12  * GNU General Public License for more details.
13  *
14  * You should have received a copy of the GNU General Public License
15  * along with this program. If not, see <http://www.gnu.org/licenses/>.
16  ******************************************************************************/
29 #ifndef LOGICCONVERGER_H
30 #define LOGICCONVERGER_H
31 
32 #include "Converger.h"
33 
34 class LogicConverger : public Converger {
35  const unsigned tag_a, tag_b;
36 
37 protected:
38  shared_ptr<Converger> converger_a, converger_b;
39 
40 public:
41  LogicConverger(unsigned, unsigned, unsigned);
42 
43  int initialize() override;
44 };
45 
46 class LogicAND final : public LogicConverger {
47 public:
49 
50  unique_ptr<Converger> get_copy() override;
51 
52  bool is_converged(unsigned) override;
53 };
54 
55 class LogicOR final : public LogicConverger {
56 public:
58 
59  unique_ptr<Converger> get_copy() override;
60 
61  bool is_converged(unsigned) override;
62 };
63 
64 class LogicXOR final : public LogicConverger {
65 public:
67 
68  unique_ptr<Converger> get_copy() override;
69 
70  bool is_converged(unsigned) override;
71 };
72 
73 #endif
74 
The Converger class handles converger test to indicate if the iteration converges according to variou...
Definition: Converger.h:44
Definition: LogicConverger.h:46
bool is_converged(unsigned) override
Definition: LogicConverger.cpp:54
unique_ptr< Converger > get_copy() override
Definition: LogicConverger.cpp:52
The LogicConverger class that handles converger test to indicate if the iteration converges.
Definition: LogicConverger.h:34
int initialize() override
Definition: LogicConverger.cpp:28
shared_ptr< Converger > converger_a
Definition: LogicConverger.h:38
LogicConverger(unsigned, unsigned, unsigned)
Definition: LogicConverger.cpp:23
shared_ptr< Converger > converger_b
Definition: LogicConverger.h:38
Definition: LogicConverger.h:55
bool is_converged(unsigned) override
Definition: LogicConverger.cpp:68
unique_ptr< Converger > get_copy() override
Definition: LogicConverger.cpp:66
Definition: LogicConverger.h:64
bool is_converged(unsigned) override
Definition: LogicConverger.cpp:82
unique_ptr< Converger > get_copy() override
Definition: LogicConverger.cpp:80