Uses of Class
uk.ac.ed.inf.utils.setutils.SupersetsManager

Packages that use SupersetsManager

test.setutils
uk.ac.ed.inf.utils.setutils

Uses of SupersetsManager in test.setutils

Methods in test.setutils that return SupersetsManager

static SupersetsManager	SupersetsManagerTest.getManager()
static SupersetsManager	SupersetsManagerTest.getManager2()
static SupersetsManager	SupersetsManagerTest.getManager3()

Uses of SupersetsManager in uk.ac.ed.inf.utils.setutils

Constructors in uk.ac.ed.inf.utils.setutils with parameters of type SupersetsManager

Set(java.lang.String id, java.util.TreeSet<java.lang.String> elements, SupersetsManager manager)

Set(java.lang.String id, java.util.TreeSet<java.lang.String> elements, SupersetsManager manager, java.util.TreeSet<Set> subsets)