Changeset acbabee for src

Timestamp:

12/17/14 12:13:11 (10 years ago)

Author:

Tomasz Obrebski <obrebski@…>

Branches:

master

Children:

854bece

Parents:

d484a32

git-author:

Tomasz Obrebski <obrebski@…> (12/17/14 12:10:45)

git-committer:

Tomasz Obrebski <obrebski@…> (12/17/14 12:13:11)

Message:

many changes, mainly dgp1 algorithm

Location:

src

Files:

• compdic/compdic-dic-to-fst (modified) (2 diffs)
• dgp/dgp1.cc (modified) (14 diffs)
• dgp/dgp1.hh (modified) (1 diff)
• dgp/sgraph.cc (modified) (5 diffs)
• dgp/sgraph.hh (modified) (16 diffs)
• sen/sen.l (modified) (1 diff)
• tre/tre (modified) (11 diffs)

src/compdic/compdic-dic-to-fst

@@ -2 +2 @@
 
 no_of_parts=0
+part_size=100000
 
 while [ $# -gt 2 ]
@@ -37 +38 @@
 if [ $no_of_parts -eq 0 ]
 then
-    no_of_parts=$(( `cat $1 | wc -l` / 75000 + 1 ))
+    no_of_parts=$(( `cat $1 | wc -l` / $part_size + 1 ))
 fi
 

src/dgp/dgp1.cc

@@ -2 +2 @@
 using namespace std;
 
-#include "dgp0.hh"
+#include "dgp1.hh"
 #include "global.hh"
 
@@ -71 +71 @@
 //====================================================================================================
 
-int find_existing_node(int mnodeind, NodeProp p, bitset<MAXNODES>& newheadLH, bitset<MAXNODES>& newheadLV)
-{
-  MNode& mnode = mgraph[mnodeind];
-  int ret=-1;
-  for(vector<int>::iterator ps=mnode.snodes.begin(); ps!=mnode.snodes.end(); ++ps)
-    {
-      if(debug) fprintf(stderr,"#find existing node: checking %d ... \n", *ps);
-      if(sgraph[*ps].prop==p)
-        if(sgraph[*ps].LH==newheadLH && sgraph[*ps].LV==newheadLV)
-          {
-            ret = *ps;
-            if(debug) fprintf(stderr,"#\tsucceeded because of LH/LV equality ()\n");
-          }
-        else
-          {
-            if(debug) fprintf(stderr,"#\tfailed beacause of LH/LV inequality\n");
-          }
-    }
-
-  if(debug) fprintf(stderr,"\n");
-  return ret;
+int find_existing_node(int mnode, NodeProp p, Edge e)
+{
+  for(vector<int>::iterator i = mgraph[mnode].snodes.begin(); i!=mgraph[mnode].snodes.end(); ++i)
+    if(sgraph[*i].prop==p && sgraph[*i].edge==e)
+      { 
+        if(debug) fprintf(stderr,"\t\treusing %d\n",*i);
+        return *i;
+      }
+  return -1;
 }
 
@@ -161 +149 @@
 //====================================================================================================
 
-int create_new_head_node_left(int anc, NodeProp& prop, bitset<MAXNODES>& LH, bitset<MAXNODES>& LD, bitset<MAXNODES>& LV)
-{
-  int newheadind = sgraph.clone(anc,prop);
+int create_new_node(int anc, NodeProp& prop, Edge edge)
+{
+  int newheadind = sgraph.clone(anc,prop,edge);
   nodelist.push_back(newheadind);
-  sgraph[newheadind].LH = LH;
-  sgraph[newheadind].LD = LD;
-  sgraph[newheadind].in_LH = true;
-  sgraph[newheadind].LV.reset();
-
   copy_links(anc,newheadind);
   create_reverse_links(newheadind);
-  
-  if(debug) sgraph.print_node_debug(stderr,"add new",newheadind,anc);
+  if(debug) sgraph.print_node_debug(stderr,"clone",newheadind,anc);
   // if(debug) print_sets(newheadind);
   return newheadind;
 }
 
-int create_new_dep_node_left(int anc, NodeProp& prop, bitset<MAXNODES>& LH, bitset<MAXNODES>& LD, bitset<MAXNODES>& LV)
-{
-  int newind = sgraph.clone(anc,prop);
-  nodelist.push_back(newind);
-  sgraph[newind].LH.reset();
-  sgraph[newind].LD=LD;
-  sgraph[newind].in_LH=false; //???????
-  sgraph[newind].LV.reset();
-
-  copy_links(anc,newind);
-  create_reverse_links(newind);
-  
-  if(debug) sgraph.print_node_debug(stderr,"add new",newind,anc);
-  // if(debug) print_sets(newind);
-  
-  return newind;
-}
-
-int create_new_head_node_right(int anc, NodeProp& prop, bitset<MAXNODES>& newheadLH, bitset<MAXNODES>& newheadLD, bitset<MAXNODES>& newheadLV)
-{
-  int newheadind = sgraph.clone(anc,prop);
-  nodelist.push_back(newheadind);
-  sgraph[newheadind].LH=newheadLH;
-  sgraph[newheadind].LD=newheadLD;
-  sgraph[newheadind].in_LH=false;
-  sgraph[newheadind].LV=newheadLV;
-  
-  copy_links(anc,newheadind);
-  create_reverse_links(newheadind);
-
-  if(debug) sgraph.print_node_debug(stderr,"add new",newheadind,anc);
-  // if(debug) print_sets(newheadind);
-  
-  return newheadind;
-}
-
-int create_new_dep_node_right(int anc, NodeProp& prop, bitset<MAXNODES>& LH, bitset<MAXNODES>& LD, bitset<MAXNODES>& LV)
-{
-  int newind = sgraph.clone(anc,prop);
-  nodelist.push_back(newind);
-  sgraph[newind].LH=LH;
-  sgraph[newind].LD=LD;
-  sgraph[newind].in_LH=true; //???????
-  sgraph[newind].LV.reset();
-  
-  copy_links(anc,newind);
-  create_reverse_links(newind);
-
-  if(debug) sgraph.print_node_debug(stderr,"ADD NEW",newind,anc);
-  // if(debug) print_sets(newind);
-  
-  return newind;
-}
-
 //====================================================================================================
 
@@ -237 +165 @@
 {
 
-  NodeProp &oldheadprop = sgraph[h].prop;
-  NodeProp &olddepprop = sgraph[d].prop;
-
-  NodeProp newheadprop  = compute_head_prop(oldheadprop,l,new_head_boubbles,olddepprop.flags);
-  
-  int newheadind;
-  if(oldheadprop==newheadprop)
-    newheadind = h;
-  else
-  {
-    bitset<MAXNODES> newheadLH = sgraph[h].LH;
-    bitset<MAXNODES> newheadLV = sgraph[d].LV;
-    bitset<MAXNODES> newheadLD = sgraph[h].LD;
-
-    newheadind = find_existing_node(sgraph[h].mnode, newheadprop, newheadLH, newheadLV);
-    if( newheadind >= 0) // W£¡CZONE
-      sgraph[newheadind].LD |= newheadLD;
-    else
+  NodeProp &old_head_prop = sgraph[h].prop;
+  NodeProp &old_dep_prop = sgraph[d].prop;
+  NodeProp new_head_prop  = compute_head_prop(old_head_prop,l,new_head_boubbles,old_dep_prop.flags);
+  NodeProp new_dep_prop = compute_dep_prop(old_dep_prop,l,new_dep_boubbles);
+  
+  Edge new_dep_edge(sgraph[d].edge);
+  int newd = find_existing_node(sgraph[d].mnode, new_dep_prop, new_dep_edge);
+  if( newd < 0  )
+    newd = create_new_node(d,new_dep_prop,new_dep_edge);
+  
+  Edge new_head_edge(sgraph[newd].edge,newd);
+  int newh = find_existing_node(sgraph[h].mnode, new_head_prop, new_head_edge);
+  if( newh < 0 )
+    newh = create_new_node(h,new_head_prop,new_head_edge);
+    
+  sgraph[newh].deps.push_back(Arc(newd,l.role,h,d));
+  sgraph[newd].heads.push_back(Arc(newh,l.role,h,d));
+
+  if(debug)
+    {
+      sgraph.print_arc(stderr,"link",newh,d,l.role,0);
+      sgraph.print_node_debug(stderr,"",newh,h);
+      sgraph.print_node_debug(stderr,"",newd,d);
+    }
+}
+
+//----------------------------------------------------------------------------------------------------
+
+void connect_right(int h, int d, const Link& l, list<Boubble*>& new_head_boubbles, list<Boubble*>& new_dep_boubbles)
+{
+  NodeProp &old_head_prop = sgraph[h].prop;
+  NodeProp &old_dep_prop = sgraph[d].prop;
+  NodeProp new_head_prop = compute_head_prop(old_head_prop,l,new_head_boubbles,old_dep_prop.flags);
+  NodeProp new_dep_prop = compute_dep_prop(old_dep_prop,l,new_dep_boubbles);
+
+  Edge new_head_edge(sgraph[h].edge);
+  int newh = find_existing_node(sgraph[h].mnode, new_head_prop, new_head_edge);
+  if( newh < 0 )
       {
-        newheadind = create_new_head_node_left(h,newheadprop,newheadLH,newheadLD,newheadLV);
-        sgraph[newheadind].edge.clear();
-        sgraph[newheadind].edge_contains_self = false;
+        newh = create_new_node(h,new_head_prop,new_head_edge);
+        sgraph[newh].visible_as_neighbour = false;
       }
-    
-  }
-
-  NodeProp newdepprop = compute_dep_prop(olddepprop,l,new_dep_boubbles);
-
-  int newdepind;
-  
-  if(olddepprop==newdepprop)
-    newdepind = d;
-  else
-  {
-    bitset<MAXNODES> newdepLH = sgraph[d].LH;
-    bitset<MAXNODES> newdepLV = sgraph[d].LV;
-    bitset<MAXNODES> newdepLD = sgraph[d].LD;
-
-    newdepind = find_existing_node(sgraph[d].mnode, newdepprop, newdepLH, newdepLV);
-    if( newdepind >= 0) // W£¡CZONE
-      sgraph[newdepind].LD |= newdepLD; // TYLKO DLA LD
-    else
-      {
-        newdepind = create_new_dep_node_left(d,newdepprop,newdepLH,newdepLD,newdepLV);
-        sgraph[newdepind].edge.clear();
-        //sgraph[newdepind].edge.push_back(newdepind); // TO
-        sgraph[newdepind].edge_contains_self = true; // LUB TO
-      }
-  }
-  
-
-  sgraph[newheadind].deps.push_back(Arc(newdepind,l.role,h,d));
-  sgraph[newdepind].heads.push_back(Arc(newheadind,l.role,h,d));
-  sgraph[newheadind].edge.push_back(newdepind);
-  
-  if(sgraph[d].saturated()) sgraph[newheadind].LV |= sgraph[d].LV;
-
-  sgraph[newheadind].LD.set(d);
-  if(sgraph[d].saturated()) sgraph[newheadind].LD |= sgraph[d].LD;
-  
-  if(debug) sgraph.print_arc(stderr,"new link",newheadind,d,l.role,0);
-  if(debug) sgraph.print_node_debug(stderr,"update",newheadind,h);
-  // if(debug) print_sets(newheadind);
-  if(debug) sgraph.print_node_debug(stderr,"update",newdepind,d);
-  // if(debug) print_sets(newdepind);
-}
-
-//----------------------------------------------------------------------------------------------------
-
-void connect_right(int h, int d, const Link& l, list<Boubble*>& new_head_boubbles, list<Boubble*>& new_dep_boubbles)
-{
-  NodeProp &oldheadprop = sgraph[h].prop;
-
-  NodeProp newheadprop = compute_head_prop(oldheadprop,l,new_head_boubbles, sgraph[d].prop.flags);
-
-  int newheadind;
-  
-  if(oldheadprop==newheadprop)
-    newheadind = h;
-  else
-  {
-    bitset<MAXNODES> newheadLH = sgraph[h].LH;
-    bitset<MAXNODES> newheadLV = sgraph[h].LV;
-    bitset<MAXNODES> newheadLD = sgraph[h].LD;
-
-    newheadind = find_existing_node(sgraph[h].mnode, newheadprop, newheadLH, newheadLV);
-
-    if(debug) fprintf(stderr,"#HEAD EXISTS %d\n",newheadind);
-
-    if( newheadind >= 0) // W£¡CZONE
-      sgraph[newheadind].LD |= newheadLD; // TYLKO DLA LD
-    else
-      {
-        newheadind = create_new_head_node_right(h,newheadprop,newheadLH,newheadLD,newheadLV);
-        //if(!sgraph[h].edge.empty()) sgraph[newheadind].edge.push_back(newheadind); // TO
-        sgraph[newheadind].edge_contains_self = sgraph[h].edge_contains_self;      // LUB TO
-        sgraph[newheadind].visible_as_neighbour = false;
-      }
-  }
-
-  NodeProp &olddepprop = sgraph[d].prop;
-  NodeProp newdepprop = compute_dep_prop(olddepprop,l,new_dep_boubbles);
-
-  int newdepind;
-  
-  if(olddepprop==newdepprop)
-    newdepind = d;
-  else
-  {
-    bitset<MAXNODES> newdepLH = sgraph[d].LH;
-    bitset<MAXNODES> newdepLV = sgraph[d].LV;
-    bitset<MAXNODES> newdepLD = sgraph[d].LD;
-
-    newdepind = find_existing_node(sgraph[d].mnode, newdepprop, newdepLH, newdepLV);
-
-    if(debug) fprintf(stderr,"#DEP EXISTS %d\n",newdepind);
-
-    if( newdepind >= 0) // W£¡CZONE
-      sgraph[newdepind].LD |= newdepLD; // TYLKO DLA LD
-    else
-      {
-        newdepind = create_new_dep_node_right(d,newdepprop,newdepLH,newdepLD,newdepLV);
-        sgraph[newdepind].edge.clear();
-        sgraph[newdepind].edge_contains_self = false;
-      }
-  }
-
-
-  sgraph[newdepind].heads.push_back(Arc(newheadind,l.role,h,d));
-  sgraph[newheadind].deps.push_back(Arc(newdepind,l.role,h,d));
-  //sgraph[newdepind].edge.push_back(newheadind);
-
-  sgraph[newdepind].LH.set(newheadind);
-
-  //  sgraph[*d].prop.merge_boubbles(new_dep_boubbles);
-  
-  if(sgraph[newheadind].saturated()) sgraph[newdepind].LH |= sgraph[newheadind].LH;
-
-  if(debug) sgraph.print_arc(stderr,"new link",newheadind,newdepind,l.role,1);
-  if(debug) sgraph.print_node_debug(stderr,"update",newheadind,h);
-  if(debug) sgraph.print_node_debug(stderr,"update",newdepind,d);
-  
-}
-
-//====================================================================================================
-
-// bool check_meeting_boubles(list<Boubble*>& hboubbles, list<Boubble*>& dboubbles)
-// {
-//   bool hremove=false;             // czy usun±æ ostatnio sprawdzany b±bel
-//   bool dremove=false;             // czy usun±æ ostatnio sprawdzany b±bel
-
-//   for(list<Boubble*>::iterator hb = hboubbles.begin(); hb != hboubbles.end(); hb = hremove ? hboubbles.erase(hb) : ++hb )
-//     {
-//       hremove=false;
-//       for(list<Boubble*>::iterator db = dboubbles.begin(); db != dboubbles.end(); db = dremove ? dboubbles.erase(db) : ++db )
-//      {
-//        dremove=false;
-//        if( (*hb)->rel()==(*db)->rel() && (*hb)->dir()==DOWN && (*db)->dir()==UP && (*hb)->reverse()!=(*db)->reverse() )
-//          {
-//            int srcnode,dstnode;
-//            if( (*hb)->reverse()==false )
-//              srcnode = (*hb)->src(), dstnode = (*db)->src();
-//            else
-//              srcnode = (*db)->src(), dstnode = (*hb)->src();
-//            if( grammar.check_longrel(sgraph.cat(srcnode), sgraph.cat(dstnode), (*hb)->rel()) )
-//              {
-//                hremove=dremove=true;
-//                if(debug) fprintf(stderr,"BOUBBLES MET!!!\n");
-//              }
-//            else
-//              {
-//                if(debug) fprintf(stderr,"BOUBBLES' MEETING FAILED!!!\n");
-//                return false;
-//              }
-//          }
-//      }
-//     }
-//   return true;
-// }
+
+  Edge new_dep_edge;
+  int newd = find_existing_node(sgraph[d].mnode, new_dep_prop, new_dep_edge);
+  if( newd < 0)
+    newd = create_new_node(d,new_dep_prop,new_dep_edge);
+
+
+  sgraph[newd].heads.push_back(Arc(newh,l.role,h,d));
+  sgraph[newh].deps.push_back(Arc(newd,l.role,h,d));
+
+  if(debug)
+    {
+      sgraph.print_arc(stderr,"link",newh,newd,l.role,1);
+      sgraph.print_node_debug(stderr,"",newh,h);
+      sgraph.print_node_debug(stderr,"",newd,d);
+    }
+  
+}
 
 //====================================================================================================
@@ -424 +233 @@
   bool dremove=false;             // czy usun±æ ostatnio sprawdzany b±bel
 
+  // cerr << "CHECKING MEETING BUBBLES" << endl;
+
   for(list<Boubble*>::iterator hb = boubbles.begin(); hb != boubbles.end(); hb = hremove ? boubbles.erase(hb) : ++hb )
     {
-      cout << endl << "hb:" << **hb ;
       hremove=false;
       for(list<Boubble*>::iterator db = hb; db != boubbles.end(); db = dremove ? boubbles.erase(db) : ++db )
         {
-          cout << " db:" << **db;
+          // cerr << " db:" << **db;
           dremove=false;
           if( (*hb)->rel()==(*db)->rel() && (*hb)->reverse()!=(*db)->reverse() )
             {
-              cout << "Z";
+              // cerr << "Z"; 
               int srcnode,dstnode;
               if( (*hb)->reverse()==false )
@@ -442 +252 @@
               if( grammar.check_longrel(sgraph.cat(srcnode), sgraph.cat(dstnode), (*hb)->rel()) )
                 {
-                  cout << " REMOVE ";
+                  // cerr << " REMOVE ";
                   hremove=dremove=true;
                   if(debug) fprintf(stderr,"BOUBBLES MET!!!\n");
@@ -448 +258 @@
               else
                 {
-                  cout << " FAIL ";
+                  // cerr << " FAIL ";
                   if(debug) fprintf(stderr,"BOUBBLES' MEETING FAILED!!!\n");
                   return false;
@@ -471 +281 @@
       if( grammar.check_longrel(sgraph.cat((*b)->src()), sgraph.cat(node), (*b)->rel()) )
         {
-          cout << endl << "REMOVE ChBatT " << **b << endl;
+          // cerr << endl << "REMOVE ChBatT " << **b << endl;
           remove=true;
         }
@@ -489 +299 @@
   int i;
   while((i=lvi.next()) >= 0)
-    {
-      //if(debug) sgraph.print_node_debug(stderr,"D-CUR>",i,-1);
-
       if(sgraph.saturated(i))
         {
-          if(debug) {fprintf(stderr,"%d <--",i); }
+          if(debug) {fprintf(stderr,"\t%d <-- %d",i,j); }
           
           list<const Link*> ji_links = grammar.connectable2( sgraph.cat(j), sgraph.cat(i), sgraph[j].prop.flags, sgraph[i].prop.flags); // ref do Roles!!!
@@ -517 +324 @@
                           if(debug) fprintf(stderr," ...SUCCESS!\n");
                           connect_left( j, i, **ri, new_head_boubbles, new_dep_boubbles);
-                          lvi.update_edge(sgraph,i);
+                          // lvi.update_edge(sgraph,i);
                         }
                       else
@@ -526 +333 @@
         }
       else
-          if(debug) {fprintf(stderr,"%d <--     unsaturated\n",i); }
-    }
-  
+        if(debug) {fprintf(stderr,"\t%d <-- %d\t%d unsaturated\n",i,j,i); }  
 }
 //----------------------------------------------------------------------------------------------------
@@ -537 +342 @@
   int i;
   while((i=lvi.next()) >= 0)
-    {
-      // if(debug) sgraph.print_node_debug(stderr,"H-CUR> ",i,-1);
-      if(sgraph.saturated(j))
-        {
-          if(debug) fprintf(stderr, "%d -->",i);
-          
-          list<const Link*> ij_links = grammar.connectable2( sgraph.cat(i), sgraph.cat(j), sgraph[i].prop.flags, sgraph[j].prop.flags );
-          list<const Link*>::iterator ri = ij_links.begin();
-          if(ri == ij_links.end()) { if(debug) fprintf(stderr,"     no roles\n"); }
-          else
-            {
-              for(; ri != ij_links.end(); ++ri )
-                {
-                  if(debug) fprintf(stderr,"     %s",(*ri)->role.str());
-                  if( !grammar.check_constr2( sgraph[i].prop, sgraph[j].prop, 1, **ri ) )
-                    { if(debug) fprintf(stderr," ...constraints failed\n"); }
-                  else
-                    {
-                      list<Boubble*> new_head_boubbles = collect_head_boubbles(i,j,(*ri)->role);
-                      list<Boubble*> new_dep_boubbles = collect_dep_boubbles(i,j,(*ri)->role);
-                      
-                      if( check_meeting_boubles(new_head_boubbles) &&
-                          check_meeting_boubles(new_dep_boubbles) &&
-                          check_boubbles_at_target(new_head_boubbles,i) &&
-                          check_boubbles_at_target(new_dep_boubbles,j) )
-                        {
-                          if(debug) fprintf(stderr," ...SUCCESS!\n");
-                          connect_right( i, j, **ri, new_head_boubbles, new_dep_boubbles );
-                        }
-                      else
-                        { if(debug) fprintf(stderr," ...bubbles failed\n",i); }
-                    }
-                }
-            }
-        }
-      else
-          if(debug) {fprintf(stderr,"%d <--     unsaturated\n",j); }
-    }
+    if(sgraph.saturated(j))
+      {
+        if(debug) fprintf(stderr, "\t%d --> %d",i,j);
+        
+        list<const Link*> ij_links = grammar.connectable2( sgraph.cat(i), sgraph.cat(j), sgraph[i].prop.flags, sgraph[j].prop.flags );
+        list<const Link*>::iterator ri = ij_links.begin();
+        if(ri == ij_links.end()) { if(debug) fprintf(stderr,"     no roles\n"); }
+        else
+          {
+            for(; ri != ij_links.end(); ++ri )
+              {
+                if(debug) fprintf(stderr,"     %s",(*ri)->role.str());
+                if( !grammar.check_constr2( sgraph[i].prop, sgraph[j].prop, 1, **ri ) )
+                  { if(debug) fprintf(stderr," ...constraints failed\n"); }
+                else
+                  {
+                    list<Boubble*> new_head_boubbles = collect_head_boubbles(i,j,(*ri)->role);
+                    list<Boubble*> new_dep_boubbles = collect_dep_boubbles(i,j,(*ri)->role);
+                    
+                    if( check_meeting_boubles(new_head_boubbles) &&
+                        check_meeting_boubles(new_dep_boubbles) &&
+                        check_boubbles_at_target(new_head_boubbles,i) &&
+                        check_boubbles_at_target(new_dep_boubbles,j) )
+                      {
+                        if(debug) fprintf(stderr," ...SUCCESS!\n");
+                        connect_right( i, j, **ri, new_head_boubbles, new_dep_boubbles );
+                      }
+                    else
+                      { if(debug) fprintf(stderr," ...bubbles failed\n",i); }
+                  }
+              }
+          }
+      }
+    else
+      if(debug) {fprintf(stderr,"\t* <-- %d    unsaturated\n",j); }
 }
 
@@ -662 +464 @@
     nodelist.push_back(basenode);
 
-    if(debug) sgraph.print_node_debug(stderr,"add base",basenode,-1); // STDOUT!!!
+    if(debug) sgraph.print_node_debug(stderr,"node",basenode,-1); // STDOUT!!!
     // if(debug) print_sets(basenode);
 
@@ -668 +470 @@
     while(++cursor != nodelist.end())
     {
-      if(debug) sgraph.print_node_debug(stderr,"MAIN-CUR> ",*cursor,-1);
+      if(debug) sgraph.print_node_debug(stderr,"CUR>",*cursor,-1);
       try_connect_dependents(*cursor);
       try_connect_heads(*cursor);

src/dgp/dgp1.hh

@@ -1 @@
-#ifndef _DGP0_HH
-#define _DGP0_HH
+#ifndef _DGP1_HH
+#define _DGP1_HH
 
 #include "grammar.hh"

src/dgp/sgraph.cc

@@ -1 @@
-#include "global.hh"
 #include "sgraph.hh"
 #include "grammar.hh"
@@ -16 +15 @@
   newnode.mnode=mnodeind;
 
-  for(vector<int>::iterator pm=mgraph[newnode.mnode].pred.begin(); pm!=mgraph[newnode.mnode].pred.end(); ++pm)
-    for(vector<int>::iterator ps=mgraph[*pm].snodes.begin(); ps!=mgraph[*pm].snodes.end(); ++ps)
-      if(nodes[*ps].in_LH)
-      {
-        newnode.LV.set(*ps);
-        if(nodes[*ps].saturated()) newnode.LV |= nodes[*ps].LH;
-      }
+  // for(vector<int>::iterator pm=mgraph[newnode.mnode].pred.begin(); pm!=mgraph[newnode.mnode].pred.end(); ++pm)
+  //   for(vector<int>::iterator ps=mgraph[*pm].snodes.begin(); ps!=mgraph[*pm].snodes.end(); ++ps)
+  //     if(nodes[*ps].in_LH)
+  //     {
+  //       newnode.LV.set(*ps);
+  //       if(nodes[*ps].saturated()) newnode.LV |= nodes[*ps].LH;
+  //     }
 
   mgraph[newnode.mnode].snodes.push_back(lastnodeind());
 
-  newnode.in_LH=true;
+  // newnode.in_LH=true;
 
-  newnode.edge.push_back(lastnodeind());
+  // newnode.edge.push_back(lastnodeind());
 
-  newnode.edge_contains_self = true ;
+  newnode.edge.insert_self();
 
   return lastnodeind();
@@ -55 +54 @@
 //====================================================================================================
 
-int SGraph::clone(int ancind, NodeProp newprop)
+int SGraph::clone(int ancind, NodeProp newprop, Edge edge)
 {
   SNode &newnode=makenewnode();
   SNode &ancnode = nodes[ancind];
 
-  newnode.prop=newprop;
-  newnode.mnode=ancnode.mnode;
+  newnode.prop = newprop;
+  newnode.edge = edge;
+  newnode.mnode = ancnode.mnode;
   mgraph[newnode.mnode].snodes.push_back(lastnodeind());
 
@@ -90 +90 @@
 {
   if(dir==0)
-    fprintf(f,"%s  %s:%d <-- %d\n", msg, role.str(), dep, head);
+    fprintf(f,"%s\t%d <-- %d\t%s\n", msg, dep, head, role.str());
   else
-    fprintf(f,"%s  %s:%d --> %d\n", msg, role.str(), head, dep);
+    fprintf(f,"%s\t%d --> %d\t%s\n", msg, head, dep, role.str());
 }
 
@@ -172 +172 @@
 {
   char *buf0 = buf;
-  buf+=sprintf(buf,"%-10s",pref);
+  buf+=sprintf(buf,"%-8s",pref);
   buf+=sprintf(buf,"%d.%s",n,form(n));
   buf+=sprintf(buf,";");
   buf+=sprintf(buf,"%s ",cat(n).str());
   while(buf-buf0<40) buf+=sprintf(buf," ");
-  buf+=sprint_node(buf,n,anc,HEADS|DEPS|SETS|CONSTRAINTS);
+  buf+=sprint_node(buf,n,anc,HEADS|DEPS|CONSTRAINTS);
   
   buf+=sprintf(buf,"/");
-  for(vector<int>::iterator e = nodes[n].edge.begin(); e != nodes[n].edge.end(); e++ )
+  if(nodes[n].edge.self())
+    buf += sprintf(buf,"* ");
+  for(list<int>::iterator e = nodes[n].edge.others().begin(); e != nodes[n].edge.others().end(); e++ )
     buf += sprintf(buf,"%d ", *e);
 

src/dgp/sgraph.hh

@@ -13 +13 @@
 #include "thesymbols.hh"
 #include "boubble.hh"
-
+#include "global.hh"
 
 using namespace std;
@@ -116 +116 @@
 }
 
-//----------------------------------------------------------------------------------------------------
-
-inline
-NodeProp::~NodeProp()
-{
-  clear_boubbles();
-}
-//----------------------------------------------------------------------------------------------------
-
-inline
-NodeProp::NodeProp()
-{
-  clear();
-}
-
-//----------------------------------------------------------------------------------------------------
-
-inline
-NodeProp::NodeProp(const NodeProp& p)
-{
-  copy(p);
-}
-
-//----------------------------------------------------------------------------------------------------
-
-inline
-NodeProp& NodeProp::operator=(const NodeProp& p)
-{
-  clear();
-  copy(p);
-  return *this;
-}
-
-//----------------------------------------------------------------------------------------------------
-
-inline
-void NodeProp::clear()
+inline NodeProp::~NodeProp() { clear_boubbles(); }
+inline NodeProp::NodeProp() { clear(); }
+inline NodeProp::NodeProp(const NodeProp& p) { copy(p); }
+inline NodeProp& NodeProp::operator=(const NodeProp& p) { clear(); copy(p); return *this; }
+inline void NodeProp::clear()
 {
   required.reset();
@@ -163 +131 @@
 
 //====================================================================================================
+// CLASS Edge
+//====================================================================================================
+
+class Edge
+{
+public:
+  Edge() : _self(false) { }
+  Edge(const Edge& e, int map_self) { assign(e,map_self); }
+
+  bool self() const { return _self; }
+  list<int>& others() { return _others; }
+
+  void insert_self(bool b=true) { _self=b; }
+  void insert(int n) { list<int>::iterator i=others().begin(); while(i!=others().end() && *i<n) ++i; others().insert(i,n);}
+  void insert(list<int> l) { for(list<int>::const_iterator i=l.begin(); i!=l.end(); i++) insert(*i); }
+
+  void assign(const Edge& e, int map_self=-1) { _others = e._others; if(e.self()) { _self = false; insert(map_self); } }
+  const bool operator==(const Edge& e) const { return _self == e._self && _others == e._others; }
+  
+private:
+  bool _self;
+  list<int> _others;
+};
+
+//====================================================================================================
 // CLASS SNode
 //====================================================================================================
@@ -175 +168 @@
   NodeProp prop;
 
-  vector<int> edge;
-  bool        edge_contains_self;
+  Edge edge;
   bool visible_as_neighbour;
 
@@ -189 +181 @@
   void clear();
   bool saturated();
+
+  // void edge_clear()               { edge.clear(); edge_contains_self=false;}
+  // void edge_set(int i)            { edge.clear(); edge_contains_self=false; edge.push_back(i); }
+  // void edge_set(vector<int>& v)   { edge.assign(v.begin(),v.end()); edge_contains_self=false; }
+  // void edge_set_self(bool b=true) { edge.clear(); edge_contains_self=b; }
+  // void edge_add(int i)            { edge.push_back(i); }
+  // void edge_add(vector<int>& v)   { edge.insert(edge.end(),v.begin(),v.end()); }
+  // void edge_add_self(bool b=true) { edge_contains_self=b; }
 };
 
@@ -216 +216 @@
   void clear()                                  { nodes.clear(); }
   int  add_base_snode(int mnodeind);
-  int  clone(int ancind, NodeProp newprop);
+  int  clone(int ancind, NodeProp newprop, Edge edge);
   void update_left(int headind, int depind);
   void update_right(int headind, int depind);
@@ -299 +299 @@
 
 private:
-
+  int snode;
   SGraph& sgraph;
   MGraph& mgraph;
@@ -312 +312 @@
 };
 
-inline LViterator::LViterator(SGraph& sg, int n, bool s=true) : sgraph(sg), mgraph(sg.mgraph), strict(s)
-{
-  if(sg[n].edge_contains_self) // TO DODAÆ PO PRZEJŠCIU NA EDGE_CONTAINS_SELF
+inline LViterator::LViterator(SGraph& sg, int n, bool s=true) : snode(n), sgraph(sg), mgraph(sg.mgraph), strict(s)
+{
+  if(sg[n].edge.self())
     {
       push_ld(n);
@@ -320 +320 @@
     }
 
-  for(vector<int>::iterator i=sg[n].edge.begin(); i!=sg[n].edge.end(); ++i)
-    {
-      if(*i != n)
-        {
-          push_ld(*i);
-          push_ln(*i);
-        }
-      
-    }
-}
-
-inline void LViterator::update_edge(SGraph& sg, int n)
-{
-  for(vector<int>::iterator i=sg[n].edge.begin(); i!=sg[n].edge.end(); ++i)
+  for(list<int>::iterator i=sg[n].edge.others().begin(); i!=sg[n].edge.others().end(); ++i)
     {
       push_ld(*i);
       push_ln(*i);
+      
+    }
+}
+
+inline void LViterator::update_edge(SGraph& sg, int n)
+{
+  if(sg[n].edge.self()) 
+    {
+      push_ld(n);
+      push_ln(n);
+    }
+
+  for(list<int>::iterator i=sg[n].edge.others().begin(); i!=sg[n].edge.others().end(); ++i)
+    {
+      push_ld(*i);
+      push_ln(*i);
     }
 }
@@ -345 +348 @@
     {
       if(waydown.empty())
-        return -1; // 
+        {
+          if(debug) fprintf(stderr,"\t\tLViterator(%d)\treturn %d\n",snode,-1);
+          return -1; // 
+        }
       else
         {
@@ -353 +359 @@
           push_ln(k);
           if(wayup.empty())
-            return -1; // k NIE MA POPRZEDNIKÓW, NIE MO¯E TE¯ ZATEM MIEÆ LEWOSTRONNYCH PODRZÊDNIKÓW
+            {
+              if(debug) fprintf(stderr,"\t\tLViterator(%d)\treturn %d\n",snode,-1);
+              return -1; // k NIE MA POPRZEDNIKÓW, NIE MO¯E TE¯ ZATEM MIEÆ LEWOSTRONNYCH PODRZÊDNIKÓW
+            }
           else
             {
@@ -359 +368 @@
               wayup.pop();
               push_lh(i);
+              if(debug) fprintf(stderr,"\t\tLViterator(%d)\treturn %d\n",snode,i);
               return i;
             }
@@ -364 +374 @@
       
     }
+  else
+    {
+      int i = wayup.top();
+      wayup.pop();
+      push_lh(i);
+      if(debug) fprintf(stderr,"\t\tLViterator(%d)\treturn %d\n",snode,i);
+      return i;
+    };
+}
+
+inline void LViterator::push_ld(int i)
+{
+  vector<Arc>& arcs = sgraph[i].deps;
+  for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
+    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[i].mnode].pos)
+      {
+        push(waydown,a->dst);
+        if(debug) fprintf(stderr,"\t\tLViterator(%d)\tPUSH_LD waydown %d\n",snode,a->dst);
+      }
+}
+
+inline void LViterator::push_lh(int i)
+{
+  vector<Arc>& arcs = sgraph[i].heads;
+  for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
+    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[i].mnode].pos)
+      {
+        push(wayup,a->dst);
+        if(debug) fprintf(stderr,"\t\tLViterator(%d)\tPUSH_LH wayup %d\n",snode,a->dst);
+      }
+}
+
+inline void LViterator::push_ln(int i)
+{
+  vector<int>& mpredecessors = mgraph[sgraph[i].mnode].pred;
+  for(vector<int>::iterator mp = mpredecessors.begin(); mp != mpredecessors.end(); ++mp) // poprzedniki w mgraph
+    {
+      vector<int>& spredecessors = mgraph[*mp].snodes;
+      for(vector<int>::iterator sp = spredecessors.begin(); sp != spredecessors.end(); ++sp )
+        if(sgraph[*sp].visible_as_neighbour || !strict)
+          {
+            push(wayup,*sp);
+            if(debug) fprintf(stderr,"\t\tLViterator(%d)\tPUSH_LN wayup %d\n",snode, *sp);
+          }
+    }
+}
+
+
+//----------------------------------------------------------------------------------------------------
+//----------------------------------------------------------------------------------------------------
+
+class LNiterator
+{
+public:
+  LNiterator(SGraph& sg, int n);
+
+  int next();
+
+private:
+  int snode;
+  SGraph& sgraph;
+  MGraph& mgraph;
+  stack<int> wayup;
+
+  void push_ln(int i);
+};
+
+inline LNiterator::LNiterator(SGraph& sg, int n) : sgraph(sg), mgraph(sg.mgraph), snode(n)
+{
+  push_ln(n);
+}
+
+inline int LNiterator::next()
+{
+  if(wayup.empty())
+    {
+      if(debug) fprintf(stderr,"\t\tLNiterator(%d)\treturn %d\n",snode,-1);
+      return -1;
+    }
+  else
+    {
+      int i = wayup.top();
+      wayup.pop();
+      if(debug) fprintf(stderr,"\t\tLNiterator(%d)\treturn %d\n",snode,i);
+      return i;
+    };
+}
+
+inline void LNiterator::push_ln(int i)
+{
+  vector<int>& mpredecessors = mgraph[sgraph[i].mnode].pred;
+  for(vector<int>::iterator mp = mpredecessors.begin(); mp != mpredecessors.end(); ++mp) // poprzedniki w mgraph
+    {
+      vector<int>& spredecessors = mgraph[*mp].snodes;
+      for(vector<int>::iterator sp = spredecessors.begin(); sp != spredecessors.end(); ++sp )
+        {
+          wayup.push(*sp);
+          if(debug) fprintf(stderr,"\t\tLNiterator(%d)\tPUSH %d\n",snode,-1);
+        }
+    }
+}
+
+
+//----------------------------------------------------------------------------------------------------
+//----------------------------------------------------------------------------------------------------
+
+class LHiterator
+{
+public:
+  LHiterator(SGraph& sg, int n);
+
+  int next();
+
+private:
+  int snode;
+  SGraph& sgraph;
+  MGraph& mgraph;
+  stack<int> wayup;
+
+  void push_lh(int i);
+};
+
+inline LHiterator::LHiterator(SGraph& sg, int n) : snode(n), sgraph(sg), mgraph(sg.mgraph)
+{
+  push_lh(n);
+}
+
+inline int LHiterator::next()
+{
+  if(wayup.empty())
+        return -1; 
   else
     {
@@ -373 +514 @@
 }
 
-inline void LViterator::push_ld(int i)
-{
-  vector<Arc>& arcs = sgraph[i].deps;
-  for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
-    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[i].mnode].pos)
-      push(waydown,a->dst);
-}
-
-inline void LViterator::push_lh(int i)
+inline void LHiterator::push_lh(int i)
 {
   vector<Arc>& arcs = sgraph[i].heads;
   for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
     if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[i].mnode].pos)
