catlog_wasm

Module model_morphism

Source
Expand description

Wasm bindings for morphisms between models of a double theory.

Structs§

MotifOccurrence
Occurrence of a motif.
MotifsOptions
Options for motif finder.

Functions§

motifs
Find motifs in a model of a discrete double theory.