[−][src]Type Definition aces::AtomID
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.