use crate::internal::*;
pub use tract_core::ops::array::GatherNd;
impl InferenceRulesOp for GatherNd {
fn rules<'r, 'p: 'r, 's: 'r>(
&'s self,
s: &mut Solver<'r>,
inputs: &'p [TensorProxy],
outputs: &'p [TensorProxy],
) -> InferenceResult {
check_input_arity(inputs, 2)?;
check_output_arity(outputs, 1)?;
s.equals(&outputs[0].datum_type, &inputs[0].datum_type)?;
s.given(&inputs[1].rank, move |s, indices_rank| {
let indices_rank = indices_rank as usize;
for i in 0..(indices_rank - 1) {
s.equals(&outputs[0].shape[i], &inputs[1].shape[i])?;
}
s.given_2(
&inputs[1].shape[indices_rank - 1],
&inputs[1].rank,
move |s, n, input_rank| {
if let Ok(n) = n.to_i64() {
for i in 0..(input_rank - n) as usize {
s.equals(&outputs[0].shape[indices_rank - 1 + i], &inputs[1].shape[i])?;
}
}
Ok(())
},
)
})
}
as_op!();
to_typed!();
}