io

Value Members

1. object FileUtil

   

2. object MapEdgeLabels

   

   Maps a file of edges with application-specific labels to a file of edges with numeric tempest ids.

   Maps a file of edges with application-specific labels to a file of edges with numeric tempest ids. Given

   • a csv file mapping node label to tempest_id (with lines of the form ","), - a file with edges (with lines of the form ","), and - an output file, this object maps the given edges to tempest ids, and creates the output file with lines of the form " ".