-      push(wayup,a->dst);
-}
-
-inline void LViterator::push_ln(int i)
-{
-  vector<int>& mpredecessors = mgraph[sgraph[i].mnode].pred;
-  for(vector<int>::iterator mp = mpredecessors.begin(); mp != mpredecessors.end(); ++mp) // poprzedniki w mgraph
-    {
-      vector<int>& spredecessors = mgraph[*mp].snodes;
-      for(vector<int>::iterator sp = spredecessors.begin(); sp != spredecessors.end(); ++sp )
-        if(sgraph[*sp].visible_as_neighbour || !strict)
-          push(wayup,*sp);
-    }
-}
-
-
-//----------------------------------------------------------------------------------------------------
-//----------------------------------------------------------------------------------------------------
-
-class LNiterator
+      {
+        wayup.push(a->dst);
+        if(debug) fprintf(stderr,"\t\tLHiterator(%d)\tPUSH %d\n",snode,-1);
+      }
+}
+
+//----------------------------------------------------------------------------------------------------
+//----------------------------------------------------------------------------------------------------
+
+class LDiterator
 {
 public:
-  LNiterator(SGraph& sg, int n);
+  LDiterator(SGraph& sg, int n);
 
   int next();
 
 private:
-
+  int snode;
   SGraph& sgraph;
   MGraph& mgraph;
-  int thenode;
-  stack<int> wayup;
-
-  void push_ln(int i);
-};
-
-inline LNiterator::LNiterator(SGraph& sg, int n) : sgraph(sg), mgraph(sg.mgraph), thenode(n)
-{
-  push_ln(n);
-}
-
-inline int LNiterator::next()
-{
-  if(wayup.empty())
-    return -1;
-  else
-    {
-      int i = wayup.top();
-      wayup.pop();
-      return i;
-    };
-}
-
-inline void LNiterator::push_ln(int i)
-{
-  vector<int>& mpredecessors = mgraph[sgraph[i].mnode].pred;
-  for(vector<int>::iterator mp = mpredecessors.begin(); mp != mpredecessors.end(); ++mp) // poprzedniki w mgraph
-    {
-      vector<int>& spredecessors = mgraph[*mp].snodes;
-      for(vector<int>::iterator sp = spredecessors.begin(); sp != spredecessors.end(); ++sp )
-          wayup.push(*sp);
-    }
-}
-
-
-//----------------------------------------------------------------------------------------------------
-//----------------------------------------------------------------------------------------------------
-
-class LHiterator
-{
-public:
-  LHiterator(SGraph& sg, int n);
-
-  int next();
-
-private:
-
-  SGraph& sgraph;
-  MGraph& mgraph;
-  stack<int> wayup;
-
-  void push_lh(int i);
-};
-
-inline LHiterator::LHiterator(SGraph& sg, int n) : sgraph(sg), mgraph(sg.mgraph)
-{
-  push_lh(n);
-}
-
-inline int LHiterator::next()
-{
-  if(wayup.empty())
-        return -1; 
-  else
-    {
-      int i = wayup.top();
-      wayup.pop();
-      push_lh(i);
-      return i;
-    };
-}
-
-inline void LHiterator::push_lh(int i)
-{
-  vector<Arc>& arcs = sgraph[i].heads;
-  for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
-    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[i].mnode].pos)
-      wayup.push(a->dst);
-}
-
-//----------------------------------------------------------------------------------------------------
-//----------------------------------------------------------------------------------------------------
-
-class LDiterator
-{
-public:
-  LDiterator(SGraph& sg, int n);
-
-  int next();
-
-private:
-
-  SGraph& sgraph;
-  MGraph& mgraph;
-  int thenode;
   stack<int> waydown;
 
@@ -516 +544 @@
 };
 
