[−][src]Struct ascesis::Harc
A common type of one-to-many and many-to-one arcs of the BF-hypergraph representation of c-e structures.
A hyperarc represents a monomial attached to a node. There are
two possible interpretations of a Harc
: a Join
is a B-arc
which represents causes and a Fork
is an F-arc representing
effects.
Methods
impl Harc
[src]
pub fn new_fork<I>(host_id: NodeID, suit_ids: I) -> Harc where
I: IntoIterator<Item = NodeID>,
[src]
I: IntoIterator<Item = NodeID>,
Fork
's constructor.
See also Harc::new_fork_unchecked()
.
pub fn new_join<I>(host_id: NodeID, suit_ids: I) -> Harc where
I: IntoIterator<Item = NodeID>,
[src]
I: IntoIterator<Item = NodeID>,
Join
's constructor.
See also Harc::new_join_unchecked()
.
pub fn new_fork_unchecked<I>(host_id: NodeID, suit_ids: I) -> Harc where
I: IntoIterator<Item = NodeID>,
[src]
I: IntoIterator<Item = NodeID>,
A more efficient variant of Harc::new_fork()
.
Note: new Fork
is created under the assumption that
suit_ids
are nonempty and listed in ascending order. If the
caller fails to provide an ordered suit, the library may panic
in some other call (the constructor itself panics immediately
in debug mode).
pub fn new_join_unchecked<I>(host_id: NodeID, suit_ids: I) -> Harc where
I: IntoIterator<Item = NodeID>,
[src]
I: IntoIterator<Item = NodeID>,
A more efficient variant of Harc::new_join()
.
Note: new Join
is created under the assumption that
suit_ids
are nonempty and listed in ascending order. If the
caller fails to provide an ordered suit, the library may panic
in some other call (the constructor itself panics immediately
in debug mode).
pub fn get_atom_id(&self) -> NonZeroUsize
[src]
pub fn get_fork_id(&self) -> Option<ForkID>
[src]
pub fn get_join_id(&self) -> Option<JoinID>
[src]
pub fn get_host_id(&self) -> NodeID
[src]
pub fn get_suit_ids(&self) -> &[NodeID]
[src]
Trait Implementations
impl Clone for Harc
[src]
impl Debug for Harc
[src]
impl Eq for Harc
[src]
impl ExclusivelyContextual for Harc
[src]
impl Hash for Harc
[src]
fn hash<H>(&self, state: &mut H) where
H: Hasher,
[src]
H: Hasher,
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl PartialEq<Harc> for Harc
[src]
impl StructuralEq for Harc
[src]
Auto Trait Implementations
impl RefUnwindSafe for Harc
impl Send for Harc
impl Sync for Harc
impl Unpin for Harc
impl UnwindSafe for Harc
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Contextual for T where
T: ExclusivelyContextual,
[src]
T: ExclusivelyContextual,
fn format(&self, ctx: &Arc<Mutex<Context>>) -> Result<String, AcesError>
[src]
fn with(&self, ctx: &Arc<Mutex<Context>>) -> InContext<Self>
[src]
fn with_mut(&mut self, ctx: &Arc<Mutex<Context>>) -> InContextMut<Self>
[src]
impl<T> From<T> for T
[src]
impl<Reference, Outer, OuterFieldType, Inner> HasPart<Nested<Outer, Inner>> for Reference where
Inner: Part,
Outer: Part<PartType = Field<OuterFieldType>>,
OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
Reference: HasPart<Outer> + ?Sized,
Inner: Part,
Outer: Part<PartType = Field<OuterFieldType>>,
OuterFieldType: HasPart<Inner, RawTarget = OuterFieldType> + PartialRefTarget + ?Sized,
Reference: HasPart<Outer> + ?Sized,
unsafe fn part_ptr(
ptr: *const <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::Ptr
ptr: *const <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::Ptr
unsafe fn part_ptr_mut(
ptr: *mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
ptr: *mut <Reference as PartialRefTarget>::RawTarget
) -> <<Inner as Part>::PartType as PartType>::PtrMut
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
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>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
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>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,