Interfaces
==========

.. autoclass:: ggsolver.interfaces.i_spot.SpotAutomaton
    :members:   __init__,
                _determine_options,
                sigma,
                states,
                atoms,
                delta,
                init_state,
                acc_cond,
                final,
                num_acc_sets,
                is_deterministic,
                is_unambiguous,
                is_stutter_invariant,
                is_terminal,
                is_complete,
                is_semi_deterministic,
                acc_name,
                spot_acc_cond,
                formula,
                is_state_based_acc,
                is_weak,
                is_inherently_weak,
                serialize,
                deserialize