-inline LDiterator::LDiterator(SGraph& sg, int n) : sgraph(sg), mgraph(sg.mgraph), thenode(n)
+inline LDiterator::LDiterator(SGraph& sg, int n) : sgraph(sg), mgraph(sg.mgraph), snode(n)
 {
   push_ld(n);
@@ -538 +566 @@
   vector<Arc>& arcs = sgraph[i].deps;
   for(vector<Arc>::iterator a = arcs.begin(); a != arcs.end(); ++a)
-    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[thenode].mnode].pos)
-      waydown.push(a->dst);
-}
-
-
+    if(mgraph[sgraph[a->dst].mnode].pos < mgraph[sgraph[snode].mnode].pos)
+      {
+        waydown.push(a->dst);
+        if(debug) fprintf(stderr,"\t\tLDiterator(%d)\tPUSH %d\n",snode,-1);
+      }
+}
 
 #endif

src/sen/sen.l

@@ -54 +54 @@
 .*                        { ECHO; set_position(); }
 
-<<EOF>>                   { printf("%04d 00 EOS *\n",pos+len); exit(1); }
+<<EOF>>                   { printf("%04d 00 EOS *\n",pos+len); exit(0); }
 
 %%

src/tre/tre

@@ -13 +13 @@
 [ '--format',   '-F',   GetoptLong::REQUIRED_ARGUMENT ],
 [ '--info',     '-I',   GetoptLong::REQUIRED_ARGUMENT ],
