Models for executables

class starknet_py.net.executable_models.AllocConstantSize

AllocConstantSize(alloc_constant_size: starknet_py.net.executable_models.AllocConstantSizeInner)

__init__(alloc_constant_size: AllocConstantSizeInner) → None

class starknet_py.net.executable_models.AllocConstantSizeInner

AllocConstantSizeInner(size: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dst: starknet_py.net.executable_models.CellRef)

__init__(size: Deref | DoubleDeref | Immediate | BinOp, dst: CellRef) → None

class starknet_py.net.executable_models.AllocFelt252Dict

AllocFelt252Dict(alloc_felt252_dict: starknet_py.net.executable_models.AllocFelt252DictInner)

__init__(alloc_felt252_dict: AllocFelt252DictInner) → None

class starknet_py.net.executable_models.AllocFelt252DictInner

AllocFelt252DictInner(segment_arena_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(segment_arena_ptr: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.AllocSegment

AllocSegment(alloc_segment: starknet_py.net.executable_models.AllocSegmentInner)

__init__(alloc_segment: AllocSegmentInner) → None

class starknet_py.net.executable_models.AllocSegmentInner

AllocSegmentInner(dst: starknet_py.net.executable_models.CellRef)

__init__(dst: CellRef) → None

class starknet_py.net.executable_models.AssertAllAccessesUsed

AssertAllAccessesUsed(assert_all_accesses_used: starknet_py.net.executable_models.AssertAllAccessesUsedInner)

__init__(assert_all_accesses_used: AssertAllAccessesUsedInner) → None

class starknet_py.net.executable_models.AssertAllAccessesUsedInner

AssertAllAccessesUsedInner(n_used_accesses: starknet_py.net.executable_models.CellRef)

__init__(n_used_accesses: CellRef) → None

enum starknet_py.net.executable_models.AssertAllKeysUsed(value)

An enumeration.

Valid values are as follows:

ASSERT_ALL_KEYS_USED = <AssertAllKeysUsed.ASSERT_ALL_KEYS_USED: 'AssertAllKeysUsed'>

enum starknet_py.net.executable_models.AssertCurrentAccessIndicesIsEmpty(value)

An enumeration.

Valid values are as follows:

ASSERT_CURRENT_ACCESS_INDICES_IS_EMPTY = <AssertCurrentAccessIndicesIsEmpty.ASSERT_CURRENT_ACCESS_INDICES_IS_EMPTY: 'AssertCurrentAccessIndicesIsEmpty'>

enum starknet_py.net.executable_models.AssertLeAssertThirdArcExcluded(value)

An enumeration.

Valid values are as follows:

ASSERT_LE_ASSERT_THIRD_ARC_EXCLUDED = <AssertLeAssertThirdArcExcluded.ASSERT_LE_ASSERT_THIRD_ARC_EXCLUDED: 'AssertLeAssertThirdArcExcluded'>

class starknet_py.net.executable_models.AssertLeFindSmallArcs

AssertLeFindSmallArcs(assert_le_find_small_arcs: starknet_py.net.executable_models.AssertLeFindSmallArcsInner)

__init__(assert_le_find_small_arcs: AssertLeFindSmallArcsInner) → None

class starknet_py.net.executable_models.AssertLeFindSmallArcsInner

AssertLeFindSmallArcsInner(range_check_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], a: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], b: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(range_check_ptr: Deref | DoubleDeref | Immediate | BinOp, a: Deref | DoubleDeref | Immediate | BinOp, b: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.AssertLeIsFirstArcExcluded

AssertLeIsFirstArcExcluded(assert_le_is_first_arc_excluded: starknet_py.net.executable_models.AssertLeIsFirstArcExcludedInner)

__init__(assert_le_is_first_arc_excluded: AssertLeIsFirstArcExcludedInner) → None

class starknet_py.net.executable_models.AssertLeIsFirstArcExcludedInner

AssertLeIsFirstArcExcludedInner(skip_exclude_a_flag: starknet_py.net.executable_models.CellRef)

__init__(skip_exclude_a_flag: CellRef) → None

class starknet_py.net.executable_models.AssertLeIsSecondArcExcluded

AssertLeIsSecondArcExcluded(assert_le_is_second_arc_excluded: starknet_py.net.executable_models.AssertLeIsSecondArcExcludedInner)

__init__(assert_le_is_second_arc_excluded: AssertLeIsSecondArcExcludedInner) → None

class starknet_py.net.executable_models.AssertLeIsSecondArcExcludedInner

AssertLeIsSecondArcExcludedInner(skip_exclude_b_minus_a: starknet_py.net.executable_models.CellRef)

__init__(skip_exclude_b_minus_a: CellRef) → None

class starknet_py.net.executable_models.AssertLtAssertValidInput

AssertLtAssertValidInput(assert_lt_assert_valid_input: starknet_py.net.executable_models.AssertLtAssertValidInputInner)

__init__(assert_lt_assert_valid_input: AssertLtAssertValidInputInner) → None

class starknet_py.net.executable_models.AssertLtAssertValidInputInner

AssertLtAssertValidInputInner(a: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], b: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(a: Deref | DoubleDeref | Immediate | BinOp, b: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.BinOp

BinOp(bin_op: starknet_py.net.executable_models.BinOpInner)

__init__(bin_op: BinOpInner) → None

class starknet_py.net.executable_models.BinOpInner

BinOpInner(op: Literal[‘Add’, ‘Mul’], a: starknet_py.net.executable_models.CellRef, b: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.Immediate])

__init__(op: Literal['Add', 'Mul'], a: CellRef, b: Deref | Immediate) → None

class starknet_py.net.executable_models.CasmClass

Dataclass representing class compiled to Cairo assembly.

__init__(prime: int, bytecode: List[int], hints: List[Tuple[int, List[AssertCurrentAccessIndicesIsEmpty | AssertAllKeysUsed | AssertLeAssertThirdArcExcluded | AssertAllAccessesUsed | AssertLtAssertValidInput | Felt252DictRead | Felt252DictWrite | AllocSegment | TestLessThan | TestLessThanOrEqual | TestLessThanOrEqualAddress | WideMul128 | DivMod | Uint256DivMod | Uint512DivModByUint256 | SquareRoot | Uint256SquareRoot | LinearSplit | AllocFelt252Dict | Felt252DictEntryInit | Felt252DictEntryUpdate | GetSegmentArenaIndex | InitSquashData | GetCurrentAccessIndex | ShouldSkipSquashLoop | GetCurrentAccessDelta | ShouldContinueSquashLoop | GetNextDictKey | AssertLeFindSmallArcs | AssertLeIsFirstArcExcluded | AssertLeIsSecondArcExcluded | RandomEcPoint | FieldSqrt | DebugPrint | AllocConstantSize | U256InvModN | EvalCircuit | SystemCall | Cheatcode]]], compiler_version: str, entry_points_by_type: CasmClassEntryPointsByType, bytecode_segment_lengths: List[int] | None) → None

class starknet_py.net.executable_models.CellRef

CellRef(register: Literal[‘AP’, ‘FP’], offset: int)

__init__(register: Literal['AP', 'FP'], offset: int) → None

class starknet_py.net.executable_models.Cheatcode

Cheatcode(cheatcode: starknet_py.net.executable_models.CheatcodeInner)

__init__(cheatcode: CheatcodeInner) → None

class starknet_py.net.executable_models.CheatcodeInner

CheatcodeInner(selector: int, input_start: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], input_end: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], output_start: starknet_py.net.executable_models.CellRef, output_end: starknet_py.net.executable_models.CellRef)

__init__(selector: int, input_start: Deref | DoubleDeref | Immediate | BinOp, input_end: Deref | DoubleDeref | Immediate | BinOp, output_start: CellRef, output_end: CellRef) → None

class starknet_py.net.executable_models.DebugPrint

DebugPrint(debug_print: starknet_py.net.executable_models.DebugPrintInner)

__init__(debug_print: DebugPrintInner) → None

class starknet_py.net.executable_models.DebugPrintInner

DebugPrintInner(start: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], end: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(start: Deref | DoubleDeref | Immediate | BinOp, end: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.Deref

Deref(deref: starknet_py.net.executable_models.CellRef)

__init__(deref: CellRef) → None

class starknet_py.net.executable_models.DivMod

DivMod(div_mod: starknet_py.net.executable_models.DivModInner)

__init__(div_mod: DivModInner) → None

class starknet_py.net.executable_models.DivModInner

DivModInner(lhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], rhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], quotient: starknet_py.net.executable_models.CellRef, remainder: starknet_py.net.executable_models.CellRef)

__init__(lhs: Deref | DoubleDeref | Immediate | BinOp, rhs: Deref | DoubleDeref | Immediate | BinOp, quotient: CellRef, remainder: CellRef) → None

class starknet_py.net.executable_models.DoubleDeref

DoubleDeref(double_deref: Tuple[starknet_py.net.executable_models.CellRef, int])

__init__(double_deref: Tuple[CellRef, int]) → None

class starknet_py.net.executable_models.EvalCircuit

EvalCircuit(eval_circuit: starknet_py.net.executable_models.EvalCircuitInner)

__init__(eval_circuit: EvalCircuitInner) → None

class starknet_py.net.executable_models.EvalCircuitInner

EvalCircuitInner(n_add_mods: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], add_mod_builtin: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], n_mul_mods: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], mul_mod_builtin: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(n_add_mods: Deref | DoubleDeref | Immediate | BinOp, add_mod_builtin: Deref | DoubleDeref | Immediate | BinOp, n_mul_mods: Deref | DoubleDeref | Immediate | BinOp, mul_mod_builtin: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.Felt252DictEntryInit

Felt252DictEntryInit(felt252_dict_entry_init: starknet_py.net.executable_models.Felt252DictEntryInitInner)

__init__(felt252_dict_entry_init: Felt252DictEntryInitInner) → None

class starknet_py.net.executable_models.Felt252DictEntryInitInner

Felt252DictEntryInitInner(dict_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], key: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(dict_ptr: Deref | DoubleDeref | Immediate | BinOp, key: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.Felt252DictEntryUpdate

Felt252DictEntryUpdate(felt252_dict_entry_update: starknet_py.net.executable_models.Felt252DictEntryUpdateInner)

__init__(felt252_dict_entry_update: Felt252DictEntryUpdateInner) → None

class starknet_py.net.executable_models.Felt252DictEntryUpdateInner

Felt252DictEntryUpdateInner(dict_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], value: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(dict_ptr: Deref | DoubleDeref | Immediate | BinOp, value: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.Felt252DictRead

Felt252DictRead(felt252_dict_read: starknet_py.net.executable_models.Felt252DictReadInner)

__init__(felt252_dict_read: Felt252DictReadInner) → None

class starknet_py.net.executable_models.Felt252DictReadInner

Felt252DictReadInner(dict_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], key: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], value_dst: starknet_py.net.executable_models.CellRef)

__init__(dict_ptr: Deref | DoubleDeref | Immediate | BinOp, key: Deref | DoubleDeref | Immediate | BinOp, value_dst: CellRef) → None

class starknet_py.net.executable_models.Felt252DictWrite

Felt252DictWrite(felt252_dict_write: starknet_py.net.executable_models.Felt252DictWriteInner)

__init__(felt252_dict_write: Felt252DictWriteInner) → None

class starknet_py.net.executable_models.Felt252DictWriteInner

Felt252DictWriteInner(dict_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], key: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], value: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(dict_ptr: Deref | DoubleDeref | Immediate | BinOp, key: Deref | DoubleDeref | Immediate | BinOp, value: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.FieldSqrt

FieldSqrt(field_sqrt: starknet_py.net.executable_models.FieldSqrtInner)

__init__(field_sqrt: FieldSqrtInner) → None

class starknet_py.net.executable_models.FieldSqrtInner

FieldSqrtInner(val: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], sqrt: starknet_py.net.executable_models.CellRef)

__init__(val: Deref | DoubleDeref | Immediate | BinOp, sqrt: CellRef) → None

class starknet_py.net.executable_models.GetCurrentAccessDelta

GetCurrentAccessDelta(get_current_access_delta: starknet_py.net.executable_models.GetCurrentAccessDeltaInner)

__init__(get_current_access_delta: GetCurrentAccessDeltaInner) → None

class starknet_py.net.executable_models.GetCurrentAccessDeltaInner

