Skip to main content

oxilean_codegen/opt_reuse/
reuseconfig_traits.rs

1//! # ReuseConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `ReuseConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use crate::lcnf::*;
12
13use super::types::ReuseConfig;
14
15impl Default for ReuseConfig {
16    fn default() -> Self {
17        ReuseConfig {
18            enable_reset_reuse: true,
19            enable_borrow: true,
20            enable_rc_elim: true,
21            enable_in_place: true,
22            analysis_depth: 10,
23            interprocedural: false,
24        }
25    }
26}