From 5ec6935b7cd7b44e9bc153037129808537dcb1dc Mon Sep 17 00:00:00 2001
From: namark <namark@disroot.org>
Date: Thu, 21 Oct 2021 18:56:27 +0400
Subject: [PATCH] These are fine, not everything is a tautology.
---
source/simple/geom/bool_algebra.hpp | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/source/simple/geom/bool_algebra.hpp b/source/simple/geom/bool_algebra.hpp
index debe257..457b360 100644
--- a/source/simple/geom/bool_algebra.hpp
+++ b/source/simple/geom/bool_algebra.hpp
@@ -70,12 +70,24 @@ SIMPLE_GEOM_VECTOR_DEFINE_COMPARISON_OPERATOR(<=, conjunct)
return conjunction<C,D,O>(v);
}
+ template <typename C, size_t D, typename O>
+ conjunction<C,D,O> to_conjunction(disjunction<C,D,O> v)
+ {
+ return conjunction<C,D,O>(v.range);
+ }
+
template <typename C, size_t D, typename O>
disjunction<C,D,O> to_disjunction(vector<C,D,O> v)
{
return disjunction<C,D,O>(v);
}
+ template <typename C, size_t D, typename O>
+ disjunction<C,D,O> to_disjunction(conjunction<C,D,O> v)
+ {
+ return disjunction<C,D,O>(v.range);
+ }
+
// De Morgan's laws
template <typename C, size_t D, typename O>
[[nodiscard]] constexpr conjunction<C,D,O>
--
GitLab