pub fn new() -> Self {
        Self {
            num_instance_variables: 1,
            num_witness_variables: 0,
            num_constraints: 0,
            num_linear_combinations: 0,
            a_constraints: Vec::new(),
            b_constraints: Vec::new(),
            c_constraints: Vec::new(),
            instance_assignment: vec![F::one()],
            witness_assignment: Vec::new(),
            cache_map: Rc::new(RefCell::new(BTreeMap::new())),
            #[cfg(feature = "std")]
            constraint_traces: Vec::new(),

            lc_map: BTreeMap::new(),
            lc_assignment_cache: Rc::new(RefCell::new(BTreeMap::new())),

            mode: SynthesisMode::Prove {
                construct_matrices: true,
            },

            optimization_goal: OptimizationGoal::Constraints,
        }
    }
/// Construct an empty `ConstraintSystem`.
Construct an empty `ConstraintSystem`.
Construct an empty ` ConstraintSystem ` .
pub fn new() -> Self {
        Self {
            num_instance_variables: 1,
            num_witness_variables: 0,
            num_constraints: 0,
            num_linear_combinations: 0,
            a_constraints: Vec::new(),
            b_constraints: Vec::new(),
            c_constraints: Vec::new(),
            instance_assignment: vec![F::one()],
            witness_assignment: Vec::new(),
            cache_map: Rc::new(RefCell::new(BTreeMap::new())),
            #[cfg(feature = "std")]
            constraint_traces: Vec::new(),
            lc_map: BTreeMap::new(),
            lc_assignment_cache: Rc::new(RefCell::new(BTreeMap::new())),
            mode: SynthesisMode::Prove {
                construct_matrices: true,
            },
            optimization_goal: OptimizationGoal::Constraints,
        }
    }
pub fn new ( ) -> Self { Self { num_instance_variables : 1 , num_witness_variables : 0 , num_constraints : 0 , num_linear_combinations : 0 , a_constraints : Vec :: new ( ) , b_constraints : Vec :: new ( ) , c_constraints : Vec :: new ( ) , instance_assignment : vec ! [ F one ( ) ] , witness_assignment : Vec :: new ( ) , cache_map : Rc :: new ( RefCell :: new ( BTreeMap :: new ( ) ) ) , # [ cfg ( feature " " ) ] constraint_traces : Vec :: new ( ) , lc_map : BTreeMap :: new ( ) , lc_assignment_cache : Rc :: new ( RefCell :: new ( BTreeMap :: new ( ) ) ) , mode : SynthesisMode :: Prove { construct_matrices : true , } , optimization_goal : OptimizationGoal :: Constraints , } }
Construct an empty `ConstraintSystem`.
Construct an empty ` ConstraintSystem ` .