thunder.core.proxies.IntegerProxy

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

Bases: NumberProxy

Parameters:

• name (str | None) –

• history (None | tuple) –

• constraint (None | CONSTRAINT) –

• tags (set | None) –

__init__(name=None, value=None, history=None, constraint=None, tags=None)

Parameters:

• name (Optional[str]) –

• history (Union[None, tuple]) –

• constraint (Union[None, CONSTRAINT]) –

• tags (Optional[set]) –

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)

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

Return the prefix for this proxy instance.

This must be implemented by all classes implementing this interface.