Struct biodivine_sketchbook::algorithms::eval_static::processed_props::ProcessedStatProp

pub struct ProcessedStatProp {
    pub id: String,
    pub formula: String,
}

Processed static property encoded in FOL.

If we ever need more variants than just FOL prop, make this enum (like the one used for dynamic props).

Fields

id: String

formula: String

Implementations

impl ProcessedStatProp

Simplified constructors for processed dynamic properties.

pub fn mk_fol(id: &str, formula: &str) -> ProcessedStatProp

Create FOL ProcessedStatProp instance.

pub fn id(&self) -> &str

Get ID of the processed property.

Trait Implementations

impl Clone for ProcessedStatProp

fn clone(&self) -> ProcessedStatProp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessedStatProp

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

Formats the value using the given formatter.

impl PartialEq for ProcessedStatProp

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

impl StructuralPartialEq for ProcessedStatProp