public static ArrayList<Configuration> allConfigurations(ThingMLModel model) {
ArrayList<Configuration> result = new ArrayList<Configuration>();
for (ThingMLModel m : allThingMLModelModels(model)) {
for (Configuration c : m.getConfigs()) {
if (!result.contains(c)) result.add(c);
}
}
return result;
}
