diff options
Diffstat (limited to 'intellect-framework-from-internet/starts/meaning-vm/meaning.hpp')
-rw-r--r-- | intellect-framework-from-internet/starts/meaning-vm/meaning.hpp | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/intellect-framework-from-internet/starts/meaning-vm/meaning.hpp b/intellect-framework-from-internet/starts/meaning-vm/meaning.hpp deleted file mode 100644 index c358d69..0000000 --- a/intellect-framework-from-internet/starts/meaning-vm/meaning.hpp +++ /dev/null @@ -1,36 +0,0 @@ -#pragma once - -#include "concept.hpp" -#include "helpers.hpp" - -// get a named variable -ref avariable(ref name); - -template <typename... T> -ref and(T... refs) -{ - std::initializer_list<ref> rs = { refs... }; - declrefs(and); - decllnks(what); - ref ret = a(and); - ref name; int count = 0; - for (auto r : rs) { - ret[what] = r; - if (count == 0) { - name.ptr = r.ptr; - } else { - name.ptr = (name-and-r).ptr; - } - ++ count; - } - if (count == 1) { - throw std::logic_error("and needs at least two subjects"); - } - return name = ret; -} - -// make a reference to a link -ref link(ref sourceref, ref typeref, ref targetref); - -// invert a meaning -ref not(ref whatref); |