Module aif 

AIF (Argument Interchange Format) — AIFdb JSON serialization.

Supports round-tripping a crate::SchemeInstance through the community-standard AIFdb JSON format. See the crate README for the exact mapping between our types and AIF nodes/edges.

Structs

AifDocument

A full AIF document: nodes, edges, and two fields we emit as empty arrays for round-trip fidelity with AIFdb output.

AifEdge

A directed edge between two AIF nodes.

AifNode

A single AIF node. The type field discriminates:

Functions

aif_to_instance

Import an AIF document back into a crate::instance::SchemeInstance.

instance_to_aif

Export a crate::instance::SchemeInstance to an AIF document.