GetCurrentAccessDeltaInner(index_delta_minus1: starknet_py.net.executable_models.CellRef)

__init__(index_delta_minus1: CellRef) → None

class starknet_py.net.executable_models.GetCurrentAccessIndex

GetCurrentAccessIndex(get_current_access_index: starknet_py.net.executable_models.GetCurrentAccessIndexInner)

__init__(get_current_access_index: GetCurrentAccessIndexInner) → None

class starknet_py.net.executable_models.GetCurrentAccessIndexInner

GetCurrentAccessIndexInner(range_check_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(range_check_ptr: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.GetNextDictKey

GetNextDictKey(get_next_dict_key: starknet_py.net.executable_models.GetNextDictKeyInner)

__init__(get_next_dict_key: GetNextDictKeyInner) → None

class starknet_py.net.executable_models.GetNextDictKeyInner

GetNextDictKeyInner(next_key: starknet_py.net.executable_models.CellRef)

__init__(next_key: CellRef) → None

class starknet_py.net.executable_models.GetSegmentArenaIndex

GetSegmentArenaIndex(get_segment_arena_index: starknet_py.net.executable_models.GetSegmentArenaIndexInner)

__init__(get_segment_arena_index: GetSegmentArenaIndexInner) → None

class starknet_py.net.executable_models.GetSegmentArenaIndexInner

GetSegmentArenaIndexInner(dict_end_ptr: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dict_index: starknet_py.net.executable_models.CellRef)

__init__(dict_end_ptr: Deref | DoubleDeref | Immediate | BinOp, dict_index: CellRef) → None

class starknet_py.net.executable_models.Immediate

Immediate(immediate: int)

__init__(immediate: int) → None

class starknet_py.net.executable_models.InitSquashData

InitSquashData(init_squash_data: starknet_py.net.executable_models.InitSquashDataInner)

__init__(init_squash_data: InitSquashDataInner) → None

class starknet_py.net.executable_models.InitSquashDataInner

InitSquashDataInner(dict_accesses: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], ptr_diff: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], n_accesses: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], big_keys: starknet_py.net.executable_models.CellRef, first_key: starknet_py.net.executable_models.CellRef)

__init__(dict_accesses: Deref | DoubleDeref | Immediate | BinOp, ptr_diff: Deref | DoubleDeref | Immediate | BinOp, n_accesses: Deref | DoubleDeref | Immediate | BinOp, big_keys: CellRef, first_key: CellRef) → None

class starknet_py.net.executable_models.LinearSplit

LinearSplit(linear_split: starknet_py.net.executable_models.LinearSplitInner)

__init__(linear_split: LinearSplitInner) → None

class starknet_py.net.executable_models.LinearSplitInner

LinearSplitInner(value: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], scalar: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], max_x: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], x: starknet_py.net.executable_models.CellRef, y: starknet_py.net.executable_models.CellRef)

__init__(value: Deref | DoubleDeref | Immediate | BinOp, scalar: Deref | DoubleDeref | Immediate | BinOp, max_x: Deref | DoubleDeref | Immediate | BinOp, x: CellRef, y: CellRef) → None

class starknet_py.net.executable_models.RandomEcPoint

RandomEcPoint(random_ec_point: starknet_py.net.executable_models.RandomEcPointInner)

__init__(random_ec_point: RandomEcPointInner) → None

class starknet_py.net.executable_models.RandomEcPointInner

RandomEcPointInner(x: starknet_py.net.executable_models.CellRef, y: starknet_py.net.executable_models.CellRef)

__init__(x: CellRef, y: CellRef) → None

class starknet_py.net.executable_models.ShouldContinueSquashLoop

ShouldContinueSquashLoop(should_continue_squash_loop: starknet_py.net.executable_models.ShouldContinueSquashLoopInner)

__init__(should_continue_squash_loop: ShouldContinueSquashLoopInner) → None

class starknet_py.net.executable_models.ShouldContinueSquashLoopInner

ShouldContinueSquashLoopInner(should_continue: starknet_py.net.executable_models.CellRef)

__init__(should_continue: CellRef) → None

class starknet_py.net.executable_models.ShouldSkipSquashLoop

ShouldSkipSquashLoop(should_skip_squash_loop: starknet_py.net.executable_models.ShouldSkipSquashLoopInner)

