[−][src]Struct snarkos_models::gadgets::r1cs::ConstraintCounter
Constraint counter for testing purposes.
Fields
num_inputs: usize
num_aux: usize
num_constraints: usize
Implementations
impl ConstraintCounter
[src]
pub fn new() -> Self
[src]
pub fn num_constraints(&self) -> usize
[src]
Trait Implementations
impl<ConstraintF: Field> ConstraintSystem<ConstraintF> for ConstraintCounter
[src]
type Root = Self
Represents the type of the "root" of this constraint system so that nested namespaces can minimize indirection. Read more
fn alloc<F, A, AR>(&mut self, _: A, _: F) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<ConstraintF, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
F: FnOnce() -> Result<ConstraintF, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn alloc_input<F, A, AR>(
&mut self,
_: A,
_: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<ConstraintF, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
_: A,
_: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<ConstraintF, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn enforce<A, AR, LA, LB, LC>(&mut self, _: A, _: LA, _: LB, _: LC) where
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
LB: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
LC: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
[src]
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
LB: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
LC: FnOnce(LinearCombination<ConstraintF>) -> LinearCombination<ConstraintF>,
fn push_namespace<NR, N>(&mut self, _: N) where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
fn pop_namespace(&mut self)
[src]
fn get_root(&mut self) -> &mut Self::Root
[src]
fn num_constraints(&self) -> usize
[src]
fn one() -> Variable
[src]
fn ns<'a, NR, N>(&'a mut self, name_fn: N) -> Namespace<'a, F, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
Auto Trait Implementations
impl RefUnwindSafe for ConstraintCounter
impl Send for ConstraintCounter
impl Sync for ConstraintCounter
impl Unpin for ConstraintCounter
impl UnwindSafe for ConstraintCounter
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,
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, 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.
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.
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>,