[−][src]Trait varisat_formula::cnf::UniformTuple

pub trait UniformTuple<Item> {
    fn tuple_len() -> usize;

    fn tuple_from_iter(items: impl Iterator<Item = Item>) -> Self;
}

Helper trait to initialize multiple variables of the same type.

Required methods

fn tuple_len() -> usize

fn tuple_from_iter(items: impl Iterator<Item = Item>) -> Self

Loading content...

Implementations on Foreign Types

impl<Item> UniformTuple<Item> for (Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

impl<Item> UniformTuple<Item> for (Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item, Item)[src]

Loading content...

Implementors

Loading content...