[−][src]Struct bellperson::util_cs::bench_cs::BenchCS
Implementations
impl<E: Engine> BenchCS<E>
[src]
pub fn new() -> Self
[src]
pub fn num_constraints(&self) -> usize
[src]
pub fn num_inputs(&self) -> usize
[src]
Trait Implementations
impl<E: Engine> ConstraintSystem<E> for BenchCS<E>
[src]
type Root = Self
Represents the type of the "root" of this constraint system so that nested namespaces can minimize indirection. Read more
pub fn new() -> Self
[src]
pub fn alloc<F, A, AR>(
&mut self,
_: A,
_f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
_: A,
_f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
pub fn alloc_input<F, A, AR>(
&mut self,
_: A,
_f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
_: A,
_f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
pub fn enforce<A, AR, LA, LB, LC>(&mut self, _: A, _a: LA, _b: LB, _c: LC) where
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
[src]
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LB: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
LC: FnOnce(LinearCombination<E>) -> LinearCombination<E>,
pub fn push_namespace<NR, N>(&mut self, _: N) where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
pub fn pop_namespace(&mut self)
[src]
pub fn get_root(&mut self) -> &mut Self::Root
[src]
pub fn one() -> Variable
[src]
pub fn namespace<NR, N>(&mut self, name_fn: N) -> Namespace<'_, E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
pub fn is_extensible() -> bool
[src]
pub fn extend(&mut self, _other: Self)
[src]
impl<E: Debug + Engine> Debug for BenchCS<E>
[src]
impl<E: Engine> Default for BenchCS<E>
[src]
impl<E: Engine> Send for BenchCS<E>
[src]
Auto Trait Implementations
impl<E> RefUnwindSafe for BenchCS<E> where
E: RefUnwindSafe,
E: RefUnwindSafe,
impl<E> Sync for BenchCS<E> where
E: Sync,
E: Sync,
impl<E> Unpin for BenchCS<E> where
E: Unpin,
E: Unpin,
impl<E> UnwindSafe for BenchCS<E> where
E: UnwindSafe,
E: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Pointable for T
pub const ALIGN: usize
type Init = T
The type for initializers.
pub unsafe fn init(init: <T as Pointable>::Init) -> usize
pub unsafe fn deref<'a>(ptr: usize) -> &'a T
pub unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T
pub unsafe fn drop(ptr: usize)
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,