__init__(should_skip_squash_loop: ShouldSkipSquashLoopInner) → None

class starknet_py.net.executable_models.ShouldSkipSquashLoopInner

ShouldSkipSquashLoopInner(should_skip_loop: starknet_py.net.executable_models.CellRef)

__init__(should_skip_loop: CellRef) → None

class starknet_py.net.executable_models.SquareRoot

SquareRoot(square_root: starknet_py.net.executable_models.SquareRootInner)

__init__(square_root: SquareRootInner) → None

class starknet_py.net.executable_models.SquareRootInner

SquareRootInner(value: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dst: starknet_py.net.executable_models.CellRef)

__init__(value: Deref | DoubleDeref | Immediate | BinOp, dst: CellRef) → None

class starknet_py.net.executable_models.SystemCall

SystemCall(system_call: starknet_py.net.executable_models.SystemCallInner)

__init__(system_call: SystemCallInner) → None

class starknet_py.net.executable_models.SystemCallInner

SystemCallInner(system: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp])

__init__(system: Deref | DoubleDeref | Immediate | BinOp) → None

class starknet_py.net.executable_models.TestLessThan

TestLessThan(test_less_than: starknet_py.net.executable_models.TestLessThanInner)

__init__(test_less_than: TestLessThanInner) → None

class starknet_py.net.executable_models.TestLessThanInner

TestLessThanInner(lhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], rhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dst: starknet_py.net.executable_models.CellRef)

__init__(lhs: Deref | DoubleDeref | Immediate | BinOp, rhs: Deref | DoubleDeref | Immediate | BinOp, dst: CellRef) → None

class starknet_py.net.executable_models.TestLessThanOrEqual

TestLessThanOrEqual(test_less_than_or_equal: starknet_py.net.executable_models.TestLessThanOrEqualInner)

__init__(test_less_than_or_equal: TestLessThanOrEqualInner) → None

class starknet_py.net.executable_models.TestLessThanOrEqualAddress

TestLessThanOrEqualAddress(test_less_than_or_equal_address: starknet_py.net.executable_models.TestLessThanOrEqualAddressInner)

__init__(test_less_than_or_equal_address: TestLessThanOrEqualAddressInner) → None

class starknet_py.net.executable_models.TestLessThanOrEqualAddressInner

TestLessThanOrEqualAddressInner(lhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], rhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dst: starknet_py.net.executable_models.CellRef)

__init__(lhs: Deref | DoubleDeref | Immediate | BinOp, rhs: Deref | DoubleDeref | Immediate | BinOp, dst: CellRef) → None

class starknet_py.net.executable_models.TestLessThanOrEqualInner

TestLessThanOrEqualInner(lhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], rhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dst: starknet_py.net.executable_models.CellRef)

__init__(lhs: Deref | DoubleDeref | Immediate | BinOp, rhs: Deref | DoubleDeref | Immediate | BinOp, dst: CellRef) → None

class starknet_py.net.executable_models.U256InvModN

U256InvModN(u256_inv_mod_n: starknet_py.net.executable_models.U256InvModNInner)

__init__(u256_inv_mod_n: U256InvModNInner) → None

class starknet_py.net.executable_models.U256InvModNInner

U256InvModNInner(b0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], b1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], n0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], n1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], g0_or_no_inv: starknet_py.net.executable_models.CellRef, g1_option: starknet_py.net.executable_models.CellRef, s_or_r0: starknet_py.net.executable_models.CellRef, s_or_r1: starknet_py.net.executable_models.CellRef, t_or_k0: starknet_py.net.executable_models.CellRef, t_or_k1: starknet_py.net.executable_models.CellRef)

__init__(b0: Deref | DoubleDeref | Immediate | BinOp, b1: Deref | DoubleDeref | Immediate | BinOp, n0: Deref | DoubleDeref | Immediate | BinOp, n1: Deref | DoubleDeref | Immediate | BinOp, g0_or_no_inv: CellRef, g1_option: CellRef, s_or_r0: CellRef, s_or_r1: CellRef, t_or_k0: CellRef, t_or_k1: CellRef) → None

class starknet_py.net.executable_models.Uint256DivMod

