thunder.core.proxies.IntegerProxy

class thunder.core.proxies.IntegerProxy(name=None, value=None, history=None, constraint=None, tags=None)[source]

Bases: NumberProxy

Parameters:

__init__(name=None, value=None, history=None, constraint=None, tags=None)[source]

Parameters:

Methods

`__init__`([name, value, history, constraint, ...])
`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)	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`	Return the prefix for this proxy instance.
`tags`

replace(**changes)[source]: 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[source]

Return the prefix for this proxy instance.

This must be implemented by all classes implementing this interface.

Was this page helpful?