elaborate_model

catlog_wasm::model

Function elaborate_model 

Source 
pub fn elaborate_model(
    notebook: &ModelNotebook,
    instantiated: &DblModelMap,
    theory: &DblTheory,
) -> Result<DblModel, String>
Expand description

Elaborates a model defined by a notebook into a catlog model.