From ed7be8e6d878033dc08023950e710723e72f6566 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <edu@thorsten-wissmann.de>
Date: Sat, 1 Feb 2014 01:01:52 +0100
Subject: [PATCH] Add useful helper printModVec
---
gmlmip_stub.cc | 15 +++++++++++++++
1 file changed, 15 insertions(+)
diff --git a/gmlmip_stub.cc b/gmlmip_stub.cc
index e059907..1ae4030 100644
--- a/gmlmip_stub.cc
+++ b/gmlmip_stub.cc
@@ -60,6 +60,21 @@ static CAMLprim value setset2caml(const set<set<int> >& vt) {
return set2CamlList(vt, set2caml);
}
+static void printModVec(FILE* f, const vector<pair<pair<bool,int>,int> >& modvec) {
+ fprintf(f, "GML-Input: /\\ (");
+ for (int i = 0; i < modvec.size(); i++) {
+ bool isdia = modvec[i].first.first;
+ int cnt = modvec[i].first.second;
+ int underl = modvec[i].second;
+ if (i > 0) fprintf(f, ",");
+ if (isdia) {
+ fprintf(f, " <%d> p%d", cnt, underl);
+ } else {
+ fprintf(f, " [%d] p%d", cnt, underl);
+ }
+ }
+ fprintf(f, " )\n");
+}
CAMLprim value gmlRules_stub(value modalities) {
// parse caml-modalities to a C++ vector
--
GitLab