|
@ -118,7 +118,7 @@ impl Assignment { |
|
|
/// `VarsAssignment` holds an assignment of values to variables in an `Instance`
|
|
|
/// `VarsAssignment` holds an assignment of values to variables in an `Instance`
|
|
|
pub type VarsAssignment = Assignment;
|
|
|
pub type VarsAssignment = Assignment;
|
|
|
|
|
|
|
|
|
/// `VarsAssignment` holds an assignment of values to variables in an `Instance`
|
|
|
|
|
|
|
|
|
/// `InputsAssignment` holds an assignment of values to variables in an `Instance`
|
|
|
pub type InputsAssignment = Assignment;
|
|
|
pub type InputsAssignment = Assignment;
|
|
|
|
|
|
|
|
|
/// `Instance` holds the description of R1CS matrices
|
|
|
/// `Instance` holds the description of R1CS matrices
|
|
|