pydistsim.restrictions.knowledge.InitialDistinctValues
======================================================

.. currentmodule:: pydistsim.restrictions.knowledge

.. autoclass:: InitialDistinctValues
   :members:
   :show-inheritance:
   :special-members: __call__, __add__, __mul__, __getattr__, __new__, __setattr__, __getattribute__
   :private-members:

   
   
   .. rubric:: Methods

   .. autosummary::
      :nosignatures:
   
      ~InitialDistinctValues.__init__
      ~InitialDistinctValues.apply
      ~InitialDistinctValues.check
      ~InitialDistinctValues.get_help_message
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~InitialDistinctValues.KEY
      ~InitialDistinctValues.help_message