NAME

cru - co-recursion utilities

SYNOPSIS

#include <cru/cru.h>

DESCRIPTION

cru is a C library for high-performance, high-level operations on memory resident graphs, with possible applications to model checking, finite element analysis, and financial derivatives valuation among other things. The library is designed with robust memory management to handle graphs typically on the order of millions to tens of millions of vertices, and allows the flexibility of graph vertices and edge labels being scalar values or pointers to dynamic storage as the application requires.

Everything cru does is concurrent with configurably many threads and with all necessary thread synchronization managed automatically. Some things possible with cru are:

• building a gigantic graph from a seed by simple production rules with duplicate vertices automatically pruned
• traversing a graph depth first, breadth first, backwards, forwards, or in order of best concurrency to compute any metrics about it
• classifying, clustering, and collecting graph vertices by arbitrary criteria
• inserting, transplanting, overwriting, or removing edges and vertices at multiple sites in a graph according to user-defined rewrite rules depending on local conditions
• non-destructively deep-copying or sharing a graph
• forming a product of two graphs by some definition

Please refer to the README file or the project page for more of an overview, and to these manual pages for detailed API specifications starting with the cru_function_types and cru_data_types pages.

FILES

/usr/local/share/doc/cru/README.md

SEE ALSO

cru_bop, cru_bpred, cru_builder, cru_built, cru_cbop, cru_classifier, cru_class_of, cru_class_size, cru_composed, cru_composer, cru_connect, cru_connector, cru_cqop, cru_crossed, cru_crosser, cru_ctop, cru_ctop_pair, cru_ctop_quad, cru_data_types, cru_deduplicated, cru_destructor, cru_destructor_pair, cru_edge_count, cru_fabricated, cru_fabricator, cru_filter, cru_filtered, cru_fold, cru_free_kill_switch, cru_free_later, cru_free_now, cru_free_partition, cru_function_types, cru_get, cru_hash, cru_induced, cru_inducer, cru_kernel, cru_kill, cru_killed, cru_mapreduced, cru_mapreducer, cru_merged, cru_merger, cru_mutated, cru_mutator, cru_new_kill_switch, cru_nop, cru_order, cru_order_pair, cru_partition_of, cru_plan, cru_postponed, cru_postponer, cru_prop, cru_prop_pair, cru_pruner, cru_qop, cru_qpred, cru_set, cru_sig, cru_singleton, cru_split, cru_splitter, cru_spread, cru_strerror, cru_stretch, cru_stretched, cru_stretcher, cru_subconnector, cru_terminus_count, cru_top, cru_tpred, cru_united, cru_uop, cru_vertex_count, cru_zone

AUTHOR

Dennis Furey (milonga@delayinsensitive.com)

PROJECT PAGE

https://github.com/gueststar/cru