---
title: thunder.core.proxies.IntegerProxy
canonical: >-
  https://lightning.ai/docs/thunder/stable/api-reference/generated/thunder.core.proxies.IntegerProxy
---
# thunder.core.proxies.IntegerProxy {#thunder-core-proxies-integerproxy}

### `class thunder.core.proxies.IntegerProxy(name=None, value=None, history=None, constraint=None, tags=None)` {#thunder.core.proxies.IntegerProxy}

[\[source\]](https://github.com/Lightning-AI/lightning-thunder/blob/0.2.6/thunder/core/proxies.py#L1122-L1172)

Bases: `NumberProxy`

Parameters:

*   **name** ([_str_](https://docs.python.org/3/builtins/stdtypes.html#str "(in Python v3.15)") _|_ _None_) –
    
*   **history** (_None_ _|_ [_tuple_](https://docs.python.org/3/builtins/stdtypes.html#tuple "(in Python v3.15)")) –
    
*   **constraint** (_None_ _|_ _CONSTRAINT_) –
    
*   **tags** ([_set_](https://docs.python.org/3/builtins/stdtypes.html#set "(in Python v3.15)") _|_ _None_) –
    

#### `__init__(name=None, value=None, history=None, constraint=None, tags=None)` {#thunder.core.proxies.IntegerProxy.__init__}

[\[source\]](https://github.com/Lightning-AI/lightning-thunder/blob/0.2.6/thunder/core/proxies.py#L1127-L1139)

Parameters:

*   **name** ([_Optional_](https://docs.python.org/3/library/typing.html#typing.Optional "(in Python v3.15)")_\[_[_str_](https://docs.python.org/3/builtins/stdtypes.html#str "(in Python v3.15)")_\]_) –
    
*   **history** ([_Union_](https://docs.python.org/3/library/typing.html#typing.Union "(in Python v3.15)")_\[__None__,_ [_tuple_](https://docs.python.org/3/builtins/stdtypes.html#tuple "(in Python v3.15)")_\]_) –
    
*   **constraint** ([_Union_](https://docs.python.org/3/library/typing.html#typing.Union "(in Python v3.15)")_\[__None__,_ _CONSTRAINT__\]_) –
    
*   **tags** ([_Optional_](https://docs.python.org/3/library/typing.html#typing.Optional "(in Python v3.15)")_\[_[_set_](https://docs.python.org/3/builtins/stdtypes.html#set "(in Python v3.15)")_\]_) –
    

Methods

- [`__init__([name, value, history, constraint, ...])`](#thunder.core.proxies.IntegerProxy.__init__)
- `get_default_prefix()` — rtype:str
- `is_dynamic()` — rtype:bool
- `is_static_constrained()` — rtype:bool
- `known_value()` — rtype:bool
- `make_constrainable()`
- `make_static_constrained()`
- [`replace(**changes)`](#thunder.core.proxies.IntegerProxy.replace) — Return a copy of the IntegerProxy with new values for the specified fields as given to the constructor as arguments.
- `replace_name([name, disambiguate])` — Return a copy of this proxy with the given name.
- `type_string()`

Attributes

- `name`
- [`prefix`](#thunder.core.proxies.IntegerProxy.prefix) — Return the prefix for this proxy instance.
- `tags`

#### `replace(**changes)` {#thunder.core.proxies.IntegerProxy.replace}

[\[source\]](https://github.com/Lightning-AI/lightning-thunder/blob/0.2.6/thunder/core/proxies.py#L1141-L1155)

Return a copy of the IntegerProxy with new values for the specified fields as given to the constructor as arguments. Valid keyword arguments are `name`, `history`, `value`, `constraint`. Note that the copy will use the current (environment) tracectx.

#### `property prefix: str` {#thunder.core.proxies.IntegerProxy.prefix}

[\[source\]](https://github.com/Lightning-AI/lightning-thunder/blob/0.2.6/thunder/core/proxies.py)

Return the prefix for this proxy instance.

This must be implemented by all classes implementing this interface.

---

**Navigation**

- Parent: [Generated](/docs/thunder/0.2.6/api-reference/generated.md)