ProofSpec constructor

ProofSpec({
  1. LeafOp? leafSpec,
  2. InnerSpec? innerSpec,
  3. int? maxDepth,
  4. int? minDepth,
})

Implementation

factory ProofSpec({
  LeafOp? leafSpec,
  InnerSpec? innerSpec,
  $core.int? maxDepth,
  $core.int? minDepth,
}) {
  final _result = create();
  if (leafSpec != null) {
    _result.leafSpec = leafSpec;
  }
  if (innerSpec != null) {
    _result.innerSpec = innerSpec;
  }
  if (maxDepth != null) {
    _result.maxDepth = maxDepth;
  }
  if (minDepth != null) {
    _result.minDepth = minDepth;
  }
  return _result;
}