DiGraph

Description: A library for representing and manipulating directed graph structures. Beside basic graphs, it supports various operations such as removal, traversal, and transposition, implemented as optional features.

Generator: FeatureHouse

Authors:

Institution:

Language: Java, JML

Development tool: FeatureIDE

Number of Features:

Lines of code*:

Number of classes:

Number of products:

Repository:

Website:

License:

Upload date: 2013-04-24

Last updated: 2013-04-24

Download: DiGraph.zip