Skip to main content

oxilean_codegen/opt_gvn/
gvnconfig_traits.rs

1//! # GVNConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `GVNConfig`.
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::GVNConfig;
14
15impl Default for GVNConfig {
16    fn default() -> Self {
17        GVNConfig {
18            do_phi_translation: true,
19            max_depth: 100,
20        }
21    }
22}