Enum biodivine_lib_param_bn::_aeon_parser::FnUpdateTemp

pub(crate) enum FnUpdateTemp {
    Const(bool),
    Var(String),
    Param(String, Vec<String>),
    Not(Box<FnUpdateTemp>),
    Binary(BinaryOp, Box<FnUpdateTemp>, Box<FnUpdateTemp>),
}

(internal) A helper enum for representing a parsed FnUpdate that has not been integrated into a BooleanNetwork yet.

Variants

Const(bool)

Var(String)

Param(String, Vec<String>)

Not(Box<FnUpdateTemp>)

Binary(BinaryOp, Box<FnUpdateTemp>, Box<FnUpdateTemp>)

Implementations

impl FnUpdateTemp

pub fn unknown_variables_to_parameters(
    self,
    rg: &RegulatoryGraph
) -> Box<FnUpdateTemp>

Replace all variables that are not valid in the given RegulatoryGraph with unary parameters.

pub fn dump_parameters(&self, result: &mut HashSet<Parameter>)

Write all parameters that appear in this function into a given set.

Note that if there are parameters with the same name but different cardinality, both will appear in the set because the instances are not equivalent.

pub fn dump_variables(&self, result: &mut HashSet<String>)

Write all variables that appear in the function to the given set.

pub fn into_fn_update(
    self,
    bn: &BooleanNetwork
) -> Result<Box<FnUpdate>, String>

Safely build an actual update function using the information from the given BooleanNetwork.

Fail if some variable or parameter is used inconsistently with the way they appear in the network.

fn get_variable(bn: &BooleanNetwork, name: &str) -> Result<VariableId, String>

(internal) Utility method to safely obtain a variable id from a network with an appropriate error.

fn get_parameter(bn: &BooleanNetwork, name: &str) -> Result<ParameterId, String>

(internal) Utility method to safely obtain a parameter id from a network with an appropriate error.

fn check_parameter_arity(
    parameter: &Parameter,
    args: &[String]
) -> Result<(), String>

(internal) Generate an error message if the given parameter does not have arity matching the given args list.

Trait Implementations

impl Clone for FnUpdateTemp

fn clone(&self) -> FnUpdateTemp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FnUpdateTemp

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

Formats the value using the given formatter.

impl Display for FnUpdateTemp

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

Formats the value using the given formatter.

impl Hash for FnUpdateTemp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<FnUpdateTemp> for FnUpdateTemp

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl TryFrom<&'_ str> for FnUpdateTemp

type Error = String

The type returned in the event of a conversion error.

fn try_from(value: &str) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for FnUpdateTemp

impl StructuralEq for FnUpdateTemp

impl StructuralPartialEq for FnUpdateTemp