Struct biodivine_sketchbook::sketchbook::model::UpdateFn

pub struct UpdateFn {
    expression: String,
    tree: Option<FnTree>,
}

Update function of a BooleanNetwork.

Fields

expression: String

tree: Option<FnTree>

Implementations

impl UpdateFn

pub fn try_from_str( expression: &str, context: &ModelState, ) -> Result<UpdateFn, String>

Create new UpdateFn from a provided expression.

The expression is either a valid update fn expression or an empty (possible whitespace) string.

pub fn new_empty() -> UpdateFn

Make an “empty” update function (same as Self::default).

pub fn get_fn_expression(&self) -> &str

Get function’s expression.

pub fn is_unspecified(&self) -> bool

Check if the update function is empty (fully unspecified).

pub fn set_fn_expression( &mut self, new_expression: &str, context: &ModelState, ) -> Result<(), String>

Set the update function’s expression to a given string.

pub fn to_fn_update(&self, context: &BooleanNetwork) -> Option<FnUpdate>

Return a set of all variables that are actually used as inputs in this function.

pub fn collect_variables(&self) -> HashSet<VarId>

Return a set of all variables that are actually used as inputs in this function.

pub fn collect_fn_symbols(&self) -> HashSet<UninterpretedFnId>

Return a set of all uninterpreted fns that are actually used in this function.

pub fn substitute_var( &mut self, old_id: &VarId, new_id: &VarId, context: &ModelState, )

Substitute all occurrences of a given function symbol in the syntactic tree.

pub fn substitute_fn_symbol( &mut self, old_id: &UninterpretedFnId, new_id: &UninterpretedFnId, context: &ModelState, )

Substitute all occurrences of a given function symbol in the syntactic tree.

pub fn with_substituted_fn_symbol( original_fn: UpdateFn, old_id: &UninterpretedFnId, new_id: &UninterpretedFnId, context: &ModelState, ) -> UpdateFn

Create update function from another one, substituting all occurrences of a given function symbol in the syntactic tree. The provided original function object is consumed.

pub fn with_substituted_var( original_fn: UpdateFn, old_id: &VarId, new_id: &VarId, context: &ModelState, ) -> UpdateFn

Create update function from another one, substituting all occurrences of a given variable in the syntactic tree. The provided original function object is consumed.

Trait Implementations

impl Clone for UpdateFn

fn clone(&self) -> UpdateFn

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UpdateFn

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

Formats the value using the given formatter.

impl Default for UpdateFn

fn default() -> UpdateFn

Default “empty” update function.

impl<'de> Deserialize<'de> for UpdateFn

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for UpdateFn

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

Formats the value using the given formatter.

impl PartialEq for UpdateFn

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for UpdateFn

impl StructuralPartialEq for UpdateFn