Uint256DivMod(uint256_div_mod: starknet_py.net.executable_models.Uint256DivModInner)

__init__(uint256_div_mod: Uint256DivModInner) → None

class starknet_py.net.executable_models.Uint256DivModInner

Uint256DivModInner(dividend0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dividend1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], divisor0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], divisor1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], quotient0: starknet_py.net.executable_models.CellRef, quotient1: starknet_py.net.executable_models.CellRef, remainder0: starknet_py.net.executable_models.CellRef, remainder1: starknet_py.net.executable_models.CellRef)

__init__(dividend0: Deref | DoubleDeref | Immediate | BinOp, dividend1: Deref | DoubleDeref | Immediate | BinOp, divisor0: Deref | DoubleDeref | Immediate | BinOp, divisor1: Deref | DoubleDeref | Immediate | BinOp, quotient0: CellRef, quotient1: CellRef, remainder0: CellRef, remainder1: CellRef) → None

class starknet_py.net.executable_models.Uint256SquareRoot

Uint256SquareRoot(uint256_square_root: starknet_py.net.executable_models.Uint256SquareRootInner)

__init__(uint256_square_root: Uint256SquareRootInner) → None

class starknet_py.net.executable_models.Uint256SquareRootInner

Uint256SquareRootInner(value_low: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], value_high: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], sqrt0: starknet_py.net.executable_models.CellRef, sqrt1: starknet_py.net.executable_models.CellRef, remainder_low: starknet_py.net.executable_models.CellRef, remainder_high: starknet_py.net.executable_models.CellRef, sqrt_mul_2_minus_remainder_ge_u128: starknet_py.net.executable_models.CellRef)

__init__(value_low: Deref | DoubleDeref | Immediate | BinOp, value_high: Deref | DoubleDeref | Immediate | BinOp, sqrt0: CellRef, sqrt1: CellRef, remainder_low: CellRef, remainder_high: CellRef, sqrt_mul_2_minus_remainder_ge_u128: CellRef) → None

class starknet_py.net.executable_models.Uint512DivModByUint256

Uint512DivModByUint256(uint512_div_mod_by_uint256: starknet_py.net.executable_models.Uint512DivModByUint256Inner)

__init__(uint512_div_mod_by_uint256: Uint512DivModByUint256Inner) → None

class starknet_py.net.executable_models.Uint512DivModByUint256Inner

Uint512DivModByUint256Inner(dividend0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dividend1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dividend2: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], dividend3: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], divisor0: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], divisor1: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], quotient0: starknet_py.net.executable_models.CellRef, quotient1: starknet_py.net.executable_models.CellRef, quotient2: starknet_py.net.executable_models.CellRef, quotient3: starknet_py.net.executable_models.CellRef, remainder0: starknet_py.net.executable_models.CellRef, remainder1: starknet_py.net.executable_models.CellRef)

__init__(dividend0: Deref | DoubleDeref | Immediate | BinOp, dividend1: Deref | DoubleDeref | Immediate | BinOp, dividend2: Deref | DoubleDeref | Immediate | BinOp, dividend3: Deref | DoubleDeref | Immediate | BinOp, divisor0: Deref | DoubleDeref | Immediate | BinOp, divisor1: Deref | DoubleDeref | Immediate | BinOp, quotient0: CellRef, quotient1: CellRef, quotient2: CellRef, quotient3: CellRef, remainder0: CellRef, remainder1: CellRef) → None

class starknet_py.net.executable_models.WideMul128

WideMul128(wide_mul128: starknet_py.net.executable_models.WideMul128Inner)

__init__(wide_mul128: WideMul128Inner) → None

class starknet_py.net.executable_models.WideMul128Inner

WideMul128Inner(lhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], rhs: Union[starknet_py.net.executable_models.Deref, starknet_py.net.executable_models.DoubleDeref, starknet_py.net.executable_models.Immediate, starknet_py.net.executable_models.BinOp], high: starknet_py.net.executable_models.CellRef, low: starknet_py.net.executable_models.CellRef)

__init__(lhs: Deref | DoubleDeref | Immediate | BinOp, rhs: Deref | DoubleDeref | Immediate | BinOp, high: CellRef, low: CellRef) → None