haloumi-picus 0.5.6

Haloumi backend to the Picus Constraint Language.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use haloumi_ir::Felt;

use super::{Expr, traits::ConstraintExpr};

#[inline]
pub fn map_consts<O: Default>(lhs: &Expr, rhs: &Expr, f: impl Fn(Felt, Felt) -> O) -> O {
    lhs.as_const()
        .zip(rhs.as_const())
        .map(|(lhs, rhs)| f(lhs, rhs))
        .unwrap_or_default()
}

#[inline]
pub fn map_cexpr<O: Default>(
    lhs: &Expr,
    rhs: &Expr,
    f: impl Fn(&dyn ConstraintExpr, &dyn ConstraintExpr) -> O,
) -> O {
    lhs.constraint_expr()
        .zip(rhs.constraint_expr())
        .map(|(lhs, rhs)| f(lhs, rhs))
        .unwrap_or_default()
}