Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • G grew
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • grew
  • grew
  • Issues
  • #5

Closed
Open
Created Jul 13, 2018 by POGODALLA Sylvain@pogodall

keep node names/node identifiers in grew grep

The output of grew grep (at least for graphs declared using the grew format) refers to node with internal identifiers, not with the ones that are given in the grew file.

Example: with example.gr being:

graph {
Noeud1 [vocable="toto"];
Noeud2 [vocable="titi"];
Noeud1 -[forme]-> Noeud2;
}

and pattern-example being:

pattern {N -[forme]-> M}

then grew grep -pattern pattern-example -i example.gr returns:

[ { "sent_id": "example.gr", "matching": { "N": "0", "M": "1" } } ]

It would be more useful to have something like:

[ { "sent_id": "example.gr", "matching": { "N": "Noeud1", "M": "Noeud2" } } ]
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking