/dports/math/giacxcas/giac-1.6.0/src/ |
H A D | graphe.h | 99 typedef std::vector<std::map<int,int> > edgemap; typedef
|
/dports/biology/treepuzzle/tree-puzzle-5.2/ |
H A D | ChangeLog | 165 5.1.pl16 22.04.2003 - orig pstep alg: updating of edgemap outsourced to
|
/dports/databases/postgis25/postgis-2.5.5/doc/po/de/ |
H A D | extras_topology.xml.po | 4404 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4410 "UNION ALL SELECT '\"' || feature_name || '\": ' || AsTopoJSON(feature, 'edgemap')\n" 4415 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 4453 …edgemap(arc_id serial, edge_id int unique);\n\n-- Header\nSELECT '{ \"type\": \"Topology\", \"tran…
|
/dports/databases/postgis25/postgis-2.5.5/doc/po/pt_BR/ |
H A D | extras_topology.xml.po | 5826 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5834 "'edgemap')\n" 5839 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 5881 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5889 "'edgemap')\n" 5894 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis32/postgis-3.2.0/doc/po/pt_BR/ |
H A D | extras_topology.xml.po | 6038 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6046 "'edgemap')\n" 6051 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 6093 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6101 "'edgemap')\n" 6106 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/pt_BR/ |
H A D | extras_topology.xml.po | 5867 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5875 "'edgemap')\n" 5880 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 5922 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5930 "'edgemap')\n" 5935 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/pt_BR/ |
H A D | extras_topology.xml.po | 5815 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5823 "'edgemap')\n" 5828 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 5870 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5878 "'edgemap')\n" 5883 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/de/ |
H A D | extras_topology.xml.po | 6026 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6034 "'edgemap')\n" 6039 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 6081 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6089 "'edgemap')\n" 6094 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/es/ |
H A D | extras_topology.xml.po | 5961 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5969 "'edgemap')\n" 5974 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 6016 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6024 "'edgemap')\n" 6029 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/es/ |
H A D | extras_topology.xml.po | 5909 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5917 "'edgemap')\n" 5922 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 5964 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5972 "'edgemap')\n" 5977 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/de/ |
H A D | extras_topology.xml.po | 5974 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5982 "'edgemap')\n" 5987 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 6029 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 6037 "'edgemap')\n" 6042 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis25/postgis-2.5.5/doc/po/es/ |
H A D | extras_topology.xml.po | 5923 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5931 "'edgemap')\n" 5936 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 5978 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5986 "'edgemap')\n" 5991 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis32/postgis-3.2.0/doc/po/es/ |
H A D | extras_topology.xml.po | 4766 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4772 "UNION ALL SELECT '\"' || feature_name || '\": ' || AsTopoJSON(feature, 'edgemap')\n" 4777 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 4815 …edgemap(arc_id serial, edge_id int unique);\n\n-- encabezado\nSELECT '{ \"type\": \"Topology\", \"…
|
/dports/databases/postgis32/postgis-3.2.0/doc/po/de/ |
H A D | extras_topology.xml.po | 4763 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4769 "UNION ALL SELECT '\"' || feature_name || '\": ' || AsTopoJSON(feature, 'edgemap')\n" 4774 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n" 4812 …edgemap(arc_id serial, edge_id int unique);\n\n-- Header\nSELECT '{ \"type\": \"Topology\", \"tran…
|
/dports/databases/postgis25/postgis-2.5.5/doc/po/templates/ |
H A D | extras_topology.xml.pot | 4456 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4464 "'edgemap')\n" 4469 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/templates/ |
H A D | extras_topology.xml.pot | 4495 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4503 "'edgemap')\n" 4508 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/templates/ |
H A D | extras_topology.xml.pot | 4443 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4451 "'edgemap')\n" 4456 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/fr/ |
H A D | extras_topology.xml.po | 4700 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4708 "'edgemap')\n" 4713 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/pl/ |
H A D | extras_topology.xml.po | 4741 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4749 "'edgemap')\n" 4754 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/fr/ |
H A D | extras_topology.xml.po | 4752 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4760 "'edgemap')\n" 4765 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/it_IT/ |
H A D | extras_topology.xml.po | 4831 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4839 "'edgemap')\n" 4844 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis30/postgis-3.0.4/doc/po/it_IT/ |
H A D | extras_topology.xml.po | 4779 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4787 "'edgemap')\n" 4792 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis31/postgis-3.1.4/doc/po/pl/ |
H A D | extras_topology.xml.po | 4793 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4801 "'edgemap')\n" 4806 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis25/postgis-2.5.5/doc/po/pl/ |
H A D | extras_topology.xml.po | 4739 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 4747 "'edgemap')\n" 4752 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|
/dports/databases/postgis32/postgis-3.2.0/doc/po/fr/ |
H A D | extras_topology.xml.po | 5028 "CREATE TEMP TABLE edgemap(arc_id serial, edge_id int unique);\n" 5036 "'edgemap')\n" 5041 " SELECT m.arc_id, e.geom FROM edgemap m, city_data.edge e\n"
|