summaryrefslogtreecommitdiff
path: root/intellect-framework-from-internet/starts/meaning-vm/meaning.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'intellect-framework-from-internet/starts/meaning-vm/meaning.hpp')
-rw-r--r--intellect-framework-from-internet/starts/meaning-vm/meaning.hpp36
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);