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
uk.ac.manchester.cs.jfact.kernel.modelcaches

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
class	IntList
class	IntSet

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	IntSet.addAll(FastSet c)
void	IntList.addAll(FastSet c)
void	FastSetSimple.addAll(FastSet c)
void	FastSet.addAll(FastSet c)
boolean	IntSet.containsAll(FastSet c)
boolean	IntList.containsAll(FastSet c)
boolean	FastSetSimple.containsAll(FastSet c)
boolean	FastSet.containsAll(FastSet c)
boolean	IntSet.containsAny(FastSet c)
boolean	IntList.containsAny(FastSet c)
boolean	FastSetSimple.containsAny(FastSet c)
boolean	FastSet.containsAny(FastSet c)
boolean	IntSet.intersect(FastSet f)
boolean	IntList.intersect(FastSet f)
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() iterator for accessing DJ elements

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)

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

Fields in uk.ac.manchester.cs.jfact.kernel.modelcaches declared as FastSet

Modifier and Type	Field and Description
FastSet	ModelCacheIan.existsRoles role names that are labels of the outgoing edges from the root node
FastSet	ModelCacheIan.extraDConcepts extra det-lly concepts that are (partial) Simple Rule applications
FastSet	ModelCacheIan.extraNConcepts extra non-det concepts that are (partial) Simple Rule applications
FastSet	ModelCacheIan.forallRoles role names that appears in the \A restrictions in the root node
FastSet	ModelCacheIan.funcRoles role names that appears in the atmost restrictions in the root node