+[ '--dgpids',           GetoptLong::NO_ARGUMENT ],
+[ '--graph',            GetoptLong::NO_ARGUMENT ],
+[ '--uniq',     '-u',   GetoptLong::NO_ARGUMENT ],
+[ '--utt',              GetoptLong::NO_ARGUMENT ],
 [ '--span',     '-s',   GetoptLong::REQUIRED_ARGUMENT ],
 [ '--maxsize',          GetoptLong::REQUIRED_ARGUMENT ],
 [ '--forest',           GetoptLong::NO_ARGUMENT ],
-[ '--ground',           GetoptLong::NO_ARGUMENT ],
 [ '--only-trees','-t',  GetoptLong::NO_ARGUMENT ])
 
-$helptext=
-"The program generates trees from the graph output by dgp. dgp must\n"+
-"must be run with '--info=ds' option.\n\n"+
-"Command:       tre [options]\n\n"+
-"Options:\n"+
-"--help         -h      Print help (this text) and exit.\n"+
-"--debug        -d      Verbose output. For developers only.\n"+
-"--format=s     -F s    Output format. Recognized values:\n"+
-"                               a       root + list of arcs\n"+
-"                               p       parenthesized notation\n"+
-"                               h       human readable indented tree format\n"+
-"                       Multiple values are allowed. (default p)\n"+
-"--info=s       -I s    Information printed. Recognized values:\n"+
-"                               n       node identifier\n"+
-"                               f       surface form\n"+
-"                               m       morphological information\n"+
-"                               l       arc labels\n"+
-"--only-trees   -t      Do not copy input. Print trees only.\n"
+$helptext = <<END
+The program generates trees from the graph output by dgp. dgp must be run 
+with '--info=ds' option.
+
+Command:       tre [options]
+
+Options:
+--help         -h      Print help (this text) and exit.
+--debug        -d      Verbose output. For developers only.
+--format=s     -F s    Output format. Recognized values:
+                               a       root + list of arcs
+                               p       parenthesized notation
+                               h       human readable indented format
+                               c       CONLL format
+                       Multiple values are allowed. (default p)
+--info=s       -I s    Information printed. Recognized values:
+                               n       node identifier
+                               f       surface form
+                               m       morphological information
+                               l       arc labels\
+--gphids               Used gph node identifiers (default: linear)
+--dgpids               Used dgp node identifiers (default: linear)
+--graph                Do not generate trees, just print the graph.
+--uniq         -u      Remove duplicate trees.
+--utt                  UTT formatted output.
+
+END
 
 $DEBUG=false
 $FORMAT='p'
 $INFO='DEFAULT'
