Type Alias AtomID
Source pub type AtomID = NonZero<usize>;
Expand description
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.
pub struct AtomID();