States
======

Accessing
---------

.. autoclass:: manticore.core.manticore.ManticoreBase
    :noindex:
    :undoc-members:
    :members: all_states, ready_states, count_ready_states, count_busy_states, killed_states, count_killed_states, terminated_states, count_terminated_states

Operations
----------

.. autoclass:: manticore.core.state.StateBase
    :members:
    :undoc-members:
    :exclude-members: all_states, ready_states, count_ready_states, count_busy_states, killed_states, count_killed_states, terminated_states, count_terminated_states


Inspecting
----------

.. autoclass:: manticore.core.plugin.StateDescriptor
    :members:
    :undoc-members:
