Struct ark_relations::r1cs::Namespace

pub struct Namespace<F: Field> { /* private fields */ }

A namespaced ConstraintSystemRef.

Implementations

impl<F: Field> Namespace<F>

pub fn new(inner: ConstraintSystemRef<F>, id: Option<Id>) -> Self

Construct a new Namespace.

pub fn cs(&self) -> ConstraintSystemRef<F>

Obtain the inner ConstraintSystemRef<F>.

pub fn leave_namespace(self)

Manually leave the namespace.

Trait Implementations

impl<F: Clone + Field> Clone for Namespace<F>

fn clone(&self) -> Namespace<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for Namespace<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field> Drop for Namespace<F>

fn drop(&mut self)

Executes the destructor for this type.

impl<F: Field> From<ConstraintSystemRef<F>> for Namespace<F>

fn from(other: ConstraintSystemRef<F>) -> Self

Converts to this type from the input type.