The crosshair Package
=====================


.. autofunction:: crosshair.register_type

.. autoclass:: crosshair.SymbolicFactory

.. autoclass:: crosshair.StateSpace
   :members: add, is_possible

.. autoclass:: crosshair.NoTracing

.. autoclass:: crosshair.ResumedTracing