Struct biodivine_sketchbook::sketchbook::data_structs::_uninterpreted_fn_data::UninterpretedFnData

pub struct UninterpretedFnData {
    pub id: String,
    pub name: String,
    pub annotation: String,
    pub arguments: Vec<(Monotonicity, Essentiality)>,
    pub expression: String,
}

Structure for sending data about UninterpretedFn to the frontend.

UninterpretedFnData does not have the exact same fields as UninterpretedFn (for instance, there is an additional useful field id). Some fields of UninterpretedFnData are simplified to allow easier (de)serialization and manipulation.

Fields

id: String

name: String

annotation: String

arguments: Vec<(Monotonicity, Essentiality)>

expression: String

Implementations

impl UninterpretedFnData

pub fn new( id: &str, name: &str, annot: &str, arguments: &[FnArgument], expression: &str, ) -> UninterpretedFnData

Create new UninterpretedFnData object given an uninterpreted fn’s name, arity, and id.

pub fn from_fn( fn_id: &UninterpretedFnId, uninterpreted_fn: &UninterpretedFn, ) -> UninterpretedFnData

Create new UninterpretedFnData object given an uninterpreted function and its id.

pub fn to_uninterpreted_fn( &self, model: &ModelState, ) -> Result<UninterpretedFn, String>

Extract new UninterpretedFn instance from this data (if the function’s expression is valid).

Model is given for validity check during parsing the function’s expression.

Trait Implementations

impl Clone for UninterpretedFnData

fn clone(&self) -> UninterpretedFnData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UninterpretedFnData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UninterpretedFnData

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 UninterpretedFnData

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 UninterpretedFnData

fn eq(&self, other: &UninterpretedFnData) -> 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 UninterpretedFnData

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 UninterpretedFnData