laddu-compile 0.21.4

Amplitude analysis tools for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

mod add_mul;
mod complex;
mod conjugation;
mod exponential;
mod matrix;
mod scalar;
mod trig;

use laddu_expr::{ExprId, ValueKind};

use super::RewriteContext;

fn is_scalar_value(context: &RewriteContext<'_>, id: ExprId) -> bool {
    context
        .facts(id)
        .is_some_and(|facts| matches!(facts.value_kind, ValueKind::Real | ValueKind::Complex))
}

pub(super) use add_mul::NormalizeAddMulRule;