int_table

cnfgen::intexpr

Function int_table 

Source 
pub fn int_table<T, N, K, I, const SIGN: bool>(
    index: IntExprNode<T, K, SIGN>,
    table_iter: I,
) -> IntExprNode<T, N, SIGN>
where
    T: VarLit + Neg<Output = T> + Debug,
    isize: TryFrom<T>,
    <T as TryInto<usize>>::Error: Debug,
    <T as TryFrom<usize>>::Error: Debug,
    <isize as TryFrom<T>>::Error: Debug,
    N: ArrayLength<usize>,
    K: ArrayLength<usize>,
    I: IntoIterator<Item = IntExprNode<T, N, SIGN>>,
Expand description

Returns result of indexing of table with values.

It performs operation: table[index], where table given as object convertible to iterator of expressions. Length of table must be at least 1 << K - where K is number of bits of index.