Struct IfdsProblemFixture

Source

pub struct IfdsProblemFixture {
    pub num_procs: u32,
    pub blocks_per_proc: u32,
    pub facts_per_proc: u32,
    pub intra_edges: Vec<(u32, u32, u32)>,
    pub inter_edges: Vec<(u32, u32, u32, u32)>,
    pub flow_gen: Vec<(u32, u32, u32)>,
    pub flow_kill: Vec<(u32, u32, u32)>,
    pub seed_facts: Vec<(u32, u32, u32)>,
    pub expected_reached: Vec<u32>,
}

Expand description

Complete IFDS problem fixture consumed by oracle and resident tests.

Fields§

§num_procs: u32§blocks_per_proc: u32§facts_per_proc: u32§intra_edges: Vec<(u32, u32, u32)>§inter_edges: Vec<(u32, u32, u32, u32)>§flow_gen: Vec<(u32, u32, u32)>§flow_kill: Vec<(u32, u32, u32)>§seed_facts: Vec<(u32, u32, u32)>§expected_reached: Vec<u32>

IfdsProblemFixture

Struct IfdsProblemFixture Copy item path

Fields§

Trait Implementations§

impl Clone for IfdsProblemFixture

fn clone(&self) -> IfdsProblemFixture

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

impl Debug for IfdsProblemFixture

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

impl Eq for IfdsProblemFixture

impl PartialEq for IfdsProblemFixture

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

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

impl StructuralPartialEq for IfdsProblemFixture

Auto Trait Implementations§

impl Freeze for IfdsProblemFixture

impl RefUnwindSafe for IfdsProblemFixture

impl Send for IfdsProblemFixture

impl Sync for IfdsProblemFixture

impl Unpin for IfdsProblemFixture

impl UnsafeUnpin for IfdsProblemFixture

impl UnwindSafe for IfdsProblemFixture

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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

type Error = Infallible

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

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

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

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

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Struct IfdsProblemFixture

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

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

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

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

impl<T> ToOwned for T
where T: Clone,

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

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,