Skip to main content

NetworkSpec

Struct NetworkSpec

pub struct NetworkSpec {
    pub terminals: Vec<String>,
    pub candidates: Vec<CandidateSpec>,
    pub axis_families: Vec<(String, Vec<Vec<String>>)>,
    pub join_requirements: Vec<(String, Vec<String>, Vec<String>)>,
    pub subsumed_arms: Vec<(String, String)>,
    pub cover_limit: usize,
    pub state_limit: usize,
}

Fields§

§terminals: Vec<String>§candidates: Vec<CandidateSpec>§axis_families: Vec<(String, Vec<Vec<String>>)>

(class representative, member carrier lists — order is meaningful).

§join_requirements: Vec<(String, Vec<String>, Vec<String>)>

(canonical, left side keys, right side keys).

§subsumed_arms: Vec<(String, String)>

arm node -> subsuming union node.

§cover_limit: usize§state_limit: usize

Auto Trait Implementations§

impl Freeze for NetworkSpec

impl RefUnwindSafe for NetworkSpec

impl Send for NetworkSpec

impl Sync for NetworkSpec

impl Unpin for NetworkSpec

impl UnsafeUnpin for NetworkSpec

impl UnwindSafe for NetworkSpec

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.