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.