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
34class LogicConverger : public Converger {
35 const unsigned tag_a, tag_b;
36
37protected:
38 shared_ptr<Converger> converger_a, converger_b;
39
40public:
41 LogicConverger(unsigned, unsigned, unsigned);
42
43 int initialize() override;
44};
45
46class LogicAND final : public LogicConverger {
47public:
49
50 unique_ptr<Converger> get_copy() override;
51
52 bool is_converged(unsigned) override;
53};
54
55class LogicOR final : public LogicConverger {
56public:
58
59 unique_ptr<Converger> get_copy() override;
60
61 bool is_converged(unsigned) override;
62};
63
64class LogicXOR final : public LogicConverger {
65public:
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