-$ONLYTREES=false
+$UTTOUTPUT=false
 $START=nil
 $END=nil
 $FOREST=false
 $MAXSIZE=nil
+$GPHIDS=false
+$DGPIDS=false
+$GRAPH==false
 
 opts.each do |opt, arg|
@@ -58 +73 @@
   when '--info'
     $INFO=arg
-  when '--only-trees'
-    $ONLYTREES=true
+  when '--gphids'
+    $GPHIDS=true
+  when '--dgpids'
+    $DGPIDS=true
+  when '--graph'
+    $GRAPH=true
+  when '--uniq'
+    $UNIQ=true
+  when '--utt'
+    $UTTOUTPUT=true
   when '--forest'
     $FOREST=true
-  when '--ground'
-    $GROUND=true
   when '--maxsize'
     $MAXSIZE=arg.to_i
@@ -76 +97 @@
   case $FORMAT
     when 'p','a'
-    $INFO='nl'
+    $INFO='fl'
     when 'h'
     $INFO='fmnl'
@@ -95 +116 @@
   for line in input
     seg=Seg.new(line)
-    print line unless $ONLYTREES || seg.field(3) == 'EOS'
+    print line if $UTTOUTPUT && seg.field(3) == 'EOS'
     
     if dgp=seg['dgp']
