Function biodivine_sketchbook::inference::results_export::export_results

source ยท 
pub fn export_results(
    path: &str,
    finished_solver: &FinishedInferenceSolver,
    original_sketch: &Sketch,
) -> Result<(), String>
Expand description

Export archive with complete results to the given path. The output archive is tailored for a case where sketch is satisfiable.

The results archive include:

  • a summary report (basically information tracked by the InferenceResults struct)
  • original sketch in JSON format for replicability in SketchBook
  • BDD with satisfying colors
  • a PSBN model derived from the sketch (in aeon format) that can be used as a context for the BDD
  • a folder with admissible update function variants per variable