[−][src]Struct snarkos_models::gadgets::r1cs::TestConstraintSystem
Constraint system for testing purposes.
Fields
constraints: Vec<(LinearCombination<F>, LinearCombination<F>, LinearCombination<F>, String)>
Implementations
impl<F: Field> TestConstraintSystem<F>
[src]
pub fn new() -> TestConstraintSystem<F>
[src]
pub fn print_named_objects(&self)
[src]
pub fn which_is_unsatisfied(&self) -> Option<&str>
[src]
pub fn is_satisfied(&self) -> bool
[src]
pub fn num_constraints(&self) -> usize
[src]
pub fn set(&mut self, path: &str, to: F)
[src]
pub fn get(&mut self, path: &str) -> F
[src]
Trait Implementations
impl<F: Field> ConstraintSystem<F> for TestConstraintSystem<F>
[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<Fn, A, AR>(
&mut self,
annotation: A,
f: Fn
) -> Result<Variable, SynthesisError> where
Fn: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: Fn
) -> Result<Variable, SynthesisError> where
Fn: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn alloc_input<Fn, A, AR>(
&mut self,
annotation: A,
f: Fn
) -> Result<Variable, SynthesisError> where
Fn: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: Fn
) -> Result<Variable, SynthesisError> where
Fn: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
fn enforce<A, AR, LA, LB, LC>(&mut self, annotation: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LB: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LC: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
[src]
A: FnOnce() -> AR,
AR: Into<String>,
LA: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LB: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LC: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
fn push_namespace<NR: Into<String>, N: FnOnce() -> NR>(&mut self, name_fn: N)
[src]
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<F> RefUnwindSafe for TestConstraintSystem<F> where
F: RefUnwindSafe,
F: RefUnwindSafe,
impl<F> Send for TestConstraintSystem<F>
impl<F> Sync for TestConstraintSystem<F>
impl<F> Unpin for TestConstraintSystem<F> where
F: Unpin,
F: Unpin,
impl<F> UnwindSafe for TestConstraintSystem<F> where
F: RefUnwindSafe + UnwindSafe,
F: RefUnwindSafe + 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,
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>,