Uses of Class
uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry

Packages that use ClassifiableEntry

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

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

Subclasses of ClassifiableEntry in uk.ac.manchester.cs.jfact.kernel

Modifier and Type	Class and Description
class	Concept concept
class	Individual individual
class	Role Role

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

Modifier and Type	Method and Description
static <T extends ClassifiableEntry> T	ClassifiableEntry.resolveSynonym(T p)

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

Modifier and Type	Method and Description
ClassifiableEntry	TaxonomyVertex.getPrimer()
ClassifiableEntry	ClassifiableEntry.getSynonym()

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type ClassifiableEntry

Modifier and Type	Method and Description
Collection<ClassifiableEntry>	ClassifiableEntry.getToldSubsumers()
List<ClassifiableEntry>	ToldSubsumers.possible() begin of the Possible subsumers interval
List<ClassifiableEntry>	KnownSubsumers.possible()
List<ClassifiableEntry>	ToldSubsumers.sure() begin of the Sure subsumers interval
List<ClassifiableEntry>	KnownSubsumers.sure()
Stream<ClassifiableEntry>	TaxonomyVertex.synonyms()

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

Modifier and Type	Method and Description
void	ClassifiableEntry.addParent(ClassifiableEntry parent) add told subsumer of entry (duplications possible)
void	Role.addParent(ClassifiableEntry parent)
void	ClassifiableEntry.addParentIfNew(ClassifiableEntry parent)
void	TaxonomyVertex.addSynonym(ClassifiableEntry p) add P as a synonym to curent vertex
org.semanticweb.owlapitools.decomposition.Signature	DLConceptTaxonomy.buildSignature(ClassifiableEntry p)
void	TaxonomyCreator.classifyEntry(ClassifiableEntry p)
TaxonomyVertex	Taxonomy.getFreshVertex(ClassifiableEntry e)
org.semanticweb.owlapitools.decomposition.Signature	TBox.getSignature(ClassifiableEntry c)
default boolean	KnownSubsumers.isPossibleSub(ClassifiableEntry ce)
void	TaxonomyVertex.mergeIndepNode(TaxonomyVertex node, Set<TaxonomyVertex> excludes, ClassifiableEntry curEntry) merge NODE which is independent to THIS
void	TaxonomyVertex.setSample(ClassifiableEntry entry, boolean linkBack) set sample to ENTRY
void	ClassifiableEntry.setSynonym(ClassifiableEntry syn) add entry's synonym
void	TaxonomyVertex.setVertexAsHost(ClassifiableEntry entry) mark vertex as the one corresponding to a given ENTRY

Method parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type ClassifiableEntry

Modifier and Type	Method and Description
void	ClassifiableEntry.addParents(Collection<ClassifiableEntry> entries) add all parents (with duplicates) from the range to current node

Constructors in uk.ac.manchester.cs.jfact.kernel with parameters of type ClassifiableEntry

Constructor and Description
Taxonomy(ClassifiableEntry pTop, ClassifiableEntry pBottom, JFactReasonerConfiguration c)
TaxonomyVertex(ClassifiableEntry p) init c'tor; use it only for Top/Bot initialisations

Constructor parameters in uk.ac.manchester.cs.jfact.kernel with type arguments of type ClassifiableEntry

Constructor and Description
ToldSubsumers(Collection<ClassifiableEntry> b)

Uses of ClassifiableEntry in uk.ac.manchester.cs.jfact.kernel.actors

Methods in uk.ac.manchester.cs.jfact.kernel.actors that return types with arguments of type ClassifiableEntry

Modifier and Type	Method and Description
List<ClassifiableEntry>	ActorImpl.getElements1D()
List<List<ClassifiableEntry>>	ActorImpl.getElements2D()

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

Modifier and Type	Method and Description
boolean	Policy.applicable(ClassifiableEntry p)
boolean	IndividualPolicy.applicable(ClassifiableEntry p)
boolean	DataPropertyPolicy.applicable(ClassifiableEntry p)
boolean	ObjectPropertyPolicy.applicable(ClassifiableEntry p)
boolean	ClassPolicy.applicable(ClassifiableEntry p)
Expression	Policy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	IndividualPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	DataPropertyPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	ObjectPropertyPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)
Expression	ClassPolicy.buildTree(ExpressionCache em, ClassifiableEntry p)

Constructors in uk.ac.manchester.cs.jfact.kernel.actors with parameters of type ClassifiableEntry

Constructor and Description
SupConceptActor(ClassifiableEntry q)