Uses of Interface
uk.ac.manchester.cs.jfact.helpers.FastSet

Packages that use FastSet

Package	Description
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel

Uses of FastSet in uk.ac.manchester.cs.jfact.helpers

Classes in uk.ac.manchester.cs.jfact.helpers that implement FastSet

Modifier and Type	Class and Description
class	FastSetSimple int set implementation

Methods in uk.ac.manchester.cs.jfact.helpers that return FastSet

Modifier and Type	Method and Description
static FastSet	FastSetFactory.create()

Methods in uk.ac.manchester.cs.jfact.helpers with parameters of type FastSet

Modifier and Type	Method and Description
void	FastSetSimple.addAll(FastSet c)
void	FastSet.addAll(FastSet c)
boolean	FastSetSimple.containsAll(FastSet c)
boolean	FastSet.containsAll(FastSet c)
boolean	FastSetSimple.containsAny(FastSet c)
boolean	FastSet.containsAny(FastSet c)
boolean	FastSetSimple.intersect(FastSet f)
boolean	FastSet.intersect(FastSet f)

Uses of FastSet in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return FastSet

Modifier and Type	Method and Description
FastSet	Concept.getExtraRules()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type FastSet

Modifier and Type	Method and Description
ModelCacheInterface	DlSatTester.createCache(int p, FastSet f)