Enum biodivine_sketchbook::algorithms::eval_dynamic::processed_props::ProcessedDynProp

pub enum ProcessedDynProp {
    ProcessedAttrCount(ProcessedAttrCount),
    ProcessedTrapSpace(ProcessedTrapSpace),
    ProcessedHctlFormula(ProcessedHctlFormula),
}

Enum for processed variants of dynamic properties.

Variants

ProcessedAttrCount(ProcessedAttrCount)

ProcessedTrapSpace(ProcessedTrapSpace)

ProcessedHctlFormula(ProcessedHctlFormula)

Implementations

impl ProcessedDynProp

Simplified constructors for processed dynamic properties.

pub fn mk_hctl(id: &str, formula: &str) -> ProcessedDynProp

Create HCTL ProcessedDynProp instance.

pub fn mk_trap_space( id: &str, dataset: Dataset, minimal: bool, nonpercolable: bool, ) -> ProcessedDynProp

Create trap-space ProcessedDynProp instance. To encode single observation, make a singleton dataset.

pub fn mk_attr_count( id: &str, minimal: usize, maximal: usize, ) -> ProcessedDynProp

Create attractor-count ProcessedDynProp instance.

pub fn id(&self) -> &str

Get ID of the underlying processed property.

Trait Implementations

impl Clone for ProcessedDynProp

fn clone(&self) -> ProcessedDynProp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessedDynProp

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

Formats the value using the given formatter.

impl PartialEq for ProcessedDynProp

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

impl StructuralPartialEq for ProcessedDynProp