Trait pocket_prover::Construct

pub trait Construct: Sized {
    fn construct(vs: &[u64]) -> Self;

    fn n() -> usize { ... }
}

Used to construct logical systems.

Required Methods

fn construct(vs: &[u64]) -> Self

Creates a logical system out of proof arguments.

Provided Methods

fn n() -> usize

Gets the number of bits in logical system.

Implementations on Foreign Types

impl Construct for ()

fn construct(_vs: &[u64]) -> Self

impl<T0: Construct, T1: Construct> Construct for (T0, T1)

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2> Construct for (T0, T1, T2)where
    T0: Construct,
    T1: Construct,
    T2: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3> Construct for (T0, T1, T2, T3)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4> Construct for (T0, T1, T2, T3, T4)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5> Construct for (T0, T1, T2, T3, T4, T5)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6> Construct for (T0, T1, T2, T3, T4, T5, T6)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7> Construct for (T0, T1, T2, T3, T4, T5, T6, T7)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Construct for (T0, T1, T2, T3, T4, T5, T6, T7, T8)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct,
    T8: Construct,

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Construct for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct,
    T8: Construct,
    T9: Construct,

fn construct(vs: &[u64]) -> Self

Implementors