1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
use crate::{CombineOperation, Operation, WireValue};
pub trait HasConst<T> {
fn constant(&self) -> Option<T>;
}
impl<T: WireValue> HasConst<T> for Operation<T> {
fn constant(&self) -> Option<T> {
match *self {
Operation::AddConst(_, _, c) => Some(c),
Operation::SubConst(_, _, c) => Some(c),
Operation::MulConst(_, _, c) => Some(c),
Operation::Const(_, c) => Some(c),
_ => None,
}
}
}
impl HasConst<bool> for CombineOperation {
fn constant(&self) -> Option<bool> {
match self {
CombineOperation::GF2(g) => g.constant(),
_ => None,
}
}
}
impl HasConst<u64> for CombineOperation {
fn constant(&self) -> Option<u64> {
match self {
CombineOperation::Z64(g) => g.constant(),
_ => None,
}
}
}