API Reference
*************


Domain-Specific Language API
============================

Data and Constraints
--------------------

.. automodule:: vsc.attrs
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.constraints
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.rand_obj
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.types
    :members:
    :member-order: bysource
    :undoc-members:

..
   FIXME: duplicate

Data and Constraints
--------------------

.. automodule:: vsc.coverage
    :members:
    :member-order: bysource
    :undoc-members:


Model API
=========

Data and constraints
--------------------

.. automodule:: vsc.model.field_composite_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_block_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_expr_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_if_else_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_implies_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_scope_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.constraint_unique_model
    :members:
    :member-order: bysource
    :undoc-members:

Coverage
--------

.. automodule:: vsc.model.covergroup_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.covergroup_registry
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_array_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_collection_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_enum_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_model_base
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_single_bag_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_single_range_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_bin_single_val_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_cross_model
    :members:
    :member-order: bysource
    :undoc-members:

.. automodule:: vsc.model.coverpoint_model
    :members:
    :member-order: bysource
    :undoc-members:

..
   FIXME: rangelist_model was missing, does it belong under this heading?

Expressions
-----------

.. automodule:: vsc.model.rangelist_model
    :members:
    :member-order: bysource
    :undoc-members: