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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
#[macro_use]
pub mod macros;
pub mod fact;
pub mod model;
pub mod ops;
pub mod internal {
pub use std::fmt;
pub use tract_nnef::internal::*;
pub use tract_pulse_opl::tract_nnef;
pub use downcast_rs::Downcast;
pub use crate::fact::{stream_dim, stream_symbol, PulsedFact};
pub use crate::model::{PulsedModel, PulsedModelExt};
pub use crate::ops::{OpPulsifier, PulsedOp};
pub use tract_pulse_opl::op_pulse;
}
use internal::*;
pub use ops::PulsedOp;
pub trait WithPulse {
fn with_pulse(self) -> Self;
}
impl WithPulse for tract_nnef::framework::Nnef {
fn with_pulse(mut self) -> Self {
self = self.with_tract_core();
self.registries.push(tract_nnef_registry());
self
}
}
fn tract_nnef_registry() -> Registry {
let mut reg = tract_pulse_opl::tract_nnef_registry();
ops::delay::register(&mut reg);
reg
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn test_source_must_stream() {
let mut model = TypedModel::default();
let _a = model.add_source("a", TypedFact::dt_shape(f32::datum_type(), &[1, 2, 3])).unwrap();
model.auto_outputs().unwrap();
assert!(PulsedModel::new(&model, 4).is_err());
let mut model = TypedModel::default();
let _a = model
.add_source(
"a",
TypedFact::dt_shape(
f32::datum_type(),
[1.to_dim(), stream_dim(), 3.to_dim()].as_ref(),
),
)
.unwrap();
model.auto_outputs().unwrap();
let pulse = PulsedModel::new(&model, 4).unwrap();
assert_eq!(
*pulse.outlet_fact(OutletId::new(0, 0)).unwrap().to_typed_fact().unwrap(),
TypedFact::dt_shape(DatumType::F32, &[1usize, 4, 3])
);
}
#[test]
fn test_immediate() {
let mut model = TypedModel::default();
let _a = model
.add_source(
"a",
TypedFact::dt_shape(
f32::datum_type(),
[stream_dim(), 2.to_dim(), 3.to_dim()].as_ref(),
),
)
.unwrap();
model.auto_outputs().unwrap();
let pulse = PulsedModel::new(&model, 4).unwrap();
assert_eq!(
*pulse.input_fact(0).unwrap().to_typed_fact().unwrap(),
TypedFact::dt_shape(DatumType::F32, &[4, 2, 3])
);
assert_eq!(
*pulse.output_fact(0).unwrap().to_typed_fact().unwrap(),
TypedFact::dt_shape(DatumType::F32, &[4, 2, 3])
);
}
}