thunder.core.proxies.IntegerProxy
=================================

.. currentmodule:: thunder.core.proxies

.. autoclass:: IntegerProxy

   
   .. automethod:: __init__

   
   .. rubric:: Methods

   .. autosummary::
   
      ~IntegerProxy.__init__
      ~IntegerProxy.get_default_prefix
      ~IntegerProxy.is_dynamic
      ~IntegerProxy.is_static_constrained
      ~IntegerProxy.known_value
      ~IntegerProxy.make_constrainable
      ~IntegerProxy.make_static_constrained
      ~IntegerProxy.replace
      ~IntegerProxy.replace_name
      ~IntegerProxy.type_string
   
   

   
   
   .. rubric:: Attributes

   .. autosummary::
   
      ~IntegerProxy.name
      ~IntegerProxy.prefix
      ~IntegerProxy.tags