allKeys property

List<Sym> allKeys

Implementation

late final List<Sym> allKeys = () {
  final count = context._z3.param_descrs_size(_desc);
  final result = <Sym>[];
  for (var i = 0; i < count; i++) {
    final symbol = context._z3.param_descrs_get_name(_desc, i);
    result.add(context._getSymbol(symbol));
  }
  return result;
}();