public class BatchTools extends Object
| Constructor and Description |
|---|
BatchTools() |
| Modifier and Type | Method and Description |
|---|---|
static HashSet<HashSet<String>> |
filterSet(HashSet<HashSet<String>> powerSet,
int min,
int max)
Filters a set of sets.
|
static HashSet<HashSet<String>> |
getPowerSet(HashSet<String> set)
Creates the power set of a given set.
|
static void |
writeResultsOnDisk(File outputDirectory,
BatchResultSet resultSet) |
public static HashSet<HashSet<String>> filterSet(HashSet<HashSet<String>> powerSet, int min, int max)
powerSet - the set to be filtered.min - the minimal number of elements in the set.max - the maximal number of elements in the set.public static HashSet<HashSet<String>> getPowerSet(HashSet<String> set)
set - the set a power set has to be created from.public static void writeResultsOnDisk(File outputDirectory, BatchResultSet resultSet)
Copyright © 2007-2012 Global Information Systems Group, ETH Zurich. All Rights Reserved.