params function

Params params([
  1. Map<String, Object> params = const {}
])

Create configuration parameters for various components of Z3.

Implementation

Params params([Map<String, Object> params = const {}]) {
  final result = currentContext.emptyParams();
  for (final entry in params.entries) {
    result[entry.key] = entry.value;
  }
  return result;
}