tract_hir/ops/konst.rs
1use crate::infer::*;
2use crate::internal::*;
3
4pub use tract_core::ops::konst::*;
5
6impl InferenceRulesOp for Const {
7 fn rules<'r, 'p: 'r, 's: 'r>(
8 &'s self,
9 s: &mut Solver<'r>,
10 inputs: &'p [TensorProxy],
11 outputs: &'p [TensorProxy],
12 ) -> InferenceResult {
13 check_input_arity(inputs, 0)?;
14 check_output_arity(outputs, 1)?;
15 s.equals(&outputs[0].value, self.val().clone().bex())?;
16 Ok(())
17 }
18
19 as_op!();
20 to_typed!();
21}