Synthesis_incorporation/value_search/value_search.py [871:886]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
                if (new_value.shape == output_value.shape
                    and new_value.dtype != output_value.dtype
                    and operation_filtering.is_castable(new_value, dtype_value)
                ):
                    casted_value = None
                    if output_value.dtype == torch.int:
                        casted_value = int_operation.apply([new_value], settings)
                    elif output_value.dtype == torch.bool:
                        casted_value = bool_operation.apply([new_value], settings)
                    elif output_value.dtype == torch.float:
                        casted_value = float_operation.apply([new_value], settings)
                    if casted_value == output_value:
                        possible_first_solution = not solutions
                        # Found solution(s), but some may be bad.
                        _record_solutions(
                            casted_value,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



Synthesis_incorporation/value_search/value_search.py [1153:1168]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
            if (new_value.shape == output_value.shape
                and new_value.dtype != output_value.dtype
                and operation_filtering.is_castable(new_value, dtype_value)
            ):
                casted_value = None
                if output_value.dtype == torch.int:
                    casted_value = int_operation.apply([new_value], settings)
                elif output_value.dtype == torch.bool:
                    casted_value = bool_operation.apply([new_value], settings)
                elif output_value.dtype == torch.float:
                    casted_value = float_operation.apply([new_value], settings)
                if casted_value == output_value:
                    possible_first_solution = not solutions
                    # Found solution(s), but some may be bad.
                    _record_solutions(
                        casted_value,
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -