Type Alias AtomID

pub type AtomID = NonZeroUsize;

An abstract structural identifier serving as the common base of PortID, LinkID, ForkID and JoinID.

Since this is a numeric identifier, which is serial and one-based, it trivially maps into numeric codes of variables in the DIMACS SAT format.

See [ID] for more details.

Aliased Type

pub struct AtomID(/* private fields */);

Trait Implementations

impl From<ForkID> for AtomID

fn from(id: ForkID) -> Self

Converts to this type from the input type.

impl From<JoinID> for AtomID

fn from(id: JoinID) -> Self

Converts to this type from the input type.

impl From<LinkID> for AtomID

fn from(id: LinkID) -> Self

Converts to this type from the input type.

impl From<PortID> for AtomID

fn from(id: PortID) -> Self

Converts to this type from the input type.