@@ -122 +143 @@
 
         $pref = "#{seg[1]} #{seg[2]} SYN *"
-
         parsegraph(nodes)
-
         set_ord #(0...(nodes.length)).each{|i| set_distance_from_i i }
-
         printgraph if $DEBUG
-
-        if $GROUND
-          printground
+        if $GRAPH
+          if $FORMAT =~ /c/
+            printconll
+          else
+            printground
+          end
         else
           thetrees = $FOREST ? genforest : gentrees
-          
-          output_trees thetrees
-          
-          print line unless $ONLYTREES
-          
-          $gphid=[]   # POWTÓRZENIE
+          outputs = output_trees thetrees
+          outputs = outputs.sort.uniq if $UNIQ
+          print outputs.join
+          print line if $UTTOUTPUT
+          $gphid=[]
           $form=[]
           $lem=[] 
@@ -154 +174 @@
 
 def output_trees trees
+  
+  outputs = []
+  
   for t in trees
     $count += 1
@@ -160 +183 @@
     t1=t
 
-    span = $FOREST ? " span:" + (ground_tree_min(t1).to_s + ","+ground_tree_max(t1).to_s)+";" : ""
+    # span = $FOREST ? " span:" + (ground_tree_min(t1).to_s + ","+ground_tree_max(t1).to_s)+";" : ""
+    # case $FORMAT
+    # when /a/
+    #   outputs << "#{$pref} tre:#{$count}#{span} #{arc_output(t1)}\n"
+    # when /p/
+    #   outputs << "#{$pref}#{span} tre:#{$count} par:#{par_output(t1)}\n"
+    # when /h/
+    #   outputs << "#\n# tree #{$count}\n# ------\n#{dgp_output(t1,0)}"
+    # when /c/
+    #   outputs << conll_output(t1,0)
+    # end
+
     case $FORMAT
     when /a/
