diff options
2 files changed, 3 insertions, 3 deletions
| -rw-r--r-- | Sem. 16/LogicExpressions/LogicExpressions/LogicExpr.h (renamed from Sem. 16/LogicExpressions/LogicExpr.h) | 6 | ||||
| -rw-r--r-- | Sem. 16/LogicExpressions/Source.cpp (renamed from Sem. 16/Source.cpp) | 0 |
diff --git a/Sem. 16/LogicExpressions/LogicExpr.h b/Sem. 16/LogicExpressions/LogicExpressions/LogicExpr.h index ebb84b4..9188541 100644 --- a/Sem. 16/LogicExpressions/LogicExpr.h +++ b/Sem. 16/LogicExpressions/LogicExpressions/LogicExpr.h @@ -123,7 +123,7 @@ namespace LogicExpressions return std::move(current); } - bool CheckValues(LogicExpr* expr, const std::vector<char>& vars, bool value) + bool CheckValues(const LogicExpr* expr, const std::vector<char>& vars, bool value) { size_t checksCounts = 1 << vars.size(); @@ -137,12 +137,12 @@ namespace LogicExpressions return true; } - bool isTautology(LogicExpr* expr, const std::vector<char>& vars) + bool isTautology(const LogicExpr* expr, const std::vector<char>& vars) { return CheckValues(expr, vars, true); } - bool isContradiction(LogicExpr* expr, const std::vector<char>& vars) + bool isContradiction(const LogicExpr* expr, const std::vector<char>& vars) { return CheckValues(expr, vars, false); } diff --git a/Sem. 16/Source.cpp b/Sem. 16/LogicExpressions/Source.cpp index 2b810b8..2b810b8 100644 --- a/Sem. 16/Source.cpp +++ b/Sem. 16/LogicExpressions/Source.cpp |