Crate kure2 

Rust wrapper for Kure, a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagrams. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.

Historically, the Kure library originates from the RelView tool. Today, Kure is a standalone library that does not depend on any part of the RelView tool.

Modules

fmt

Formatting and parsing for Relation.

lang

The Kure-Lua bindings and the embedded language.

Structs

Context

A context for managing relations in Kure.

Error

An error that can occur in Kure operations.

Relation

A relation, represented using a binary decision diagram (BDD).

Functions

context

Access a pre-initialized context. This is a handle to the local Context.