pub fn assigned_value(&self, v: Variable) -> Option<F> {
        match v {
            Variable::One => Some(F::one()),
            Variable::Zero => Some(F::zero()),
            Variable::Witness(idx) => self.witness_assignment.get(idx).copied(),
            Variable::Instance(idx) => self.instance_assignment.get(idx).copied(),
            Variable::SymbolicLc(idx) => {
                let value = self.lc_assignment_cache.borrow().get(&idx).copied();
                if value.is_some() {
                    value
                } else {
                    let value = self.eval_lc(idx)?;
                    self.lc_assignment_cache.borrow_mut().insert(idx, value);
                    Some(value)
                }
            },
        }
    }
/// Obtain the assignment corresponding to the `Variable` `v`.
Obtain the assignment corresponding to the `Variable` `v`.
Obtain the assignment corresponding to the ` Variable ` ` v ` .
pub fn assigned_value(&self, v: Variable) -> Option<F> {
        match v {
            Variable::One => Some(F::one()),
            Variable::Zero => Some(F::zero()),
            Variable::Witness(idx) => self.witness_assignment.get(idx).copied(),
            Variable::Instance(idx) => self.instance_assignment.get(idx).copied(),
            Variable::SymbolicLc(idx) => {
                let value = self.lc_assignment_cache.borrow().get(&idx).copied();
                if value.is_some() {
                    value
                } else {
                    let value = self.eval_lc(idx)?;
                    self.lc_assignment_cache.borrow_mut().insert(idx, value);
                    Some(value)
                }
            },
        }
    }
pub fn assigned_value ( & self , v : Variable ) -> Option < F > { match v { Variable :: One => Some ( F :: one ( ) ) , Variable :: Zero => Some ( F :: zero ( ) ) , Variable :: Witness ( idx ) => self . witness_assignment . get ( idx ) . copied ( ) , Variable :: Instance ( idx ) => self . instance_assignment . get ( idx ) . copied ( ) , Variable :: SymbolicLc ( idx ) => { let value = self . lc_assignment_cache . borrow ( ) . get ( & idx ) . copied ( ) ; if value . is_some ( ) { value } else { let value = self . eval_lc ( idx ) ? ; self . lc_assignment_cache . borrow_mut ( ) . insert ( idx , value ) ; Some ( value ) } } , } }
Obtain the assignment corresponding to the `Variable` `v`.
Obtain the assignment corresponding to the ` Variable ` ` v ` .
&self
v
Variable
&self
v
Variable