Skip to main content

oxilean_codegen/opt_gvn/
algebraicsimplifier_traits.rs

1//! # AlgebraicSimplifier - Trait Implementations
2//!
3//! This module contains trait implementations for `AlgebraicSimplifier`.
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::{AlgRule, AlgebraicSimplifier};
14
15impl Default for AlgebraicSimplifier {
16    fn default() -> Self {
17        let mut s = AlgebraicSimplifier {
18            rules: Vec::new(),
19            total_simplified: 0,
20        };
21        s.rules.push(AlgRule::new("add_zero"));
22        s.rules.push(AlgRule::new("mul_one"));
23        s.rules.push(AlgRule::new("sub_self"));
24        s.rules.push(AlgRule::new("eq_self"));
25        s
26    }
27}