getEntries method

List<FuncEntry> getEntries()

Implementation

List<FuncEntry> getEntries() {
  final result = <FuncEntry>[];
  final size = _c._z3.func_interp_get_num_entries(_f);
  for (var i = 0; i < size; i++) {
    final e = _c._z3.func_interp_get_entry(_f, i);
    result.add(_c._getFuncEntry(e));
  }
  return result;
}