api: server: add getNbNodes and getNbEdges methods to Dataset class
c523be098e9f
Actions

Description

api: server: add getNbNodes and getNbEdges methods to Dataset class

Provenance

haltode	Authored on May 12 2019, 12:59 PM
haltode	Pushed on May 12 2019, 12:59 PM

Parents

rDGRPH1788535e8a30: api: server: algo: add 'Stats' operation

Branches

Unknown

Tags

Unknown

Path

Size

api/

server/

src/

main/

java/

org/

softwareheritage/

graph/