-      print "#{$pref} tre:#{$count}#{span} #{arcsinfo(t1[0],t1[1])}"
-#       print arcsinfo(t1[0],t1[1])
-      print "\n"
+      outputs << "#{arc_output(t1)}\n"
     when /p/
-      print "#{$pref}#{span} tre:#{$count} par:"
-      printpar(t1[0],t1[1])
-      print "\n"
+      outputs << "#{par_output(t1)}\n"
     when /h/
-      print "#\n# tree #{$count}\n# ------\n"
-      printtree_dgp(t1[0],t1[1],0)
-    end
-  end
-end
-
+      outputs << human_output(t1,0)
+    when /c/
+      outputs << conll_output(t1,0)
+    end
+
+  end
+
+  outputs
+
+end
+
+def id_output id
+  if $DGPIDS then id elsif $GPHIDS then $gphid[id] else $ord1[$gphid[id]] end
+end
 
 def nodeinfo(id)
@@ -186 +224 @@
   end
   if $INFO =~ /n/
-    info += gphid.to_s                           
+    info += id_output(id).to_s                           
     info += '.' if $INFO =~ /[fm]/
   end
@@ -200 +238 @@
 
 
-def arcsinfo(root,arcs)
+def arc_output(tree)
+  root, arcs = tree
   "head:#{nodeinfo(root)} links:" + arcs.map{|a| "(#{($INFO =~ /l/) ? a[2]+":" : ""}#{nodeinfo(a[0])}-#{nodeinfo(a[1])})"}.join("")
