pub fn translate_inputs_rev<T, U>(
circuit: Circuit<T>,
trans: impl IntoIterator<Item = U>,
) -> Circuit<T>where
T: Clone + Copy + Ord + PartialEq + Eq + Default + TryFrom<usize> + TryFrom<U>,
<T as TryFrom<usize>>::Error: Debug,
usize: TryFrom<T> + TryFrom<U>,
<usize as TryFrom<T>>::Error: Debug,
U: Clone + Copy + Default + TryFrom<usize>,
<T as TryFrom<U>>::Error: Debug,
<U as TryFrom<usize>>::Error: Debug,
<usize as TryFrom<U>>::Error: Debug,Expand description
Translates circuit inputs using reversed translation table.
trans is reversed translation
table. In this table entry index is destinaltion circuit input index and
table entry value is original circuit input index.
Function returns circuit with translated inputs.