Atoms and tokens
================

Value atoms and token containers used by custom solvers.

.. doxygentopic:: snt::exs
   :members:
   :undoc-members:
   :headers: include/snt/exs/atom.h
      include/snt/exs/atom_base.h
      include/snt/exs/atom_grand.h
      include/snt/exs/atom_list.h
      include/snt/exs/token.h
      include/snt/exs/token_list.h
      include/snt/exs/token_list_base.h