Struct Harc

pub struct Harc { /* private fields */ }

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.

Implementations

impl Harc

pub fn new_fork<I>(host_id: NodeID, suit_ids: I) -> Self

where I: IntoIterator<Item = NodeID>,

Fork’s constructor.

See also Harc::new_fork_unchecked().

pub fn new_join<I>(host_id: NodeID, suit_ids: I) -> Self

where 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) -> Self

where 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) -> Self

where 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) -> AtomID

pub fn get_fork_id(&self) -> Option<ForkID>

pub fn get_join_id(&self) -> Option<JoinID>

pub fn get_host_id(&self) -> NodeID

pub fn get_suit_ids(&self) -> &[NodeID]

Trait Implementations

impl Clone for Harc

fn clone(&self) -> Harc

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Harc

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

Formats the value using the given formatter.

impl ExclusivelyContextual for Harc

fn format_locked(&self, ctx: &Context) -> Result<String, AcesError>

impl Hash for Harc

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Harc

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