public AddEmptyLists(Module m) { this.m = m; subsorts = m.subsorts(); listSorts = m.listSorts(); lists = UserList.getLists(mutable(m.sentences())).stream().collect(Collectors.groupingBy(p -> p.sort)); }
UserList ul = new UserList(); ul.sort = x.getKey(); assert x.getValue().size() == 2;
UserList ul = new UserList(); ul.sort = x.getKey(); assert x.getValue().size() == 2;
public static scala.collection.Set<UserList> apply(scala.collection.Set<Sentence> sentences) { return Collections.immutable(getLists(Collections.mutable(sentences))).toSet(); }
public static scala.collection.Set<UserList> apply(scala.collection.Set<Sentence> sentences) { return Collections.immutable(getLists(Collections.mutable(sentences))).toSet(); }