Struct bellman::Namespace
[−]
[src]
pub struct Namespace<'a, E: Engine, CS: ConstraintSystem<E> + 'a>(_, _);
This is a "namespaced" constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context.
Trait Implementations
impl<'cs, E: Engine, CS: ConstraintSystem<E>> ConstraintSystem<E> for Namespace<'cs, E, CS>
[src]
type Root = CS::Root
Represents the type of the "root" of this constraint system so that nested namespaces can minimize indirection. Read more
fn one() -> Variable
[src]
Return the "one" input variable
fn alloc<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
Allocate a private variable in the constraint system. The provided function is used to determine the assignment of the variable. The given annotation
function is invoked in testing contexts in order to derive a unique name for this variable in the current namespace. Read more
fn alloc_input<F, A, AR>(
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
[src]
&mut self,
annotation: A,
f: F
) -> Result<Variable, SynthesisError> where
F: FnOnce() -> Result<E::Fr, SynthesisError>,
A: FnOnce() -> AR,
AR: Into<String>,
Allocate a public variable in the constraint system. The provided function is used to determine the assignment of the variable. Read more
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<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>,
Enforce that A
* B
= C
. The annotation
function is invoked in testing contexts in order to derive a unique name for the constraint in the current namespace. Read more
fn push_namespace<NR, N>(&mut self, _: N) where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
NR: Into<String>,
N: FnOnce() -> NR,
Create a new (sub)namespace and enter into it. Not intended for downstream use; use namespace
instead. Read more
fn pop_namespace(&mut self)
[src]
Exit out of the existing namespace. Not intended for downstream use; use namespace
instead. Read more
fn get_root(&mut self) -> &mut Self::Root
[src]
Gets the "root" constraint system, bypassing the namespacing. Not intended for downstream use; use namespace
instead. Read more
fn namespace<'a, NR, N>(
&'a mut self,
name_fn: N
) -> Namespace<'a, E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
[src]
&'a mut self,
name_fn: N
) -> Namespace<'a, E, Self::Root> where
NR: Into<String>,
N: FnOnce() -> NR,
Begin a namespace for this constraint system.