Struct biodivine_sketchbook::inference::inference_results::InferenceResults

pub struct InferenceResults {
    pub analysis_type: InferenceType,
    pub num_sat_networks: u128,
    pub comp_time: u128,
    pub summary_message: String,
    pub progress_statuses: Vec<InferenceStatusReport>,
    pub num_update_fns_per_var: HashMap<String, usize>,
}

Object encompassing inference results that are to be send to frontend. It does not contain any intermediate or raw results, these are kept on backend only.

Fields

analysis_type: InferenceType

Type of the conducted inference analysis.

num_sat_networks: u128

Number of satisfying networks.

comp_time: u128

Computation time in miliseconds.

summary_message: String

String message summarizing computation to be displayed/logged on frontend.

progress_statuses: Vec<InferenceStatusReport>

All status updates of the solver (from creation to finish).

num_update_fns_per_var: HashMap<String, usize>

Number of admissible update functions per each variable.

Implementations

impl InferenceResults

pub fn new( analysis_type: InferenceType, num_sat_networks: u128, comp_time: Duration, summary_message: &str, progress_statuses: Vec<InferenceStatusReport>, num_update_fns_per_var: HashMap<String, usize>, ) -> InferenceResults

Create new InferenceResults given all the details.

pub fn extend_summary(&mut self, new_message: &str)

Append string to the end of current metadata.

pub fn format_to_report(&self) -> String

Prepare a formated summary of inference results, basically a “report” on the computation progress and results.

Trait Implementations

impl Clone for InferenceResults

fn clone(&self) -> InferenceResults

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InferenceResults

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for InferenceResults

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'de> JsonSerde<'de> for InferenceResults

fn to_json_str(&self) -> String

Wrapper for json serialization.

fn to_pretty_json_str(&self) -> String

Wrapper for pretty json serialization with indentation.

fn from_json_str(s: &'de str) -> Result<Self, String>

Wrapper for json de-serialization.

impl PartialEq for InferenceResults

fn eq(&self, other: &InferenceResults) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for InferenceResults

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for InferenceResults