Module export 

JSON export schema for example payloads.

Structs

ExampleDb

Canonical exported database of model and rule examples.

ModelDb

Canonical exported database of model examples.

ModelExample

A complete model example: instance + known optimal solution.

ProblemRef

Canonical structural identity for a problem node in the reduction graph.

ProblemSide

One side (source or target) of a reduction.

RuleDb

Canonical exported database of rule examples.

RuleExample

A complete rule example: reduction + solutions in one file.

SolutionPair

One source↔target solution pair.

Functions

lookup_overhead

Look up ReductionOverhead for a direct reduction using ReductionGraph::find_best_entry.

variant_to_map

Convert Problem::variant() output to a stable BTreeMap.

write_example_db_to

Write the canonical example database as a wrapped JSON object.

write_model_db_to

Write the canonical model database as a wrapped JSON object.

write_model_example_to

Write a model example JSON file to a target directory.

write_rule_db_to

Write the canonical rule database as a wrapped JSON object.

write_rule_example_to

Write a merged rule example JSON file.