Struct CascadeAttractorBasinV0 

pub struct CascadeAttractorBasinV0 {

    pub schema_version: &'static str,
    pub product: &'static str,
    pub layer_marker: &'static str,
    pub feature_gate: &'static str,
    pub basin_id: String,
    pub strategy: AttractorEnumerationStrategyV0,
    pub variable_count: usize,
    pub state_count: usize,
    pub transition_count: usize,
    pub fixed_point_count: usize,
    pub fixed_point_states: Vec<u64>,
    pub transition_digest: Option<String>,
    pub proof: CascadeAttractorBasinProofV0,
}

Fields

schema_version: &'static str

product: &'static str

layer_marker: &'static str

feature_gate: &'static str

basin_id: String

strategy: AttractorEnumerationStrategyV0

variable_count: usize

state_count: usize

transition_count: usize

fixed_point_count: usize

fixed_point_states: Vec<u64>

transition_digest: Option<String>

proof: CascadeAttractorBasinProofV0

Trait Implementations

impl Clone for CascadeAttractorBasinV0

fn clone(&self) -> CascadeAttractorBasinV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CascadeAttractorBasinV0

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

Formats the value using the given formatter.

impl Eq for CascadeAttractorBasinV0

impl PartialEq for CascadeAttractorBasinV0

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

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 CascadeAttractorBasinV0