-#   for a in arcs
-#     print ';'
-#     print "#{a[2]}:" if $INFO =~ /l/
-#       print nodeinfo(a[0])+'-'+nodeinfo(a[1])
-#   end
 end
 
@@ -221 +255 @@
 end
 
-def printtree_dgp(root,arcs,o)
+def human_output(tree,o)
+  root, arcs = tree
+  output = ''
   if o==0
-        print "%-16s" % "root: "
-  end
-  print nodeinfo(root),"\n"
+        output += "%-16s" % "root: "
+  end
+  output += nodeinfo(root) + "\n"
   for arc in arcs.select{ |a| a[0]==root }.sort{|a,b| a[1]<=>b[1] }
-    print "   "*(o+1)
-    print "%-16s" % (arc[2]+": ")
-    printtree_dgp(arc[1],arcs,o+1)
-  end
-end
-
-# old:
-# def printpar(root,arcs)
-#   print nodeinfo(root)
-#   deps = arcs.select{ |a| a[0]==root }.sort{|a,b| a[1]<=>b[1] }
-#   unless deps == []
-#     print '('
-#     cont=false
-#     for arc in deps
-#       if cont then print ',' else cont=true end
-#       print arc[2],':' if $INFO =~ /l/
-#       printpar(arc[1],arcs)
-#     end
-#     print ')'
-#   end
-# end
-
-def printpar(root,arcs)
-  
+    output += "   "*(o+1)
+    output += "%-16s" % (arc[2]+": ")
+    output += human_output([arc[1],arcs],o+1)
+  end
+  output
+end
+
+def conll_output(tree,o)
+  root,arcs = tree
+  nodes = ([root] + arcs.map{|a| a[1]}).sort{|a,b| $gphid[a] <=> $gphid[b]}
+  conll_lines = []
+  for i in nodes
+    gphid = $gphid[i]
+    id = $ord1[gphid]
+    form = $form[gphid]
+    /^(?<lemma>.*),(?<cpostag>[^\/]*)(\/(?<feats>.+))?/ =~ $lem[gphid]
+    thearcs = arcs.select{|a| a[1]==i }.map{|a| [$ord1[$gphid[a[0]]],a[2]] } 
+    thearcs = [[0,'root']] if thearcs.empty?
+    for a in thearcs
+      head,deprel = a
+      conll_lines << [id,form,lemma,cpostag,cpostag,feats,head,deprel,nil,nil].map{|s| s ? s.to_s : "_"}.join("\t")
+    end
+  end
+  conll_lines.join("\n") + "\n\n"
+end
+
+def par_output(tree)
+  root, arcs = tree
   ldeps = arcs.select{|a| a[0]==root and $gphid[a[1]] < $gphid[root]}.sort{|a,b| $gphid[a[1]]<=>$gphid[b[1]] }
   rdeps = arcs.select{|a| a[0]==root and $gphid[a[1]] > $gphid[root]}.sort{|a,b| $gphid[a[1]]<=>$gphid[b[1]] }
 
-  for arc in ldeps
-    print ' ('
-    print arc[2].upcase if $INFO =~ /l/
-    printpar(arc[1],arcs)
-    print ')'
-  end
-
-  print ' ',nodeinfo(root)
-
-  for arc in rdeps
-    print ' ('
-    print arc[2].upcase if $INFO =~ /l/
-    printpar(arc[1],arcs)
-    print ')'
-  end
+  output = ''
+
+  output_left  = ldeps.map{|arc| ' (' + (($INFO =~ /l/) ? arc[2].upcase : '') + par_output([arc[1],arcs]) + ')'}.join
+  output_right = rdeps.map{|arc| ' (' + (($INFO =~ /l/) ? arc[2].upcase : '') + par_output([arc[1],arcs]) + ')'}.join
+
+  # for arc in ldeps
+  #   output += ' ('
+  #   output += arc[2].upcase if $INFO =~ /l/
+  #   output += par_output(arc[1],arcs)
+  #   output += ')'
+  # end
+
+  # print ' ',nodeinfo(root)
+
+  # for arc in rdeps
+  #   print ' ('
+  #   print arc[2].upcase if $INFO =~ /l/
+  #   printpar(arc[1],arcs)
+  #   print ')'
+  # end
+
+  output_left + ' ' + nodeinfo(root) + output_right
+
 end
 
@@ -467 +515 @@
 end
 
+def printconll
+  for i in 1...($form.length-1)
+    id = $ord1[i]
+    form = $form[i]
+    /^(?<lemma>.*),(?<cpostag>[^\/]*)(\/(?<feats>.+))?/ =~ $lem[i]
+    arcs = $arcs.select{|a| $ord1[$gphid[a[1]]] == $ord1[i]}.map{|a| [$ord1[$gphid[a[0]]],a[2]]}.sort.uniq
+    arcs = [[0,'root']] if arcs.empty?
+    for a in arcs
+      head,deprel = a
+      puts [id,form,lemma,cpostag,cpostag,feats,head,deprel,nil,nil].map{|s| s ? s.to_s : "_"}.join("\t")
+    end
+  end
+  puts
+end
+
 
 def set_to_s(s) "{#{s.join(',')}}" end